Ditapis dengan
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
- -
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 Reasoning with Analytic Tableaux and Related Methods
Invited Talks -- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach -- Description Logics in Ontology Applications -- Automated Reasoning in the Context of the Semantic Web -- Formal Versus Rigorous Mathematics: How to Get Your Papers Published -- Research Papers -- Consistency of Variable Splitting in Free Variable Systems of First-Order Logic -- On the Dynamic Increase of M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318224
- Deskripsi Fisik
- XIV, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Theories of Software Intensive Systems
Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams -- Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking and Theorem Proving -- Formalizing Counterexample-Driven Refinement with Weakest Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402035326
- Deskripsi Fisik
- X, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
ECOOP 2005 - Object-Oriented Programming
Invited Talks -- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces in Java -- Efficiently Refactoring Java Applications to Use Generic Libraries -- Sharing the Runtime Representation of Classes Across Class Loaders -- Aspects and Modularity -- Aspect-Orien…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317258
- Deskripsi Fisik
- XVII, 631 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing and Internet Technology
Plenary Talk I -- The Distributed Sensor Networks – An Emerging Technology -- Distributed Computing -- Distribute Computing Track Chair’s Message -- Network Protcols -- Efficient Binding Lifetime Determination Schemes in HMIPv6 -- A Fast Search and Advanced Marking Scheme for Network IP Traceback Model -- Design and Performance Evaluation of Token-Based MAC Protocols in WDM Burst Switched R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324294
- Deskripsi Fisik
- XXII, 610 p. 243 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