Ditapis dengan
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
- -
Distributed Computing
Invited Talks -- Digital Fountains and Their Application to Informed Content Delivery over Adaptive Overlay Networks -- Securing the Net: Challenges, Failures and Directions -- Regular Papers -- Coterie Availability in Sites -- Keeping Denial-of-Service Attackers in the Dark -- On Conspiracies and Hyperfairness in Distributed Computing -- On the Availability of Non-strict Quorum Systems -- Musi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320753
- Deskripsi Fisik
- XIV, 522 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Spatially Structured Evolutionary Algorithms
Setting the Stage for Structured Populations -- Island Models -- Island Models: Empirical Properties -- Lattice Cellular Models -- Lattice Cellular Models: Empirical Properties -- Random and Irregular Cellular Populations -- Coevolutionary Structured Models -- Some Nonconventional Models.Evolutionary algorithms (EAs) is now a mature problem-solving family of heuristics that has found its way in…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540299387
- Deskripsi Fisik
- XIII, 193 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
- -
Typed Lambda Calculi and Applications
Completeness Theorems and ?-Calculus -- Completeness Theorems and ?-Calculus -- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract -- Can Proofs Be Animated By Games? -- Contributed Papers -- Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs -- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320142
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Global Computing
Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317944
- Deskripsi Fisik
- VIII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Composition
Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540287490
- Deskripsi Fisik
- X, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation and Application of Functional Languages
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Stric…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320388
- Deskripsi Fisik
- X, 230 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