Ditapis dengan
Design of Adaptive Finite Element Software
Concepts and abstract algorithms -- Implementation of model problems -- Data structures and implementation.During the last years, scientific computing has become an important research branch located between applied mathematics and applied sciences and engineering. Highly efficient numerical methods are based on adaptive methods, higher order discretizations, fast linear and non-linear iterative…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540271567
- Deskripsi Fisik
- XII, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Communicating Sequential Processes. The First 25 Years
Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322658
- Deskripsi Fisik
- XIV, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Categories for Software Engineering
Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors -- Advanced Topics -- Functor-Based Constructions -- Adjunctions -- Applications -- CommUnity -- Architectural Description -- An Algebra of Connectors.This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this b…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268918
- Deskripsi Fisik
- XIV, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quality of Software Architectures and Software Quality
Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test Cases Useless or Not? -- QoSA Long Papers -- DoSAM – Domain-Specific Software Architecture Comparison Model -- An Architecture-Centric Approach for Producing Quality Systems -- A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties -- Predicting Mean Service Execution Times …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320562
- Deskripsi Fisik
- XIV, 294 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quality of Service in Multiservice IP Networks
Analytical Models -- An Analytical Model of a New Packet Marking Algorithm for TCP Flows -- Of Mice and Models -- A Dual Approach to Network Calculus Applying the Legendre Transform -- Service Curve Estimation by Measurement: An Input Output Analysis of a Softswitch Model -- Utility Proportional Fair Bandwidth Allocation: An Optimization Oriented Approach -- Traffic Characterization -- Packet S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305736
- Deskripsi Fisik
- XIV, 658 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Multi-Agent Systems
Invited Papers -- Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach -- Agents – The Challenge of Relevance to the IT Mainstream -- Agent-Oriented Programming -- Goal Representation for BDI Agent Systems -- AF-APL – Bridging Principles and Practice in Agent Oriented Languages -- Agent Platforms and Tools -- A Toolkit for the Realization of Constraint-Based Multiagent …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322603
- Deskripsi Fisik
- XIV, 249 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
- -
Product Focused Software Process Improvement
Keynote Addresses -- Competitive Product Engineering: 10 Powerful Principles for Winning Product Leadership, Through Advanced Systems Engineering, Compared to10 Failure Paths Still Popular in Current Culture -- From Products and Solutions to End-User Experiences -- Systems and Software Process Improvement -- What Formal Models Cannot Show Us: People Issues During the Prototyping Process -- Proc…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316404
- Deskripsi Fisik
- XIII, 588 p.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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah