Ditapis dengan
Progress in Artificial Intelligence
1 – General Artificial Intelligence (GAIW 2005) -- Reducing Propositional Theories in Equilibrium Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic Lexicalization in Natural Language Generation -- Partially Parametric SVM -- Adapting Hausdo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316466
- Deskripsi Fisik
- XX, 708 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
- -
Production Rendering
A System Overview -- A Rendering Architecture -- Geometry -- Shading -- Compiling -- Ray Tracing -- Global Illumination -- Image Construction -- Rendering Gems.In the past, rendering systems used a range of different approaches, each compatible and able to handle certain kinds of images. However, the last few years have seen the development of practical techniques, which bring together many are…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280856
- Deskripsi Fisik
- XIII, 302 p. 115 illus., 32 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles of Distributed Systems
Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I (Design of Distributed Systems I) -- DART: Distributed Automated Regression Testing for Large-Scale Network Applications -- Testing Mobile and Distributed Systems: Method and Experimentation -- A UNITY-Based Framework Towards Component Based Systems -- Session II (Ad-Hoc Networks and Mobile Agents) -- …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540315841
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles of Computer Graphics
The Basics -- From Pixels to Shapes -- Making Them Move -- Pixels, Images and Image Files -- Let The Games Begin -- It’s 3D Time! -- 3D Modeling -- Rendering: Shading and Lighting -- Advanced Techniques -- And Finally, Introducing Maya -- Making Them Move -- Animation -- Viewpoint Animation -- Lights, Camera, Action!.Computer graphics continues to evolve at a breakneck pace, fueled by modern …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387254791
- Deskripsi Fisik
- XIV, 296 p. 245 illus., 20 illus. in color.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
- -
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
- -
Parallel Computing Technologies
On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event Structures -- Similarity of Generalized Resources in Petri Nets -- Real-Time Event Structures and Scott Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes -- Allowing Atomic Objects to Coexist with Sequentially Consistent Objects -- An Approach to the Im…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318262
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Ontologies for Agents: Theory and Experiences
Ontologies for Interaction Protocols -- On the Impact of Ontological Commitment -- Agent to Agent Talk: “Nobody There?” Supporting Agents Linguistic Communication -- Ontology Translation by Ontology Merging and Automated Reasoning -- Collaborative Understanding of Distributed Ontologies in a Multiagent Framework: Experiments on Operational Issues -- Reconciling Implicit and Evolving Ontolog…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373610
- Deskripsi Fisik
- X, 345 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