Ditapis dengan
Heinz Werner and Developmental Science
General Introduction -- General Introduction -- Basic Life Course: Heinz Werner -- Basic Life Course: Heinz Werner -- The European Roots Re-examined -- The Context of the Formation of Heinz Werner’s Ideas -- Heinz Werner and the Psychological Institute in Hamburg -- The Making of a Developmental Psychologist -- Topics in development -- Metaphor and Perception -- Re-Thinking Development -- The…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780306486777
- Deskripsi Fisik
- XI, 439 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Data Mining and Knowledge Management
Keynote Lectures -- Visualization-Based Data Mining Tool and Its Web Application -- Knowledge Management, Habitual Domains, and Innovation Dynamics -- Knowledge-Information Circulation Through the Enterprise: Forward to the Roots of Knowledge Management -- Data Mining Methodology -- A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals -- Fuzzy Classification Using Self-Organizin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305378
- Deskripsi Fisik
- XIV, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Current Trends in Database Technology - EDBT 2004 Workshops
Session I: March 18, 2004, Heraklion, Crete, Greece -- Querying Sliding Windows Over Online Data Streams -- MIRA: Multilingual Information Processing on Relational Architecture -- Index-Based Keyword Search in Mediator Systems -- Concept-Based Search on Semi-structured Data Exploiting Mined Semantic Relations -- Distributed and Scalable Similarity Searching in Metric Spaces -- Pattern Based Man…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301929
- Deskripsi Fisik
- XVIII, 608 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
COTS-Based Software Systems
Panels -- COTS Component-Based Embedded Systems – A Dream or Reality? -- Free and Proprietary Software in COTS-Based Software Development -- Workshops -- 2nd International Workshop on Incorporating COTS into Software Systems: Assessment and Prediction of Behavior and QoS Attributes of COTS Software Components and Systems -- Challenges of COTS IV & V -- Tutorials -- The COTS Product Market: An…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305873
- Deskripsi Fisik
- XVI, 312 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Contemporary Cryptology
Efficient Distributed Computation Modulo a Shared Secret -- Multiparty Computation, an Introduction -- Foundations of Modern Cryptography -- Provable Security for Public Key Schemes -- Efficient and Secure Public-Key Cryptosystems.The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: - efficient distr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373948
- Deskripsi Fisik
- IX, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305699
- Deskripsi Fisik
- IX, 258 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Taxonomies for the Development and Verification of Digital Systems
Model Taxonomy -- Functional Verification Taxonomy -- Platform-Based Design -- Hardware-Dependent Software."In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387240213
- Deskripsi Fisik
- XX, 180 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Symbolic Analysis and Reduction of VLSI Circuits
Fundamentals -- Basics Of Circuit Analysis -- Linear VLSI Circuits -- Model-Order Reduction -- Generalized Y-? Transformation — Fundamental Theory -- Generalized Y-? Transformation — Advance Topics -- Y-? Transformation: Application I — Model Stabilization -- Y-? Transformation: Application II — Realizable Parasitic Reduction -- Analog VLSI Circuits -- Topological Analysis of Passive Ne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387239057
- Deskripsi Fisik
- XXIV, 284 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Conceptual Modeling - ER 2005
Specific Approaches -- Conceptual Modeling of Structure and Behavior with UML – The Top Level Object-Oriented Framework (TLOOF) Approach -- How to Manage Uniformly Software Architecture at Different Abstraction Levels -- Schema Integration Based on Uncertain Semantic Mappings -- Process Modeling and Views -- Combining Intention-Oriented and State-Based Process Modeling -- Pattern-Based Analys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320685
- Deskripsi Fisik
- XVI, 504 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer-Aided Design of User Interfaces IV
Task Modelling -- The Influence of Improved Task Models on Dialogues -- Task-Based Web Modelling: The Web Object Life Cycle Modelling Concept -- Hypermedia and Web-Based Systems -- Model-Based Design of Online Help Systems -- A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method -- SWCEditor: A Model-Based Tool for Interactive Modelling of Web Navigation -- Model-Base…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402033049
- Deskripsi Fisik
- XII, 374 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