Ditapis dengan
SOFSEM 2005: Theory and Practice of Computer Science
Invited Talks -- Discovering Treewidth -- From Research Prototypes to Industrial Strength Open Source Products – The ObjectWeb Experience -- How Hard Is It to Take a Snapshot? -- Logical Foundations for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware for Searching and Maintaining the Information Space -- Architecture of a Business Framework…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305774
- Deskripsi Fisik
- XV, 428 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Learning Design
The Specification, Architectures and Tools -- An Introduction to Learning Design -- The Learning Design Specification -- Architectures to Support Authoring and Content Management with Learning Design -- An Architecture for the Delivery of E-learning Courses -- An Architecture for Learning Design Engines -- A Reference Implementation of a Learning Design Engine -- Learning Design Tools -- Design…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540273608
- Deskripsi Fisik
- XXVIII, 412 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
UML Modeling Languages and Applications
Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification and Validation of Real-Time and Embedded Systems -- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317975
- Deskripsi Fisik
- XIV, 298 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hybrid Systems: Computation and Control
Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Tim…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319542
- Deskripsi Fisik
- XII, 684 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theorem Proving in Higher Order Logics
Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion and Induction -- Regular Papers -- Shallow Lazy Proofs -- Mechanized Metatheory for the Masses: The PoplMark Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS -- Proving Equalities in a Commutative Ring Done Right in Coq -- A …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318200
- Deskripsi Fisik
- X, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Web Engineering
Keynotes -- Web Engineering Milieu -- Evaluation and Verification -- Non-functional Requirements / Testing -- Miscellaneous 1 -- Query / Retrieval -- Applications 1 -- Applications 2 -- Applications 3 -- Ontologies / XML -- Semantics / Web Services -- Security -- Miscellaneous 2 -- Design 1 (Adaptation / User-Awareness) -- Design 2 (Model-Based Approaches) -- Design 3 (End-Users / Requirements)…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314844
- Deskripsi Fisik
- XXII, 633 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Global Computing
Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317944
- Deskripsi Fisik
- VIII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Modeling and Analysis of Timed Systems
Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316169
- Deskripsi Fisik
- IX, 305 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Composition
Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540287490
- Deskripsi Fisik
- X, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Engineering and Middleware
Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing Transaction Service Configurations -- Alice: Modularization of Middleware Using …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319757
- Deskripsi Fisik
- X, 245 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