Ditapis dengan
Coordination Models and Languages
A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Ma…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320067
- Deskripsi Fisik
- X, 299 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305699
- Deskripsi Fisik
- IX, 258 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
System-level Test and Validation of Hardware/Software Systems
Modeling Permanent Faults -- Test Generation: A Symbolic Approach -- Test Generation: A Heuristic Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level Microprocessor Descriptions -- Tackling Concurrency and Timing Problems -- An Approach to System-level Design for Test -- System-level Dependability Analysis.New manufacturing technologies have made poss…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281457
- Deskripsi Fisik
- XII, 179 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Constraint Solving and Language Processing
Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment of Long Distance Dependencies in CHR -- Metagrammar Redux -- The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions and Constraint Systems -- Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319283
- Deskripsi Fisik
- VIII, 205 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
CONCUR 2005 - Concurrency Theory
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the As…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319344
- Deskripsi Fisik
- XXIV, 1280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reconfigurable Computing
An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate? Inside the FPGA. Mapping Algorithms to Hardware. RC Applications. Example: Dot Product. Further Reading -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers.…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261065
- Deskripsi Fisik
- X, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Algebra in Scientific Computing
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320708
- Deskripsi Fisik
- XII, 504 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
- -
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
- -
Multimedia Introduction to Programming Using Java
Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction to Java -- Methods -- Classes -- Subclasses -- Some Useful Classes -- Reference on Primitive Types -- Other Java Constructs -- Loops -- Arrays -- Multi-dimensional Arrays -- Exception Handling -- Packages -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387269344
- Deskripsi Fisik
- XVIII, 536 p. 420 illus.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