Ditapis dengan
Software Product Lines
Keynotes -- Next Generation Software Product Line Engineering -- Software Product Families in Nokia -- Feature Modelling -- Feature Models, Grammars, and Propositional Formulas -- Using Product Sets to Define Complex Product Decisions -- The PLUSS Approach – Domain Modeling with Features, Use Cases and Use Case Realizations -- Re-engineering -- Feature-Oriented Re-engineering of Legacy System…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320647
- Deskripsi Fisik
- XIII, 235 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Beginning Relational Data Modeling
Understanding and Organizing Data: Past and Present -- Introducing Relational Theory -- Understanding Relational Modeling Terminology -- Understanding Data Modeling Methods: Graphical Syntax -- Introducing Object-Oriented Data Modeling -- Examining Levels of Analysis -- How Data Models Fit Into Projects -- Building a Conceptual Model -- Building a Logical Model -- Transforming a Logical Model i…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9781430200154
- Deskripsi Fisik
- XXVIII, 632 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory of Cryptography
Hardness Amplification and Error Correction -- Optimal Error Correction Against Computationally Bounded Noise -- Hardness Amplification of Weakly Verifiable Puzzles -- On Hardness Amplification of One-Way Functions -- Graphs and Groups -- Cryptography in Subgroups of -- Efficiently Constructible Huge Graphs That Preserve First Order Properties of Random Graphs -- Simulation and Secure Computat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305767
- Deskripsi Fisik
- XII, 628 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Form-Oriented Analysis
Modeling Form-Based Systems -- The Form-Based System Paradigm -- Exploring the Online Bookshop -- Form Storyboarding -- Formcharts and Dialogue Specification -- Model Decomposition and Refinement -- Data Modeling -- Message-Based Modeling of Data Interchange -- A Descriptive Approach -- Tool Support -- Forward Engineering and Reverse Engineering -- Typed Server Pages -- Semantics -- The Integra…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540268932
- Deskripsi Fisik
- XVIII, 372 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Shared Memory Parallel Programming with Open MP
Parallelization of General Matrix Multiply Routines Using OpenMP -- Performance Analysis of Hybrid OpenMP/MPI N-Body Application -- Performance and Scalability of OpenMP Programs on the Sun FireTM E25K Throughput Computing Server -- What Multilevel Parallel Programs Do When You Are Not Watching: A Performance Analysis Case Study Comparing MPI/OpenMP, MLP, and Nested OpenMP -- SIMT/OMP: A Toolse…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318323
- Deskripsi Fisik
- X, 154 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tools and Algorithms for the Construction and Analysis of Systems
Invited Paper -- Applications of Craig Interpolants in Model Checking -- Regular Model-Checking -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based Iteration of Tree Transducers -- Using Language Inference to Verify Omega-Regular Properties -- Infinite State Systems -- On-the-Fly Reachability and Cycle Detection for Recursive State Machi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319801
- Deskripsi Fisik
- XVIII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods and Software Engineering
Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service Interaction Patterns and Interaction Flows -- An Evidential Tool Bus -- Specification -- Derivation of UML Class Diagrams as Static Views of Formal B Developments -- 29 New Unclarities in the Semantics of UML 2.0 State Machines -- The Semantics and Tool Support of OZTA -- Modelling -- An Abstract …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322504
- Deskripsi Fisik
- XIV, 502 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information and Communications Security
Fair Exchange -- An Evenhanded Certified Email System for Contract Signing -- Efficient ID-Based Optimistic Fair Exchange with Provable Security -- On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol -- Generic, Optimistic, and Efficient Schemes for Fair Certified Email Delivery -- Digital Signatures I -- Cryptanalysis of a Forward Secure Blind Signature Scheme…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320999
- Deskripsi Fisik
- XIV, 498 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Security and Privacy
Invited Talk -- All Sail, No Anchor III: Risk Aggregation and Time’s Arrow -- Network Security -- Traversing Middleboxes with the Host Identity Protocol -- An Investigation of Unauthorised Use of Wireless Networks in Adelaide, South Australia -- An Efficient Solution to the ARP Cache Poisoning Problem -- Cryptanalysis -- On Stern’s Attack Against Secret Truncated Linear Congruential Generat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316848
- Deskripsi Fisik
- XIV, 594 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theory and Applications of Satisfiability Testing
Preface -- Solving Over-Constrained Problems with SAT Technology -- A Symbolic Search Based Approach for Quantified Boolean Formulas -- Substitutional Definition of Satisfiability in Classical Propositional Logic -- A Clause-Based Heuristic for SAT Solvers -- Effective Preprocessing in SAT Through Variable and Clause Elimination -- Resolution and Pebbling Games -- Local and Global Complete Solu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316794
- Deskripsi Fisik
- XII, 492 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