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
- -
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
- -
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
- -
Energy Minimization Methods in Computer Vision and Pattern Recognition
Probabilistic and Informational Approaches -- Adaptive Simulated Annealing for Energy Minimization Problem in a Marked Point Process Application -- A Computational Approach to Fisher Information Geometry with Applications to Image Analysis -- Optimizing the Cauchy-Schwarz PDF Distance for Information Theoretic, Non-parametric Clustering -- Concurrent Stereo Matching: An Image Noise-Driven Model…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320982
- Deskripsi Fisik
- XII, 666 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
- -
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
New Neural Network Models -- Supervised Learning Algorithms -- Ensemble-Based Learning -- Unsupervised Learning -- Recurrent Neural Networks -- Reinforcement Learning -- Bayesian Approaches to Learning -- Learning Theory -- Artificial Neural Networks for System Modeling, Decision Making, Optimalization and Control -- Special Session: Knowledge Extraction from Neural Networks Organizer and Chair…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540287568
- Deskripsi Fisik
- XXXII, 1045 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Artificial Neural Networks: Biological Inspirations – ICANN 2005
Modeling the Brain and Cognitive Functions -- Special Session: The Development of Cognitive Powers in Embodied Systems -- Spiking Neural Networks -- Associative Memory Models -- Models of Biological Functions -- Special Session: Projects in the Area of NeuroIT -- Evolutionary and Other Biological Inspirations -- Self-organizing Maps and Their Applications -- Computer Vision -- Face Recognition …
- Edisi
- 1st ed
- ISBN/ISSN
- 9783540287544
- Deskripsi Fisik
- XXXII, 708 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