Ditapis dengan
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
- -
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
- -
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
- -
Embedded Computer Systems: Architectures, Modeling, and Simulation
Keynote -- Platform Thinking in Embedded Systems -- Reconfigurable System Design and Implementations -- Interprocedural Optimization for Dynamic Hardware Configurations -- Reconfigurable Embedded Systems: An Application-Oriented Perspective on Architectures and Design Techniques -- Reconfigurable Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316640
- Deskripsi Fisik
- XV, 476 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Austin Protocol Compiler
Network Protocols -- The Timed Abstract Protocol Notation -- Execution Models of Network Protocols -- Equivalence of Execution Models -- Preserving Fairness -- The Austin Protocol Compiler -- Two Examples -- A DNS Server -- Concluding Remarks.-The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. This book will finally close t…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387232287
- Deskripsi Fisik
- XIII, 141 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded and Ubiquitous Computing - EUC 2005 Workshops
The Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW 2005) -- IFIP International Symposium on Network-Centric Ubiquitous Systems (NCUS 2005) -- The First International Workshop on Security in Ubiquitous Computing Systems (SecUbiq 2005) -- The 1st International Workshop on RFID and Ubiquitous Sensor Networks (USN 2005) -- The International Workshop on Trusted and …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322962
- Deskripsi Fisik
- XXXII, 1317 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded and Ubiquitous Computing - EUC 2005
Keynote -- Embedded Hardware -- Embedded Software -- Real-Time Systems -- Power-Aware Computing -- H/S Co-design and Systems-on-Chip -- Testing and Verification -- Reconfigurable Computing -- Agent and Distributed Computing -- Wireless Communications -- Mobile Computing -- Multimedia, HCI and Pervasive Computing -- Network Protocol, Security and Fault-Tolerance -- Middleware and P2P Computing.W…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322955
- Deskripsi Fisik
- XXIII, 1204 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Electronic Government
Challenges -- Organizational Transformation Through E-Government: Myth or Reality? -- The Governance of Back Office Integration in E-Government: Some Dutch Experiences -- E-Government Systems in Developing Countries: Stakeholders and Conflict -- Performance -- Intelligent Measuring and Improving Model for Customer Satisfaction Level in e-Government -- Accountability of Electronic Cross-Agency S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317371
- Deskripsi Fisik
- XIII, 317 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