Ditapis dengan
High Performance Embedded Architectures and Compilers
Invited Program -- Keynote 1: Using EEMBC Benchmarks to Understand Processor Behavior in Embedded Applications -- Keynote 2: The Chip-Multiprocessing Paradigm Shift: Opportunities and Challenges -- Software Defined Radio – A High Performance Embedded Challenge -- I Analysis and Evaluation Techniques -- A Practical Method for Quickly Evaluating Program Optimizations -- Efficient Sampling Start…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322726
- Deskripsi Fisik
- XIV, 318 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
XML for Bioinformatics
to XML for Bioinformatics -- Fundamentals of XML and BSML -- DTDs for Bioinformatics -- XML Schemas for Bioinformatics -- Parsing NCBI XML in Perl -- The Distributed Annotation System (DAS) -- Parsing DAS Data with SAX -- Parsing DAS Data with JDOM -- Web Services for Bioinformatics.XML, or Extensible Markup Language, is rapidly becoming a critical tool in bioinformatics and biological data exc…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387274782
- Deskripsi Fisik
- XVI, 304 p. 59 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Theoretical Aspects of Computing - ICTAC 2004
Invited Speakers -- Software Services: Scientific Challenge or Industrial Hype? -- Integrating Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic and Model Checking for Mobile Processes -- Concurrent and Distributed Systems -- Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes -- Specifying Software Connectors -- Repli…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318620
- Deskripsi Fisik
- XIV, 566 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods in Software and Systems Modeling
Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318477
- Deskripsi Fisik
- XXVIII, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
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
- -
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
- -
Term Rewriting and Applications
Confluent Term Rewriting Systems -- Generalized Innermost Rewriting -- Orderings for Innermost Termination -- Leanest Quasi-orderings -- Abstract Modularity -- Union of Equational Theories: An Algebraic Approach -- Equivariant Unification -- Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories -- Unification in a Class of Permutative Theories -- Dependency Pairs for…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320333
- Deskripsi Fisik
- XIII, 517 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