Ditapis dengan
Component Deployment
Middleware Integration -- Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks -- Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments -- Patterns for Deployment -- Component Deployment Using a Peer-to-Peer Overlay -- A Methodology for Developing and Deploying Distributed Applications -- QOS Issues -- Crosslets: Self-managing Ap…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322818
- Deskripsi Fisik
- X, 197 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Approaches to Software Testing
Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing Non-functional Properties -- Testing of Symbolic-Probabilistic Systems -- A Test Generation Framework for quiescent Real-Time Systems -- Online Testing of Real-time Systems Using Uppaal -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318484
- Deskripsi Fisik
- X, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logical Data Modeling
Getting Started -- The Art Gallery Web: A Data Modeling Example -- Building the Data Map -- The Art Gallery Web (Continued) -- Keys and Valid Associations -- The Art Gallery Web (Continued) -- Defining Attributes -- The Art Gallery Web (Continued) -- Verifying the Data Model -- Validating the Data Model -- Design Patterns -- From Logical to Physical -- The End and the Beginning.LOGICAL DATA MOD…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387229621
- Deskripsi Fisik
- XII, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logical Aspects of Computational Linguistics
LACL -- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages -- Dependency Structure Grammars -- Towards a Computational Treatment of Binding Theory -- Translating Formal Software Specifications to Natural Language -- On the Selective Lambek Calculus -- Grammatical Development with Xmg -- Lambek-Calculus with General Elimination Rules and Continuation …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319535
- Deskripsi Fisik
- X, 366 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
List Decoding of Error-Correcting Codes
1 Introduction -- 1 Introduction -- 2 Preliminaries and Monograph Structure -- I Combinatorial Bounds -- 3 Johnson-Type Bounds and Applications to List Decoding -- 4 Limits to List Decodability -- 5 List Decodability Vs. Rate -- II Code Constructions and Algorithms -- 6 Reed-Solomon and Algebraic-Geometric Codes -- 7 A Unified Framework for List Decoding of Algebraic Codes -- 8 List Decoding of…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301806
- Deskripsi Fisik
- XX, 352 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Legal Programming
Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions.The most advanced and ambitious aspect of ecommerce technology is the use of intelligent agent-based computing. Software agents are basically autonomous software entities that can react and interact with their environment, with more advanced intelligent agents being also adaptive, sociable and mobile. Age…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387234151
- Deskripsi Fisik
- XX, 314 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Languages and Compilers for High Performance Computing
Experiences in Using Cetus for Source-to-Source Transformations -- The LLVM Compiler Framework and Infrastructure Tutorial -- An Overview of the Open Research Compiler -- Trimaran: An Infrastructure for Research in Instruction-Level Parallelism -- Phase-Based Miss Rate Prediction Across Program Inputs -- Speculative Subword Register Allocation in Embedded Processors -- Empirical Performance-Mod…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318132
- Deskripsi Fisik
- X, 494 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Universe of General Relativity
Fresnel’s (Dragging) Coefficient as a Challenge to 19th Century Optics of Moving Bodies -- Poincaré’s Relativistic Theory of Gravitation -- Standing on the Shoulders of a Dwarf: General Relativity—A Triumph of Einstein and Grossmann’s Erroneous Entwurf Theory -- Before the Riemann Tensor: The Emergence of Einstein’s Double Strategy -- A Conjecture on Einstein, the Independent Reality…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780817644543
- Deskripsi Fisik
- X, 383 p. 17 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Using Microsoft Windows Small Business Server 2003
Installing SBS 2003 -- Initial Configuration -- Exploring Windows Server 2003 -- Exploring Outlook 2003 and Exchange Server 2003 -- Windows SharePoint Services Techniques -- Exploring SBS Standard Security -- Using Remote Access Features -- The Shared Fax Service -- Monitoring SBS Server Health and Performance -- The Indexing Service.This is the fundamental, definitive reference to Microsoft Sm…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200161
- Deskripsi Fisik
- XVIII, 264 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Regular Expression Recipes for Windows Developers
Words and Text -- URLs and Paths -- CSV and Tab-Delimited Files -- Formatting and Validating -- HTML and XML -- Source Code.Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression Recipes for Windows Developers. This is the only book of its kind that presents material in a functional, concise manner. It contains over 100 of the …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200284
- Deskripsi Fisik
- 400 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