Ditapis dengan
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
- -
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
- -
An Integrated Approach to Software Engineering
Software Engineering Challenges -- Software Processes and Process Models -- Project Management -- Software Configuration Management -- Software Requirements Analysis and Specification -- Software Architecture and Design -- Project Planning -- Project Scheduling and Staffing -- Software Quality Management -- Rish Management -- Structured Design Methodology -- Object-Oriented Design and Design Me…
- Edisi
- 3rd ed.
- ISBN/ISSN
- 9780387281322
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithmic Learning in a Random World
Conformal prediction -- Classification with conformal predictors -- Modifications of conformal predictors -- Probabilistic prediction I: impossibility results -- Probabilistic prediction II: Venn predictors -- Beyond exchangeability -- On-line compression modeling I: conformal prediction -- On-line compression modeling II: Venn prediction -- Perspectives and contrasts.Conformal prediction is a …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387250618
- Deskripsi Fisik
- XVI, 324 p. 62 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dependable Computing
Invited Talks -- Probabilistic Validation of Computer System Survivability -- Timed Asynchronous Distributed Systems -- WLAN in Automation – More Than an Academic Exercise? -- Evaluation -- Using Stratified Sampling for Fault Injection -- A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320920
- Deskripsi Fisik
- XV, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database Systems for Advanced Applications
Keynotes -- Bioinformatics -- Watermarking and Encryption -- XML Query Processing -- XML Coding and Metadata Management -- Data Mining -- Data Generation and Understanding -- Panel -- Music Retrieval -- Query Processing in Subscription Systems -- Extending XML -- Web Services -- High-Dimensional Indexing -- Sensor and Stream Data Processing -- Database Performance Issues -- Clustering, Classifi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320050
- Deskripsi Fisik
- XXVII, 929 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database Programming Languages
Patterns and Types for Querying XML Documents -- Dual Syntax for XML Languages -- Exploiting Schemas in Data Synchronization -- Efficiently Enumerating Results of Keyword Search -- Mapping Maintenance in XML P2P Databases -- Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach -- XML Data Integration with Identification -- Satisfiability of XPath Queries with Sibling Axe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314455
- Deskripsi Fisik
- X, 298 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database and XML Technologies
Invited Talk (Shared with DBPL) -- Patterns and Types for Querying XML Documents -- Constraints and Views -- Checking Functional Dependency Satisfaction in XML -- A Theoretic Framework for Answering XPath Queries Using Views -- Labeling and Path Evaluation -- A Path-Based Labeling Scheme for Efficient Structural Join -- The BIRD Numbering Scheme for XML and Tree Databases – Deciding and Recon…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319689
- Deskripsi Fisik
- X, 239 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Database and Expert Systems Applications
How to Design a Loose Inter-organizational Workflow? An Illustrative Case Study -- Recovering from Malicious Attacks in Workflow Systems -- Towards Mining Structural Workflow Patterns -- Avoiding Error-Prone Reordering Optimization During Legal Systems Migration -- Automated SuperSQL Query Formulation Based on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317296
- Deskripsi Fisik
- XX, 955 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Data Warehousing and Knowledge Discovery
Data Warehouse I -- A Tree Comparison Approach to Detect Changes in Data Warehouse Structures -- Extending the UML for Designing Association Rule Mining Models for Data Warehouses -- Event-Feeded Dimension Solution -- XML-OLAP: A Multidimensional Analysis Framework for XML Warehouses -- Data Warehouse II -- Graph-Based Modeling of ETL Activities with Multi-level Transformations and Updates -- E…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317326
- Deskripsi Fisik
- XVI, 544 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