A Framework for Automated Hw/SW Co-Verification of Systemc Designs Using Timed Automata
Paperback
Preț: 474.48 lei
Indisponibil temporar
Virtual Separation of Concerns
Paperback
Preț: 416.35 lei
Indisponibil temporar
Logical Foundations of Database Transformations for Complex-Value Databases
Paperback
Preț: 397.04 lei
Indisponibil temporar
Boolean Grobner Bases -- Theory, Algorithms and Applications
Paperback
Preț: 372.94 lei
Indisponibil temporar
Probabilistic Modeling for Segmentation in Magnetic Resonance Images of the Human Brain
Paperback
Preț: 420.14 lei
Indisponibil temporar
Building and Evaluating Domain Ontologies
Paperback
Preț: 490.82 lei
Indisponibil temporar
Optimization Problems in Self-Organizing Networks
Paperback
Preț: 425.32 lei
Indisponibil temporar
Modeling Petri Net-Based Multi-Agent Applications
Paperback
Preț: 414.42 lei 511.63 lei
Indisponibil temporar
-19%
Towards a Secure and User Friendly Authentication Method for Public Wireless Networks
Paperback
Preț: 401.61 lei
Indisponibil temporar
Activity Monitoring and Automatic Alarm Generation in Aal-Enabled Homes
Paperback
Preț: 407.94 lei
Indisponibil temporar
Self-Calibration of Multi-Camera Systems
Paperback
Preț: 403.05 lei
Indisponibil temporar
Refined Probabilistic Abstraction
Paperback
Preț: 388.16 lei
Indisponibil temporar
Fast and Accurate Finite-Element Multigrid Solvers for Pde Simulations on Gpu Clusters
Paperback
Preț: 426.12 lei
Indisponibil temporar
Reusing Ocl in the Definition of Imperative Languages
Paperback
Preț: 408.87 lei
Indisponibil temporar
The Sonification Handbook
Paperback
Preț: 546.93 lei 710.30 lei
Indisponibil temporar
-23%
Shape-Centered Representations
Paperback
Preț: 457.50 lei 564.81 lei
Indisponibil temporar
-19%
Computational Biology of Micrornas and Sirnas
Paperback
Preț: 441.85 lei
Indisponibil temporar
Decoherence and Time-Resolved Readout in Superconducting Quantum Circuits (Dekoharenz Und Zeitaufgelosste Quantenmessung in Supraleitenden Schaltkreis
Paperback
Preț: 372.82 lei
Indisponibil temporar
Explorations in Sonic Interaction Design
Paperback
Preț: 362.71 lei
Indisponibil temporar
Self-Localization, Mapping and Coverage with Resource-Limited Mobile Robots
Paperback
Preț: 373.03 lei
Indisponibil temporar
Clone Evolution
Paperback
Preț: 403.35 lei
Indisponibil temporar
Exploratory Model Comparison
Paperback
Preț: 507.58 lei 626.64 lei
Indisponibil temporar
-19%
Bridging Technological Spaces
Paperback
Preț: 425.00 lei
Indisponibil temporar
An Integrated Formal Task Specification Method for Smart Environments
Paperback
Preț: 431.05 lei 532.16 lei
Indisponibil temporar
-19%
Walking with the Senses
Paperback
Preț: 422.99 lei
Indisponibil temporar
Physically Based Real-Time Auralization of Interactive Virtual Environments
Paperback
Preț: 458.60 lei 566.17 lei
Indisponibil temporar
-19%
Logic and Computations
Paperback
Preț: 209.93 lei
Indisponibil temporar
Optimal Control of Switched Systems with Application to Networked Embedded Control Systems
Paperback
Preț: 388.21 lei
Indisponibil temporar
Applications and Projects in Business Informatics
Paperback
Preț: 380.81 lei
Indisponibil temporar
Design and Programming of Reconfigurable Mesh Based Many-Cores
Paperback
Preț: 382.21 lei
Indisponibil temporar
9th Sound and Music Computing Conference
Paperback
Preț: 308.18 lei
Indisponibil temporar
Glyco-Bioinformatics
Hardback
Preț: 499.62 lei 616.82 lei
Indisponibil temporar
-19%
Automatic Model Driven Analytical Information Systems
Paperback
Preț: 411.02 lei
Indisponibil temporar
Bringing Zero-Knowledge Proofs of Knowledge to Practice
Paperback
Preț: 399.50 lei
Indisponibil temporar
Data Compression for Computational Fluid Dynamics on Irregular Grids
Paperback
Preț: 380.52 lei
Indisponibil temporar
Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems
Paperback
Preț: 380.94 lei
Indisponibil temporar
The Synergetic Approach Towards Analysing and Controlling the Collective Phenomena in Multi-Agent Systems
Paperback
Preț: 425.66 lei
Indisponibil temporar
Algebraic Multigrid for the Multi-Ion Transport and Reaction Model - A Physics-Aware Approach
Paperback
Preț: 453.14 lei 559.43 lei
Indisponibil temporar
-19%
Modal Logic
Paperback
Preț: 209.93 lei
Indisponibil temporar
Proof Theory
Paperback
Preț: 209.88 lei
Indisponibil temporar
Pretty Good Anonymity
Paperback
Preț: 470.85 lei
Indisponibil temporar
Integral Methods for Quadratic Programming
Paperback
Preț: 484.75 lei
Indisponibil temporar
Proceedings of the 5th International Beilstein Symposium on Experimental Standard Conditions of Enzyme Characterizations (Escec)
Hardback
Preț: 490.12 lei
Indisponibil temporar
Exact Algorithms for Constraint Satisfaction Problems
Paperback
Preț: 395.55 lei
Indisponibil temporar
Fault-Tolerant Control of Nondeterministic Input/Output Automata
Paperback
Preț: 474.40 lei
Indisponibil temporar
Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores
Paperback
Preț: 395.76 lei
Indisponibil temporar
Analysis of Real-World Security Protocols in a Universal Composability Framework
Paperback
Preț: 482.18 lei
Indisponibil temporar
Modular Ontologies for Spatial Information
Paperback
Preț: 425.91 lei
Indisponibil temporar
Toward Accessible Multilevel Modeling in Systems Biology
Paperback
Preț: 480.04 lei
Indisponibil temporar
Novel Haptic Cues for Uav Tele-Operation
Paperback
Preț: 475.63 lei 587.20 lei
Indisponibil temporar
-19%
Adapting Hardware Systems by Means of Multi-Objective Evolution
Paperback
Preț: 445.23 lei
Indisponibil temporar
Robust Situation Awareness in Tactical Mobile Ad Hoc Networks
Paperback
Preț: 448.48 lei
Indisponibil temporar
Modeling with Ambient B-Splines
Paperback
Preț: 460.09 lei
Indisponibil temporar
Electronic Microwave Imaging with Planar Multistatic Arrays
Paperback
Preț: 475.57 lei 587.12 lei
Indisponibil temporar
-19%
Model Based Signal Enhancement for Impulse Response Measurement
Paperback
Preț: 365.46 lei
Indisponibil temporar
A Fast Platform for Interactive E-Learning Systems
Paperback
Preț: 365.63 lei
Indisponibil temporar
Ambient Intelligence in Metropolitan Regions
Paperback
Preț: 423.81 lei
Indisponibil temporar
Optimization of the Communication System for Networked Control Systems
Paperback
Preț: 365.15 lei
Indisponibil temporar
Domain-Specific Development of Event Condition Action Policies
Paperback
Preț: 573.37 lei 707.87 lei
Indisponibil temporar
-19%
On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis
Paperback
Preț: 372.94 lei
Indisponibil temporar
Examination and Simulation of New Magnetic Materials for the Possible Application in Memory Cells
Paperback
Preț: 451.13 lei 556.95 lei
Indisponibil temporar
-19%
Uniting the Social Web and Topic Maps with Tele-Teaching to Provide User-Friendly Interaction Possibilities with E-Lectures
Paperback
Preț: 409.27 lei
Indisponibil temporar
Learning and Diversity in the Cities of the Future
Paperback
Preț: 464.85 lei
Indisponibil temporar
Data Compression and Compressed Sensing in Imaging Mass Spectrometry and Sporadic Communication
Paperback
Preț: 450.58 lei
Indisponibil temporar
Understanding and Manipulating Eye Height to Change the User's Experience of Perceived Space in Virtual Reality
Paperback
Preț: 441.19 lei
Indisponibil temporar
Low-Power Galileo/GPS Single-Shot Receiver Architecture for Mobile Terminals
Paperback
Preț: 426.22 lei
Indisponibil temporar
Process-Oriented Analysis and Validation of Multi-Agent-Based Simulations
Paperback
Preț: 458.16 lei 565.62 lei
Indisponibil temporar
-19%
Light-Weight Experience Collection in Distributed Software Engineering
Paperback
Preț: 465.49 lei
Indisponibil temporar
Behavioral and Neural Mechanisms Underlying Dynamic Face Perception
Paperback
Preț: 391.30 lei
Indisponibil temporar
Partitioned Convolution Algorithms for Real-Time Auralization
Paperback
Preț: 501.39 lei
Indisponibil temporar
Modern Aspects of Classical Automata Theory
Paperback
Preț: 431.89 lei
Indisponibil temporar
Discovering the Subtleties of Sugars
Hardback
Preț: 442.64 lei 546.47 lei
Indisponibil temporar
-19%
Test Signal Generation for Service Diagnosis Based on Local Structure Graphs
Paperback
Preț: 397.68 lei
Indisponibil temporar
Reconfigurable Architectures and Design Automation Tools for Application-Level Network Security
Paperback
Preț: 402.53 lei
Indisponibil temporar
An Investigation of Microrna Target Regulation Mechanisms Using an Integrative Approach
Paperback
Preț: 446.94 lei
Indisponibil temporar
Adaptive Wavelet Schwarz Methods for Nonlinear Elliptic Partial Differential Equations
Paperback
Preț: 481.45 lei
Indisponibil temporar
On- And Offline Scheduling of Bidirectional Traffic
Paperback
Preț: 505.39 lei
Indisponibil temporar
Modelling and Implementation of a Microscopic Traffic Simulation System
Paperback
Preț: 475.73 lei 587.33 lei
Indisponibil temporar
-19%
Influences of External Error Sources on Measurements of Room Acoustic Parameters
Paperback
Preț: 493.11 lei
Indisponibil temporar
Implant System for the Recording of Internal Muscle Activity to Control a Hand Prosthesis
Paperback
Preț: 474.65 lei
Indisponibil temporar
Management and Scheduling of Accelerators for Heterogeneous High-Performance Computing
Paperback
Preț: 516.48 lei
Indisponibil temporar
High Performance Propagation of Large Object Populations in Earth Orbits
Paperback
Preț: 417.56 lei 515.51 lei
Indisponibil temporar
-19%
Exact and Fast Algorithms for Mixed-Integer Nonlinear Programming
Paperback
Preț: 468