Ditapis dengan
Ubiquitous Mobile Information and Collaboration Systems
Invited Talk -- Paper on the Move -- Data and Context Management -- A Natural Language Model for Managing TV-Anytime Information in Mobile Environments -- Updated Data Dissemination in Ad Hoc Networks -- Modelling Context for Information Environments -- Coordination and Control -- Distributed Task Processing Within the Mobile Memory Aid System MEMOS -- Towards an Approach for Coordinating Perso…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540301882
- Deskripsi Fisik
- VIII, 197 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Pro Apache Log4j
to Application Logging -- Understanding Apache log4j -- Destination of Logging—The Appender Objects -- Formatting Logging Information in log4j -- Filtering, Error Handling, and Special Rendering of Log Messages -- Extending log4j to Create Custom Logging Components -- A Complete log4j Example -- log4j and J2EE -- Using the Apache Log Tag Library -- Best Practices and Looking Forward to 1.3.In…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9781430200345
- Deskripsi Fisik
- XX, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
UbiComp 2005: Ubiquitous Computing
CarpetLAN: A Novel Indoor Wireless(-like) Networking and Positioning System -- u-Texture: Self-Organizable Universal Panels for Creating Smart Surroundings -- Fast and Robust Interface Generation for Ubiquitous Applications -- Analysis of Chewing Sounds for Dietary Monitoring -- Preventing Camera Recording by Designing a Capture-Resistant Environment -- Self-Mapping in 802.11 Location Systems -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319412
- Deskripsi Fisik
- XVIII, 398 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Process Improvement
Software Process Improvement – EuroSPI 2005 Conference -- Agile Methods and Software Issues -- Framework of Agile Patterns -- Deploying Agile Practices in Organizations: A Case Study -- Pair Programming vs. Side-by-Side Programming -- SPI Studies -- Finding and Ranking Research Directions for Software Testing -- Quality: Attitudes and Experience Within the Irish Software Industry -- How Thing…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322719
- Deskripsi Fisik
- VIII, 215 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Genetic Programming Theory and Practice II
Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using Genetic Programming with Lambda Abstraction -- Using Genetic Programming in Industrial Statistical Model Building -- Population Sizing for Genetic Programming Based on Decision-Making -- Considering the Roles of Structure in Problem Solving by Computer -- Lessons Learned Using Genetic Programming in …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387232546
- Deskripsi Fisik
- XVI, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Testing of Communicating Systems
The Epistemology of Validation and Verification Testing -- Passive Testing – A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refineme…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320760
- Deskripsi Fisik
- X, 380 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Engineering for Multi-Agent Systems III
Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System Development -- Requirements Engineering and Software Architectures -- A Social-Driven Design…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318460
- Deskripsi Fisik
- XII, 291 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Euro-Par 2005 Parallel Processing
Invited Talks -- Topic 1 – Support Tools and Environments -- Topic 2 – Performance Prediction and Evaluation -- Topic 3 – Scheduling and Load-Balancing -- Topic 4 – Compilers for High Performance -- Topic 5 – Parallel and Distributed Databases, Data Mining and Knowledge Discovery -- Topic 6 – Grid and Cluster Computing: Models, Middleware and Architectures -- Topic 7 – Parallel Co…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319252
- Deskripsi Fisik
- XXXVI, 1299 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Programmer's Introduction to C# 2.0
Object-Oriented Basics -- The .NET Runtime Environment -- C# Quick Start and C# Development -- Exception Handling -- Classes 101 -- Base Classes and Inheritance -- Member Accessibility and Overloading -- Other Class Details -- Structs (Value Types) -- Interfaces -- Versioning and Aliases -- Statements and Flow of Execution -- Variable Scoping and Definite Assignment -- Operators and Expressions…
- Edisi
- 3rd ed. 2005.
- ISBN/ISSN
- 9781430200352
- Deskripsi Fisik
- XXXVIII, 568 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Integrated Formal Methods
Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322405
- Deskripsi Fisik
- XI, 407 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