Ditapis dengan
Engineering Human Computer Interaction and Interactive Systems
Usability -- Bringing Usability Concerns to the Design of Software Architecture -- Empirical Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific Usability Measures -- Software Architecture Analysis of Usability -- Task Modelling -- Support for Task Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Archit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319610
- Deskripsi Fisik
- XII, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications and Theory of Petri Nets 2005
Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov N…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315599
- Deskripsi Fisik
- XI, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Agent Communication
Section I: Social Commitments -- Agent Communication and Institutional Reality -- Conversational Semantics with Social Commitments -- A Semantic Approach for Designing Commitment Protocols -- Section II: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols for Overhearing -- First Steps Towards Multi-party Communication -- Section III: Content Languages -- O…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322580
- Deskripsi Fisik
- X, 266 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
- -
Foundations of AOP for J2EE Development
Introducing AOP -- The Concepts of AOP -- AspectJ -- Java Aspect Components -- JBoss AOP -- Spring AOP -- AOP Tools Comparison -- Design Patterns and AOP -- Quality of Service and AOP -- Presentation of the Sample Application -- Using AOP within the Sample Application’s Business Tier -- Using AOP in the Sample Application’s Presentation and Client Tiers.Foundations of AOP for J2EE Developme…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200635
- Deskripsi Fisik
- XXIV, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Energy and Environment
North — South Trade and the Sustainability of Economic Growth: A Model with Environmental Constraints -- A Coupled Bottom-Up/Top-Down Model for GHG Abatement Scenarios in the Swiss Housing Sector -- Moderated Decision Support and Countermeasure Planning for Off-Site Emergency Management -- Hybrid Energy-Economy Models and Endogenous Technological Change -- The World-Markal Model and Its Appli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387253527
- Deskripsi Fisik
- XVIII, 282 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Epigenetics and Chromatin
Chromatin Remodeling Factors and DNA Replication -- Epigenetic Inheritance of Chromatin States Mediated by Polycomb and Trithorax Group Proteins in Drosophila -- How to Pack the Genome for a Safe Trip -- Chromatin Modifications on the Inactive X Chromosome -- Chromatin Mechanisms in Drosophila Dosage Compensation -- DNA Methylation in Epigenetic Control of Gene Expression -- The Epigenetic Brea…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273103
- Deskripsi Fisik
- XIII, 266 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Simulation Training: Fundamentals and Applications
Introduction -- Reflections and theoretical contributions regarding trainers’ practices and simulation -- Airliners Flying -- Piloting nuclear reactors -- The simulator of critical situations in Anesthesia -- Surgical virtual simulation: the first steps of a new training -- Simulation to train hot rolling mill operators in metalwork.Drawing on decades of industrial experience, this insightful…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319199146
- Deskripsi Fisik
- XXII, 148 p. 28 illus., 21 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Technologies for Advanced Heterogeneous Networks
Invited Papers -- Efficient Blacklisting and Pollution-Level Estimation in P2P File-Sharing Systems -- Building Tailored Wireless Sensor Networks -- Users and Services in Intelligent Networks -- Wireless, Mobility and Emergency Network -- MAC Protocol for Contacts from Survivors in Disaster Areas Using Multi-hop Wireless Transmissions -- Performance Evaluation of Mobile IPv6 Wireless Test-Bed i…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322924
- Deskripsi Fisik
- X, 310 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Geostatistics for Environmental Applications
Change of support: an inter-disciplinary challenge -- Combining categorical and continuous information using Bayesian Maximum Entropy -- Geostatistical prediction of spatial extremes and their extent -- Monitoring network optimisation using support vector machines -- Bayesian Kriging with lognormal data and uncertain variogram parameters -- Kriging of scale-invariant data: optimal parameterizat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540265351
- Deskripsi Fisik
- XIV, 480 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