Ditapis dengan
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
- -
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
- -
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
- -
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
- -
Multi-Agent Programming
Logic- or Process Algebra-Based Agent Programming Languages -- Jason and the Golden Fleece of Agent-Oriented Programming -- Programming Multi-Agent Systems in 3APL -- Impact: A Multi-Agent Framework with Declarative Semantics -- Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents -- Java-Based Agent Programming Languages -- Jade — A Java Agent Development Framework --…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263502
- Deskripsi Fisik
- XXXIV, 296 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Science -- ICCS 2005
Workshop On “High Performance Computing in Academia: Systems and Applications” -- Workshop on “Tools for Program Development and Analysis in Computational Science” -- Workshop on “Computer Graphics and Geometric Modeling, CGGM 2005” -- Workshop on “Modelling of Complex Systems by Cellular Automata” -- Workshop on “Wireless and Mobile Systems” -- Workshop on “Dynamic Data D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321149
- Deskripsi Fisik
- LXIII, 1101 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980 -- Developments in Data Structure Research During the First 25 Years of FSTTCS -- Inference Systems for Logical Algorithms -- From Logic to Games -- Proving Lower Bounds Via Pseudo-random Generators -- Erd?s Magic -- Contributed Papers -- No Coreset, No Cry: II -- Improved Bounds on the Union Complexity of Fa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324195
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model-Driven Software Development
Conceptual Foundations of Model-Driven Development -- A Systematic Look at Model Transformations -- Tool Support for Model-Driven Development of Security-Critical Systems with UML -- Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools -- Using Graph Transformation for Practical Model-Driven Software Engineering -- A Generalized Notion of Platforms fo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540285540
- Deskripsi Fisik
- XII, 464 p. 195 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model Checking Software
Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How to Make Systems Code Crash Itself -- Invited Tutorials -- Effective Bug Hunting with Spin and Modex -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State Representation and Abstraction -- An Incremental Heap Canonicalization Algorithm -- Memory Efficie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318996
- Deskripsi Fisik
- XII, 292 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