Ditapis dengan
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
- -
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
- -
Artificial Intelligence in Medicine
Invited Talks -- Ontology Mapping: A Way Out of the Medical Tower of Babel? -- Human Computer Interaction in Context Aware Wearable Systems -- Temporal Representation and Reasoning -- A New Approach to the Abstraction of Monitoring Data in Intensive Care -- Learning Rules with Complex Temporal Patterns in Biomedical Domains -- Discriminating Exanthematic Diseases from Temporal Patterns of Patie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318842
- Deskripsi Fisik
- XVIII, 550 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Artificial Intelligence Applications and Innovations II
Dynamic-Fuzzy Concepts -- Conceptual Modeling of Knowledge-Based Systems using UML -- Translating Ontologies to Default Logic -- Designing Cooperative Embedded Systems using a Multiagent Approach -- Modeling Multi-Agent Systems with Hierarchical Colored Petri Nets -- Translating Ontologies to Default Logic -- Semantic Network and Concept Mapping -- A Hybrid Ant-Based Clustering Algorithm -- Iri…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387292953
- Deskripsi Fisik
- XX, 881 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
- -
E-Government: Towards Electronic Democracy
e-Democracy: Improving Citizen Participation and Policy Making -- Using Weblogs to Support Local Democracy -- Web-Based Tools for Policy Evaluation -- Can Online Map-Based Applications Improve Citizen Participation? -- e-Democracy: Experiences from Different Countries -- Interactive Tools for e-Democracy: Examples from Switzerland -- “Public Budget Dialogue” – An Innovative Approach to E-…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322573
- Deskripsi Fisik
- XIII, 311 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