A Framework for Automated Hw/SW Co-Verification of Systemc Designs Using Timed Automata
Paperback
Preț: 478.58 lei
Indisponibil temporar
Virtual Separation of Concerns
Paperback
Preț: 419.94 lei
Indisponibil temporar
Logical Foundations of Database Transformations for Complex-Value Databases
Paperback
Preț: 400.46 lei
Indisponibil temporar
Boolean Grobner Bases -- Theory, Algorithms and Applications
Paperback
Preț: 376.14 lei
Indisponibil temporar
Probabilistic Modeling for Segmentation in Magnetic Resonance Images of the Human Brain
Paperback
Preț: 423.77 lei
Indisponibil temporar
Building and Evaluating Domain Ontologies
Paperback
Preț: 495.05 lei
Indisponibil temporar
Optimization Problems in Self-Organizing Networks
Paperback
Preț: 429.00 lei
Indisponibil temporar
Modeling Petri Net-Based Multi-Agent Applications
Paperback
Preț: 418.01 lei 516.05 lei
Indisponibil temporar
-19%
Towards a Secure and User Friendly Authentication Method for Public Wireless Networks
Paperback
Preț: 405.07 lei
Indisponibil temporar
Activity Monitoring and Automatic Alarm Generation in Aal-Enabled Homes
Paperback
Preț: 411.44 lei
Indisponibil temporar
Self-Calibration of Multi-Camera Systems
Paperback
Preț: 406.53 lei
Indisponibil temporar
Refined Probabilistic Abstraction
Paperback
Preț: 391.50 lei
Indisponibil temporar
Fast and Accurate Finite-Element Multigrid Solvers for Pde Simulations on Gpu Clusters
Paperback
Preț: 429.80 lei
Indisponibil temporar
Reusing Ocl in the Definition of Imperative Languages
Paperback
Preț: 412.40 lei
Indisponibil temporar
The Sonification Handbook
Paperback
Preț: 551.66 lei 716.45 lei
Indisponibil temporar
-23%
Shape-Centered Representations
Paperback
Preț: 461.44 lei 569.68 lei
Indisponibil temporar
-19%
Computational Biology of Micrornas and Sirnas
Paperback
Preț: 445.66 lei
Indisponibil temporar
Decoherence and Time-Resolved Readout in Superconducting Quantum Circuits (Dekoharenz Und Zeitaufgelosste Quantenmessung in Supraleitenden Schaltkreis
Paperback
Preț: 376.03 lei
Indisponibil temporar
Explorations in Sonic Interaction Design
Paperback
Preț: 365.83 lei
Indisponibil temporar
Self-Localization, Mapping and Coverage with Resource-Limited Mobile Robots
Paperback
Preț: 376.24 lei
Indisponibil temporar
Clone Evolution
Paperback
Preț: 406.82 lei
Indisponibil temporar
Exploratory Model Comparison
Paperback
Preț: 511.98 lei 632.08 lei
Indisponibil temporar
-19%
Bridging Technological Spaces
Paperback
Preț: 428.68 lei
Indisponibil temporar
An Integrated Formal Task Specification Method for Smart Environments
Paperback
Preț: 434.76 lei 536.75 lei
Indisponibil temporar
-19%
Walking with the Senses
Paperback
Preț: 426.64 lei
Indisponibil temporar
Physically Based Real-Time Auralization of Interactive Virtual Environments
Paperback
Preț: 462.55 lei 571.04 lei
Indisponibil temporar
-19%
Logic and Computations
Paperback
Preț: 211.74 lei
Indisponibil temporar
Optimal Control of Switched Systems with Application to Networked Embedded Control Systems
Paperback
Preț: 391.55 lei
Indisponibil temporar
Applications and Projects in Business Informatics
Paperback
Preț: 384.10 lei
Indisponibil temporar
Design and Programming of Reconfigurable Mesh Based Many-Cores
Paperback
Preț: 385.52 lei
Indisponibil temporar
9th Sound and Music Computing Conference
Paperback
Preț: 310.82 lei
Indisponibil temporar
Glyco-Bioinformatics
Hardback
Preț: 503.94 lei 622.15 lei
Indisponibil temporar
-19%
Automatic Model Driven Analytical Information Systems
Paperback
Preț: 414.56 lei
Indisponibil temporar
Bringing Zero-Knowledge Proofs of Knowledge to Practice
Paperback
Preț: 402.95 lei
Indisponibil temporar
Data Compression for Computational Fluid Dynamics on Irregular Grids
Paperback
Preț: 383.81 lei
Indisponibil temporar
Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems
Paperback
Preț: 384.22 lei
Indisponibil temporar
The Synergetic Approach Towards Analysing and Controlling the Collective Phenomena in Multi-Agent Systems
Paperback
Preț: 429.35 lei
Indisponibil temporar
Algebraic Multigrid for the Multi-Ion Transport and Reaction Model - A Physics-Aware Approach
Paperback
Preț: 457.05 lei 564.26 lei
Indisponibil temporar
-19%
Modal Logic
Paperback
Preț: 211.74 lei
Indisponibil temporar
Proof Theory
Paperback
Preț: 211.70 lei
Indisponibil temporar
Pretty Good Anonymity
Paperback
Preț: 474.92 lei
Indisponibil temporar
Integral Methods for Quadratic Programming
Paperback
Preț: 488.93 lei
Indisponibil temporar
Proceedings of the 5th International Beilstein Symposium on Experimental Standard Conditions of Enzyme Characterizations (Escec)
Hardback
Preț: 494.34 lei
Indisponibil temporar
Exact Algorithms for Constraint Satisfaction Problems
Paperback
Preț: 398.96 lei
Indisponibil temporar
Fault-Tolerant Control of Nondeterministic Input/Output Automata
Paperback
Preț: 478.49 lei
Indisponibil temporar
Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores
Paperback
Preț: 399.17 lei
Indisponibil temporar
Analysis of Real-World Security Protocols in a Universal Composability Framework
Paperback
Preț: 486.34 lei
Indisponibil temporar
Modular Ontologies for Spatial Information
Paperback
Preț: 429.59 lei
Indisponibil temporar
Toward Accessible Multilevel Modeling in Systems Biology
Paperback
Preț: 484.18 lei
Indisponibil temporar
Novel Haptic Cues for Uav Tele-Operation
Paperback
Preț: 479.75 lei 592.27 lei
Indisponibil temporar
-19%
Adapting Hardware Systems by Means of Multi-Objective Evolution
Paperback
Preț: 449.07 lei
Indisponibil temporar
Robust Situation Awareness in Tactical Mobile Ad Hoc Networks
Paperback
Preț: 452.35 lei
Indisponibil temporar
Modeling with Ambient B-Splines
Paperback
Preț: 464.06 lei
Indisponibil temporar
Electronic Microwave Imaging with Planar Multistatic Arrays
Paperback
Preț: 479.67 lei 592.19 lei
Indisponibil temporar
-19%
Model Based Signal Enhancement for Impulse Response Measurement
Paperback
Preț: 368.62 lei
Indisponibil temporar
A Fast Platform for Interactive E-Learning Systems
Paperback
Preț: 368.79 lei
Indisponibil temporar
Ambient Intelligence in Metropolitan Regions
Paperback
Preț: 427.48 lei
Indisponibil temporar
Optimization of the Communication System for Networked Control Systems
Paperback
Preț: 368.29 lei
Indisponibil temporar
Domain-Specific Development of Event Condition Action Policies
Paperback
Preț: 578.35 lei 714.01 lei
Indisponibil temporar
-19%
On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis
Paperback
Preț: 376.14 lei
Indisponibil temporar
Examination and Simulation of New Magnetic Materials for the Possible Application in Memory Cells
Paperback
Preț: 455.03 lei 561.76 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ț: 412.81 lei
Indisponibil temporar
Learning and Diversity in the Cities of the Future
Paperback
Preț: 468.85 lei
Indisponibil temporar
Data Compression and Compressed Sensing in Imaging Mass Spectrometry and Sporadic Communication
Paperback
Preț: 454.47 lei
Indisponibil temporar
Understanding and Manipulating Eye Height to Change the User's Experience of Perceived Space in Virtual Reality
Paperback
Preț: 445.00 lei
Indisponibil temporar
Low-Power Galileo/GPS Single-Shot Receiver Architecture for Mobile Terminals
Paperback
Preț: 429.88 lei
Indisponibil temporar
Process-Oriented Analysis and Validation of Multi-Agent-Based Simulations
Paperback
Preț: 462.11 lei 570.50 lei
Indisponibil temporar
-19%
Light-Weight Experience Collection in Distributed Software Engineering
Paperback
Preț: 469.50 lei
Indisponibil temporar
Behavioral and Neural Mechanisms Underlying Dynamic Face Perception
Paperback
Preț: 394.68 lei
Indisponibil temporar
Partitioned Convolution Algorithms for Real-Time Auralization
Paperback
Preț: 505.72 lei
Indisponibil temporar
Modern Aspects of Classical Automata Theory
Paperback
Preț: 435.62 lei
Indisponibil temporar
Discovering the Subtleties of Sugars
Hardback
Preț: 446.46 lei 551.19 lei
Indisponibil temporar
-19%
Test Signal Generation for Service Diagnosis Based on Local Structure Graphs
Paperback
Preț: 401.12 lei
Indisponibil temporar
Reconfigurable Architectures and Design Automation Tools for Application-Level Network Security
Paperback
Preț: 405.98 lei
Indisponibil temporar
An Investigation of Microrna Target Regulation Mechanisms Using an Integrative Approach
Paperback
Preț: 450.80 lei
Indisponibil temporar
Adaptive Wavelet Schwarz Methods for Nonlinear Elliptic Partial Differential Equations
Paperback
Preț: 485.59 lei
Indisponibil temporar
On- And Offline Scheduling of Bidirectional Traffic
Paperback
Preț: 509.74 lei
Indisponibil temporar
Modelling and Implementation of a Microscopic Traffic Simulation System
Paperback
Preț: 479.84 lei 592.40 lei
Indisponibil temporar
-19%
Influences of External Error Sources on Measurements of Room Acoustic Parameters
Paperback
Preț: 497.36 lei
Indisponibil temporar
Implant System for the Recording of Internal Muscle Activity to Control a Hand Prosthesis
Paperback
Preț: 478.74 lei
Indisponibil temporar
Management and Scheduling of Accelerators for Heterogeneous High-Performance Computing
Paperback
Preț: 520.94 lei
Indisponibil temporar
High Performance Propagation of Large Object Populations in Earth Orbits
Paperback
Preț: 421.17 lei 519.96 lei
Indisponibil temporar
-19%
Exact and Fast Algorithms for Mixed-Integer Nonlinear Programming
Paperback
Preț: 472