Ditapis dengan
Programming Multi-Agent Systems
Invited Papers -- Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach -- Agents – The Challenge of Relevance to the IT Mainstream -- Agent-Oriented Programming -- Goal Representation for BDI Agent Systems -- AF-APL – Bridging Principles and Practice in Agent Oriented Languages -- Agent Platforms and Tools -- A Toolkit for the Realization of Constraint-Based Multiagent …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322603
- Deskripsi Fisik
- XIV, 249 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Languages and Systems
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322474
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Languages and Systems
Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based Static Analyzers -- The ASTREÉ Analyzer -- Interprocedural Herbrand Equalities -- Analysis of Modular Arithmetic -- Forward Slicing by Conjunctive Partial Deduction and Argument Filtering -- A New Foundation for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319870
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Processes, Terms and Cycles: Steps on the Road to Infinity
The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb’s Logic Meets the ?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324256
- Deskripsi Fisik
- XVIII, 642 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Constraint Programming - CP 2005
Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320500
- Deskripsi Fisik
- XX, 888 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Practical Theory of Reactive Systems
Prologue -- Components of a Theory -- Fundamentals -- Towards an Action Language -- Formal Properties of Behaviors -- Proving Behavioral Properties -- Building a Practical Theory -- Basic Language Facilities -- Fundamentals of Design Methodology -- Object Orientation Elaborated -- Components and Interfaces -- Distributed and Real-Time Systems -- Distributed Systems -- Real Time -- Epilogue -- R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273486
- Deskripsi Fisik
- XXI, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Practical Aspects of Declarative Languages
Invited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305576
- Deskripsi Fisik
- VIII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2004) -- Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts -- 2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity -- Philo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305545
- Deskripsi Fisik
- VIII, 215 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Technology for Verification and Analysis
Keynote Speeches -- Ranking Abstraction as a Companion to Predicate Abstraction -- Termination and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm for Symmetric Multi-processor Architecture -- Comprehensive Verification Framework for Depen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319696
- Deskripsi Fisik
- XII, 508 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Deduction – CADE-20
What Do We Know When We Know That a Theory Is Consistent? -- Reflecting Proofs in First-Order Logic with Equality -- Reasoning in Extensional Type Theory with Equality -- Nominal Techniques in Isabelle/HOL -- Tabling for Higher-Order Logic Programming -- A Focusing Inverse Method Theorem Prover for First-Order Linear Logic -- The CoRe Calculus -- Simulating Reachability Using First-Order Logic …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318644
- Deskripsi Fisik
- XIV, 466 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