Ditapis dengan
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
- -
Developments in Language Theory
Invited Papers -- Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305507
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algebra and Coalgebra in Computer Science
Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Conne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318767
- Deskripsi Fisik
- XII, 460 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent-Oriented Software Engineering V
Modeling -- Organizational and Social Concepts in Agent Oriented Software Engineering -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling -- Formal Semantics for AUML Agent Interaction Protocol Diagrams -- A Study of Some Multi-agent Meta-models -- A Metamodel for Agents, Roles, and Groups -- Design -- Bridging th…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305781
- Deskripsi Fisik
- X, 246 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Declarative Agent Languages and Technologies II
Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319276
- Deskripsi Fisik
- XII, 292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent Communication
Section I: Social Commitments -- Agent Communication and Institutional Reality -- Conversational Semantics with Social Commitments -- A Semantic Approach for Designing Commitment Protocols -- Section II: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols for Overhearing -- First Steps Towards Multi-party Communication -- Section III: Content Languages -- O…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322580
- Deskripsi Fisik
- X, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Correct Hardware Design and Verification Methods
Invited Talks -- Is Formal Verification Bound to Remain a Junior Partner of Simulation? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit Design -- Formalization of the DE2 Language -- Game Solving Approaches -- Finding a…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320302
- Deskripsi Fisik
- XII, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
CONCUR 2005 - Concurrency Theory
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the As…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319344
- Deskripsi Fisik
- XXIV, 1280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Safety, Reliability, and Security
CMMI RAMS Extension Based on CENELEC Railway Standard -- The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems -- Defining and Decomposing Safety Policy for Systems of Systems -- Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Dat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320005
- Deskripsi Fisik
- XIII, 405 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