Ditapis dengan
Computer Aided Verification
Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern Microprocessor -- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology -- Tools Competition -- SMT-COMP: Satisfiability Modulo Theories Competition -- Abstraction and Refinement -- Predicate Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation A…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316862
- Deskripsi Fisik
- XVI, 568 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science and Its Applications - ICCSA 2005
Information Systems and Information Technologies (ISIT) Workshop -- Mobile Communications (Mobicomm) Workshop -- Authentication Authorization Accounting (AAA) Workshop -- Computational Geometry and Applications (CGA’05) Workshop -- Virtual Reality in Scientific Applications and Learning (VRSAL 2005) Workshop -- Molecular Structures and Processes Workshop -- Pattern Recognition and Ubiquitous …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320432
- Deskripsi Fisik
- LXV, 1234 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Software Science and Computational Structures
Invited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational and Combinatorial Structures -- Rule Formats and Bisimulation -- Congruence for Structural Congruences -- Probabilistic Congruence for Semistochastic Generative Processes -- Bisimulation on Speed: A Unified Approach -- Probabilistic Models -- Branching Cells as Local States for Event Structures and Nets:…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319825
- Deskripsi Fisik
- XIV, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
From Specification to Embedded Systems Application
Design Methodology -- Domain-Crossing Software Product Lines in Embedded Automotive Systems -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed Development of Embedded Systems -- An Embedded SW Design Exploration Approach based on UML Estimation Tools -- Software Synthesis and Power Management -- Embedded Hard Real-Time Software Synthes…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387275598
- Deskripsi Fisik
- XII, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Frontiers of Combining Systems
Logics, Theories, and Decision Procedures I -- A Comprehensive Framework for Combined Decision Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic -- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal -- Inte…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317302
- Deskripsi Fisik
- X, 321 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Informatics
Data Bases and Data Mining -- Algorithms and Theoretical Foundations -- Cultural and Museum Information Systems -- Internet-Scale Software/Information Systems -- Wearable and Mobile Computing -- Computer Graphics, Virtual Reality and Visualization -- AI, Machine Learning and Knowledge Bases -- Languages, Text and Speech Processing -- Bioinformatics -- Software Engineering -- Educational Technol…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320913
- Deskripsi Fisik
- XIX, 873 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs -- Streaming Algorithms for Geometric Problems -- Toward a Grainless Semantics for Shared-Variable Concurrency -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers -- Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Pet…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305385
- Deskripsi Fisik
- XVI, 532 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performanc…
Peer-to-Peer Networks -- Performance of Internet Protocols I -- Wireless Security -- Network Security -- Wireless Performance -- Network Service Support -- Network Modeling and Simulations -- Wireless LANs -- Optical Networking -- Performance of Internet & Web Applications -- Ad Hoc Networks I -- Adaptive Networking -- Performance of Internet Protocols II -- Radio Resource Management -- Interne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320173
- Deskripsi Fisik
- LX, 1487 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Network and Parallel Computing
Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure -- Globus Toolkit Version 4: Software for Service-Oriented Systems -- System Software for China National Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System -- Performance Modeling and Analysis for Resource Scheduling in Data Grids -- Study on ?-Calculus …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322467
- Deskripsi Fisik
- XVI, 514 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Multiparadigm Programming in Mozart/Oz
Keynote Talk -- The Development of Oz and Mozart -- Security -- The Structure of Authority: Why Security Is Not a Separable Concern -- The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specificati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318453
- Deskripsi Fisik
- XVI, 336 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah