Ditapis dengan
Verification, Model Checking, and Abstract Interpretation
Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using Mathematical Programming -- The Arithmetic-Geometric Progression Abstract Domain -- An Overview of Semantics for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compil…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305798
- Deskripsi Fisik
- XII, 483 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Human-Centered Software Engineering - Integrating Usability in the Software D…
Introductory Chapter -- An Introduction to Human-Centered Software Engineering -- Principles, Myths and Challenges -- Key Principles for User-Centred Systems Design -- HCI, Usability and Software Engineering Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between Human Computer Interaction and Software Engineering in Practice -- Convergence or…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402041136
- Deskripsi Fisik
- XXX, 391 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Guide to Assembly Language Programming in Linux
Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory Organization -- The IA-32 Architecture -- Linux -- Installing Linux -- Using Linux -- NASM -- Installing and Using NASM -- Debugging Assembly Language Programs -- Assembly Language -- A First Look at Assembly Language -- More on Assembly Language -- Writing Procedures -- More on Procedures -- Addressing M…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387261713
- Deskripsi Fisik
- XVI, 545 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Trustworthy Global Computing
Harmony: The Art of Reconciliation -- A Theory of Noninterference for the ?-Calculus -- Typed Processes in Untyped Contexts -- Model–Based Testing of Cryptographic Protocols -- A General Name Binding Mechanism -- Types for Security in a Mobile World -- History-Based Access Control for Distributed Processes -- Programming Cryptographic Protocols -- A Framework for Analyzing Probabilistic Proto…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314837
- Deskripsi Fisik
- VIII, 371 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Software Process Model Handbook for Incorporating People's Capabilities
Software Process and Peopleware Basics -- Software Process and Peopleware Basics -- Software Process Models -- Overview of Software Process Models and Descriptive Criteria for their Analysis -- Activity-Oriented Models -- People-Oriented Models -- Summary of the Overview of Software Process Models -- Capabilities-Oriented Software Process Model -- Adding Capabilities to the Software Process Mod…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387254890
- Deskripsi Fisik
- XXVIII, 324 p. 90 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Web Component Development with Zope 3
Beginner -- Installing Zope -- The Zope 3 Component Architecture -- Interfaces -- Content Components -- Persistency -- Presenting components on the web -- Intermediate -- Customizing a site’s layout -- Internationalization -- Adapters -- Automated testing -- Views -- Metadata -- Containers -- Expert -- Events -- Vocabularies -- Sites -- Security -- Authentication and user management.New Zope …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540274100
- Deskripsi Fisik
- XIV, 467 p. 39 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fundamental Approaches to Software Engineering
Invited Contributions -- Esterel v7: From Verified Formal Specification to Efficient Industrial Designs -- Checking Memory Safety with Blast -- Web Services -- Analyzing Web Service Based Business Processes -- Automatic Conformance Testing of Web Services -- Graph Grammars and Graph Transformations -- Termination Criteria for Model Transformation -- Ensuring Structural Constraints in Graph-Base…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319849
- Deskripsi Fisik
- XIV, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Surface Waves in Geomechanics: Direct and Inverse Modelling for Soils and Rocks
Near-Surface Site Characterization Using Surface Waves -- Surface Wave Testing for Geotechnical Characterization -- Surface Waves in Dissipative Media: Forward and Inverse Modelling -- Waves Propagation Modes: From Simple Systems to Layered Soils -- Elastic modelling of surface waves in single and multicomponent systems -- Modelling of surface waves in poroelastic saturated materials by means o…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783211380659
- Deskripsi Fisik
- X, 386 p. 163 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Grid Computing in Life Science
Life Science Grid -- Gene Trek in Procaryote Space Powered by a GRID Environment -- An Integrated System for Distributed Bioinformatics Environment on Grids -- Distributed Cell Biology Simulations with E-Cell System -- The Architectural Design of High-Throughput BLAST Services on OBIGrid -- Heterogeneous Database Federation Using Grid Technology for Drug Discovery Process -- Grid Portal Interfa…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322511
- Deskripsi Fisik
- X, 188 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Open Object-Based Distributed Systems
Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Se…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315568
- Deskripsi Fisik
- X, 326 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