Ditapis dengan
Declarative Agent Languages and Technologies II
Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319276
- Deskripsi Fisik
- XII, 292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database Programming Languages
Patterns and Types for Querying XML Documents -- Dual Syntax for XML Languages -- Exploiting Schemas in Data Synchronization -- Efficiently Enumerating Results of Keyword Search -- Mapping Maintenance in XML P2P Databases -- Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach -- XML Data Integration with Identification -- Satisfiability of XPath Queries with Sibling Axe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314455
- Deskripsi Fisik
- X, 298 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 Design of Reconfigurable Systems-on-Chip
to Reconfigurable Hardware -- Reconfigurable Hardware Exploitation in Wireless Multimedia Communications -- Reconfigurable Hardware Technologies -- Design Flow for Reconfigurable Systems-on-Chip -- SystemC Based Approach -- OCAPI-XL Based Approach -- MPEG-4 Video Decoder -- Prototyping of a HIPERLAN/2 Reconfigurable System-on-Chip -- WCDMA Detector.System Level Design of Reconfigurable Systems-…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261041
- Deskripsi Fisik
- 231 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
- -
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
- -
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
- -
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