Ditapis dengan
Component Deployment
Middleware Integration -- Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks -- Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments -- Patterns for Deployment -- Component Deployment Using a Peer-to-Peer Overlay -- A Methodology for Developing and Deploying Distributed Applications -- QOS Issues -- Crosslets: Self-managing Ap…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322818
- Deskripsi Fisik
- X, 197 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Complexity Theory
Algorithmic Problems & Their Complexity -- Fundamental Complexity Classes -- Reductions — Algorithmic Relationships Between Problems -- The Theory of NP-Completeness -- NP-complete and NP-equivalent Problems -- The Complexity Analysis of Problems -- The Complexity of Approximation Problems — Classical Results -- The Complexity of Black Box Problems -- Additional Complexity Classes and Relat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540274773
- Deskripsi Fisik
- XII, 308 p. 18 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
FM 2005: Formal Methods
Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Cre…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317142
- Deskripsi Fisik
- XIV, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Extreme Programming and Agile Processes in Software Engineering
Experience Reports -- Lean Software Management Case Study: Timberline Inc. -- XP South of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software Project at the Israeli Air Force -- The Agile Journey -- New Insights -- From User Stories to Code in One Day? -- Evaluate XP Effectiveness Using Simulation Modeling -- Agile Security Using an Incrementa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314875
- Deskripsi Fisik
- XIV, 338 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Programming with Prolog
Getting Started -- Clauses and Predicates -- Satisfying Goals -- Operators and Arithmetic -- Input and Output -- Loops -- Preventing Backtracking -- Changing the Prolog Database -- List Processing -- String Processing -- More Advanced Features.Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846282126
- Deskripsi Fisik
- XIV, 223 p. 6 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Programming and Nonmonotonic Reasoning
Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318279
- Deskripsi Fisik
- XIV, 462 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Programming
OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smod…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319474
- Deskripsi Fisik
- XIV, 458 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic for Programming, Artificial Intelligence, and Reasoning
Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316503
- Deskripsi Fisik
- XIV, 744 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic for Programming, Artificial Intelligence, and Reasoning
CERES in Many-Valued Logics -- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi -- Abstract DPLL and Abstract DPLL Modulo Theories -- Combining Lists with Non-stably Infinite Theories -- Abstract Model Generation for Preprocessing Clause Sets -- Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying -- Applications of Gen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322757
- Deskripsi Fisik
- XII, 560 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Based Program Synthesis and Transformation
Verification and Analysis -- Searching Semantically Equivalent Code Fragments in Logic Programs -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs -- Fully Automatic Binding-Time Analysis for Prolog -- Theory and Security -- Logical Mobility and Locality Types -- Unwinding Conditions for Securit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316831
- Deskripsi Fisik
- VIII, 284 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