Ditapis dengan
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
- -
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
- -
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320081
- Deskripsi Fisik
- XII, 224 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
- -
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 Applications and Interoperable Systems
Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Adaptive Context Management Using a Component-Based Approach -- Customised Billing for Location-Based Services -- Interoperability Architectures -- Loosely-Coupled Integration of CSCW Systems -- Interoperability and eServices -- Model-Driven…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315827
- Deskripsi Fisik
- XI, 235 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications of Declarative Programming and Knowledge Management
Knowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description Logics -- Declaratively Querying and Visualizing Knowledge Bases in Xml -- SQL Based Frequent Pattern Mining with FP-Growth -- Incremental Learning of Transfer Rules for Customized Machine Translation -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321248
- Deskripsi Fisik
- X, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
An Integrated Approach to Software Engineering
Software Engineering Challenges -- Software Processes and Process Models -- Project Management -- Software Configuration Management -- Software Requirements Analysis and Specification -- Software Architecture and Design -- Project Planning -- Project Scheduling and Staffing -- Software Quality Management -- Rish Management -- Structured Design Methodology -- Object-Oriented Design and Design Me…
- Edisi
- 3rd ed.
- ISBN/ISSN
- 9780387281322
- Deskripsi Fisik
- XIV, 566 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