Complete Book & Media Supply, LLC.

Search by Specific Product Lines

Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs
Herdt, Vladimir

Paperback

Out of Stock

In Cart!
Syndevs Co-Design Flow: A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
Molter, H. Gregor

Paperback

Out of Stock

In Cart!
Programming SmallTalk - Object-Orientation from the Beginning: An Introduction to the Principles of Programming
Brauer, Johannes

Paperback

Out of Stock

In Cart!
Information Flow Based Security Control Beyond Rbac: How to Enable Fine-Grained Security Policy Enforcement in Business Processes Beyond Limitations o
Fischer-Hellmann, Klaus-Peter

Paperback

Out of Stock

In Cart!
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Br

Paperback

Out of Stock

In Cart!
Weather Hazard Warning Application in Car-To-X Communication: Concepts, Implementations, and Evaluations
Jaeger, Attila

Paperback

Out of Stock

In Cart!
Machine Learning for Cyber Physical Systems: Selected Papers from the International Conference Ml4cps 2015

Paperback

Out of Stock

In Cart!
Compressive Sensing for the Photonic Mixer Device: Fundamentals, Methods and Results
Heredia Conde, Miguel

Paperback

Out of Stock

In Cart!
Deformable Meshes for Medical Image Segmentation: Accurate Automatic Segmentation of Anatomical Structures
Kainmueller, Dagmar

Paperback

Out of Stock

In Cart!
Trustworthy Reconfigurable Systems: Enhancing the Security Capabilities of Reconfigurable Hardware Architectures
Feller, Thomas

Paperback

Out of Stock

In Cart!
Variation Based Dense 3D Reconstruction: Application on Monocular Mini-Laparoscopic Sequences
Painer, Sven

Paperback

Out of Stock

In Cart!
Model-Integrating Software Components: Engineering Flexible Software Systems
Derakhshanmanesh, Mahdi

Paperback

Out of Stock

In Cart!
The Value of Social Media for Predicting Stock Returns: Preconditions, Instruments and Performance Analysis
Nofer, Michael

Paperback

Out of Stock

In Cart!
Services in Wireless Sensor Networks: Modelling and Optimisation for the Efficient Discovery of Services
Becker, Markus

Paperback

Out of Stock

In Cart!
Bridging the Gap Between Requirements Engineering and Software Architecture: A Problem-Oriented and Quality-Driven Method
Alebrahim, Azadeh

Paperback

Out of Stock

In Cart!
Holoscopy
Hillmann, Dierck

Paperback

Out of Stock

In Cart!
Design Concepts for a Virtualizable Embedded Mpsoc Architecture: Enabling Virtualization in Embedded Multi-Processor Systems
Biedermann, Alexander

Paperback

Out of Stock

In Cart!
My Cognitive Automobile Life: Digital Divorce from a Cognitive Personal Assistant
Perun, Stephen

Hardcover

Out of Stock

In Cart!
Analyzing Time Interval Data: Introducing an Information System for Time Interval Data Analysis
Meisen, Philipp

Hardcover

Out of Stock

In Cart!
Multilevel Business Processes: Modeling and Data Analysis
G. Schuetz, Christoph

Paperback

Out of Stock

In Cart!