Ditapis dengan
Reliable Distributed Systems
Basic Distributed Computing Technologies -- Fundamentals -- Basic Communication Services -- High Assurance Communication -- Remote Procedure Calls and the Client/Server Model -- Styles of Client/Server Computing -- CORBA: The Common Object Request Broker Architecture -- System Support for Fast Client/Server Communication -- Web Technologies -- The World Wide Web -- Major Web Technologies -- Web…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387276014
- Deskripsi Fisik
- XXXVI, 668 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Domain Decomposition Methods - Algorithms and Theory
Abstract Theory of Schwarz Methods -- Two-Level Overlapping Methods -- Substructuring Methods: Introduction -- Primal Iterative Substructuring Methods -- Neumann-Neumann and FETI Methods -- Spectral Element Methods -- Linear Elasticity -- Preconditioners for Saddle Point Problems -- Problems in H (div ; ?) and H (curl ; ?) -- Indefinite and Nonsymmetric Problems -- Elliptic Problems and Sobolev…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540266624
- Deskripsi Fisik
- XV, 450 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Developing Statistical Software in Fortran 95
Motivation -- to Modern Fortran -- A Pseudo Object-Oriented Style -- Implementing Computational Routines -- Developing a Console Application -- Creating and Using Dynamic-Link Libraries -- Creating COM Servers -- Creating COM Clients.Many books teach computational statistics. Until now, however, none has shown how to write a good program. This book gives statisticians, biostatisticians and meth…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387281230
- Deskripsi Fisik
- XVI, 324 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design of Adaptive Finite Element Software
Concepts and abstract algorithms -- Implementation of model problems -- Data structures and implementation.During the last years, scientific computing has become an important research branch located between applied mathematics and applied sciences and engineering. Highly efficient numerical methods are based on adaptive methods, higher order discretizations, fast linear and non-linear iterative…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540271567
- Deskripsi Fisik
- XII, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Categories for Software Engineering
Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors -- Advanced Topics -- Functor-Based Constructions -- Adjunctions -- Applications -- CommUnity -- Architectural Description -- An Algebra of Connectors.This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this b…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268918
- Deskripsi Fisik
- XIV, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quality of Software Architectures and Software Quality
Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test Cases Useless or Not? -- QoSA Long Papers -- DoSAM – Domain-Specific Software Architecture Comparison Model -- An Architecture-Centric Approach for Producing Quality Systems -- A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties -- Predicting Mean Service Execution Times …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320562
- Deskripsi Fisik
- XIV, 294 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quality of Service – IWQoS 2005
Invited Program -- COPS: Quality of Service vs. Any Service at All -- Beyond Middleware and QoS – Service-Oriented Architectures – Cult or Culture? -- Would Self-organized or Self-managed Networks Lead to Improved QoS? -- Full Papers -- Overlay Networks with Linear Capacity Constraints -- A High-Throughput Overlay Multicast Infrastructure with Network Coding -- On Topological Design of Serv…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316596
- Deskripsi Fisik
- XVI, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Progress in Cryptology - INDOCRYPT 2005
Invited Talk -- Abelian Varieties and Cryptography -- Sequences -- Proof of a Conjecture on the Joint Linear Complexity Profile of Multisequences -- Period of Streamcipher Edon80 -- Boolean Function and S-Box -- On the Algebraic Immunity of Symmetric Boolean Functions -- On Highly Nonlinear S-Boxes and Their Inability to Thwart DPA Attacks -- Hash Functions -- How to Construct Universal One-Way…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322788
- Deskripsi Fisik
- XIV, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Progress in Cryptology - INDOCRYPT 2004
Invited Talks -- Design of Secure Key Establishment Protocols: Successes, Failures and Prospects -- Secure Protocols for Complex Tasks in Complex Environments -- Cryptographic Protocols -- Tripartite Key Exchange in the Canetti-Krawczyk Proof Model -- The Marriage Proposals Problem: Fair and Efficient Solution for Two-Party Computations -- Applications -- On the Security of a Certified E-Mail S…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305569
- Deskripsi Fisik
- XIV, 431 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