Ditapis dengan
Automata, Languages and Programming
Invited Lectures -- Data Structures I -- Cryptography and Complexity -- Data Structures II -- Cryptography and Distributed Systems -- Graph Algorithms I -- Security Mechanisms -- Graph Algorithms II -- Automata and Formal Languages I -- Signature and Message Authentication -- Algorithmic Game Theory -- Automata and Logic -- Computational Algebra -- Cache-Oblivious Algorithms and Algorithmic Eng…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316916
- Deskripsi Fisik
- L, 1482 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Enterprise Information Systems V
Invited Papers -- Evolution of Enterprise Information Systems in the Internet Era -- Managing Change — Evolving the EIS Vision -- Automatic Speech Recognition: A Review -- Reasoning with Goals to Engineer Requirements -- Real-Time Knowledge-Based Systems for Enterprise Decision Support and Systems Analysis -- Is Engineering Getting Out of Classical System Engineering -- Databases and Informat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402026737
- Deskripsi Fisik
- XIV, 332 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
- -
Engineering Societies in the Agents World V
Roles, Organizations and Institutions for Agents -- Organizations as Socially Constructed Agents in the Agent Oriented Paradigm -- Virtual Enterprise Normative Framework Within Electronic Institutions -- Virtual Knowledge Communities for Corporate Knowledge Issues -- Achieving Competence by Argumentation on Rules for Roles -- Participation Components for Holding Roles in Multiagent Systems Prot…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318873
- Deskripsi Fisik
- XIV, 354 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Self-Organising Systems
State of the Art -- Emergence Versus Self-Organisation: Different Concepts but Promising When Combined -- About Engineering Complex Systems: Multiscale Analysis and Evolutionary Engineering -- Adaptive Information Infrastructures for the e-Society -- Synthesis and Design Methods -- Agent-Based Modelling of Stem Cell Self-organisation in a Niche -- Ambient Cognitive Environments and the Distribu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319016
- Deskripsi Fisik
- XIII, 299 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Human Computer Interaction and Interactive Systems
Usability -- Bringing Usability Concerns to the Design of Software Architecture -- Empirical Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific Usability Measures -- Software Architecture Analysis of Usability -- Task Modelling -- Support for Task Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Archit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319610
- Deskripsi Fisik
- XII, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering and Managing Software Requirements
Requirements Engineering: Setting the Context -- State-of-the-Art Surveys of Requirements Engineering Process Research -- Requirements Elicitation: A Survey of Techniques, Approaches, and Tools -- Specification of Requirements Models -- Requirements Prioritization -- Requirements Interdependencies: State of the Art and Future Challenges -- Impact Analysis -- Requirements Negotiation -- Quality …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540282440
- Deskripsi Fisik
- XVIII, 478 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speeches and Invited Talks Abstracts (Partial) -- Track 1 Distributed Embedded Computing -- Track 2 Embedded Systems -- Track 3 Embedded Hardware and Architecture -- Track 4 Middleware for Embedded Computing -- Track 5 Mobile Systems -- Track 6 Transducer Network -- Track 7 Embedded Operating System -- Track 8 Power-Aware Computing -- Track 9 Real-Time System -- Track 10 Embedded System…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318231
- Deskripsi Fisik
- XX, 612 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Software and Systems
Keynote Speech -- Track 1: Embedded Hardware -- Track 2: Embedded Software -- Track 3: Real-Time Systems -- Track 4: Power-Aware Computing -- Track 5: Hardware/Software Co-design and System-On-Chip -- Track 6: Testing and Verification -- Track 7: Reconfigurable Computing -- Track 8: Agent and Distributed Computing -- Track 9: Wireless Communications -- Track 10: Mobile Computing -- Track 11: Pe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322979
- Deskripsi Fisik
- XXVIII, 784 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Artificial Life Models in Software
Avida: Evolution Experiments with Self-Replicating Computer Programs -- Framsticks: A Platform for Modeling, Simulating, and Evolving 3D Creatures -- Nerve Garden: Germinating Biological Metaphors in Net-based Virtual Worlds -- GenePool: Exploring the Interaction Between Natural Selection and Sexual Selection -- Sodarace: Adventures in Artificial Life -- Escaping the Accidents of History: An Ov…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846282140
- Deskripsi Fisik
- XII, 344 p. 189 illus., 16 illus. in color.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