Ditapis dengan
Bioinformatics Technologies
to Bioinformatics -- Overview of Structural Bioinformatics -- Database Warehousing in Bioinformatics -- Data Mining for Bioinformatics -- Machine Learning in Bioinformatics -- Systems Biotechnology: a New Paradigm in Biotechnology Development -- Computational Modeling of Biological Processes with Petri Net-Based Architecture -- Biological Sequence Assembly and Alignment -- Modeling for Bioinfor…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268888
- Deskripsi Fisik
- XV, 396 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Autonomous Intelligent Systems: Agents and Data Mining
Invited Papers -- Negotiation Technologies -- Knowledge Discovery for Training Intelligent Agents: Methodology, Tools and Applications -- Artificial Immune Systems—An Emergent Technology for Autonomous Intelligent Systems and Data Mining -- Evolving Agents: Communication and Cognition -- Agents and Data Mining: Mutual Enhancement by Integration -- Soft-Device Inheritance in the Knowledge Grid…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319320
- Deskripsi Fisik
- XIII, 303 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Autonomic Communication
Network Management -- An Infrastructure-Based Approach to Support Dynamic Networks with Mobile Agents -- Some Requirements for Autonomic Routing in Self-organizing Networks -- Policy Interoperability and Network Autonomics -- Models and Protocols -- Spatial Computing: An Emerging Paradigm for Autonomic Computing and Communication -- Self-deployment, Self-configuration:Critical Future Paradigms …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320098
- Deskripsi Fisik
- XI, 279 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automating Business Modelling
From the Contents. Introduction -- Background Knowledge -- Problems and Overviews of Approach -- Logic -- Formal Support for Data Modelling -- Formal Support for Process Modelling -- Reasoning on and Executing Processes -- Knowledge Sharing and Reuse of Models -- The Use of System: KBST-BM -- Evaluation of System -- Conclusion -- Appendices - A. Generic Models from BSDM -- B. Example Models of …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281068
- Deskripsi Fisik
- XVII, 322 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
- -
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 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
- -
Encyclopedia of Cryptography and Security
This comprehensive encyclopedia provides easy access to information on all aspects of cryptography and security. With an A–Z format of over 460 entries, 100+ international experts provide an accessible reference for those seeking entry into any aspect of the broad fields of cryptography and information security. Most entries in this preeminent work include useful literature references, provid…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387234830
- Deskripsi Fisik
- eReference.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
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah