Ditapis dengan
Intelligence and Security Informatics
Long Papers -- Short Papers -- Extended Abstracts for Posters and Demos -- Infrastructure Protection and Emergency Response -- Surveillance, Border Protection, and Transportation Systems.Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applic…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320630
- Deskripsi Fisik
- XVIII, 678 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
E-Training Practices for Professional Organizations
Theories and Paradigms -- Identifying Hypermedia Browsing Strategies -- Simulations as Mental Tools for Network-Based Group Learning -- E-training or E-learning? -- Pedagogical Models in Network-Based Education -- The Effects of IT-Based Training on Employees Uptake of New Technologies in the Work-Place -- Focus Group Report: Mobility and Education -- Programs and Curricula -- ‘Anybody Out Th…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387235721
- Deskripsi Fisik
- XIV, 342 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
System Modeling and Optimization
Toward a Mathematical Theory of Aeroelasticity -- Uniform Cusp Property, Boundary Integral, and Compactness for Shape Optimization -- Interior and Boundary Stabilization of Navier-Stokes Equations -- Matrix Rounding and Related Problems with Application to Digital Halftoning -- Nonlinear Programming: Algorithms, Software, and Applications -- Stochastic Modeling and Optimization of Complex Infra…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387234670
- Deskripsi Fisik
- XV, 306 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
User Modeling 2005
Invited Talks -- User Modeling Meets Usability Goals -- Hey, That’s Personal! -- Inhabited Models: Supporting Coherent Behavior in Online Systems -- Papers -- Integrating Open User Modeling and Learning Content Management for the Semantic Web -- Modeling Suppositions in Users’ Arguments -- Generative Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of Use…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318781
- Deskripsi Fisik
- XVI, 533 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Validated Designs for Object-oriented Systems
Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered Collections -- Modelling Ordered Collections -- Modelling Relationships -- Modelling in Practice: Three Case Studies -- Model Structuring: The Enigma Cipher -- Combining Views: The CSLaM Sy…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281075
- Deskripsi Fisik
- XII, 404 p. 65 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Systems Aspects in Organic and Pervasive Computing - ARCS 2005
Adaptation, Power Consumption and Scheduling -- Energy Management for Embedded Multithreaded Processors with Integrated EDF Scheduling -- Reducing System Level Power Consumption for Mobile and Embedded Platforms -- Implementing Control Algorithms Within a Multithreaded Java Microcontroller -- Adaptivity for Quality and Timeliness Flexible Real-Time Systems -- Adaptation and Agents -- Apricot Ag…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319672
- Deskripsi Fisik
- X, 268 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Modeling and Analysis of Timed Systems
Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316169
- Deskripsi Fisik
- IX, 305 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Schein's Common Sense Emergency Abdominal Surgery
Background -- General Philosophy -- A Brief History of Emergency Abdominal Surgery -- Before the Operation -- The Acute Abdomen -- Rational Diagnostic Procedures -- Abdominal Imaging -- Optimizing the Patient -- Pre-operative Antibiotics -- Family, Ethics, Informed Consent and Medicolegal Issues -- Before the Flight: Pre-op Checklist -- The Operation -- The Incision -- Abdominal Exploration: Fi…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540267935
- Deskripsi Fisik
- XIX, 469 p. 97 illus., 7 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods for Components and Objects
A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and A…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319399
- Deskripsi Fisik
- VIII, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Nature's Principles
Why Are (Most) Laws of Nature Mathematical? -- How Nature Makes Sense -- Nancy Cartwright and Leszek Nowak on Scientific Laws and Scientific Explanation -- The Explanatory Virtues of Probabilistic Causal Laws -- The Nature of Natural Laws -- How the Ceteris Paribus Laws of Physics Lie -- Necessary Laws -- Laws of Nature — A Skeptical View -- The Laws’ Properties -- Laws of Nature Versus Sys…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402032585
- Deskripsi Fisik
- XII, 292 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