Cookies help us deliver our services. By using our services, you agree to our use of cookies.

Cuvillier Verlag

Publications, Dissertations, Habilitations & Brochures.
International Specialist Publishing House for Science and Economy

Cuvillier Verlag

De En Es
Natural Sciences »

Informatics – Page 1/2

In total 304 publications, thereof 112 with Open Access


Quantification of Miniaturization in the Field of Computers and other Fields of Technology and a Measure of this
Quantification of Miniaturization in the Field of Computers and other Fields of Technology and a Measure of this
Werner Dirlewanger
Author
ISBN-13 (Hard Copy): 978-3-73699-538-3
ISBN-13 (eBook): 978-3-73698-538-4
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2017-05-29

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems
A System-Theoretic Safety Engineering Approach for Software-Intensive Systems
Asim Ali Ahmed Abdulkhaleq
Author
ISBN-13 (Hard Copy): 978-3-73699-492-8
ISBN-13 (eBook): 978-3-73698-492-9
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2017-02-23

Active Multispectral SWIR Imaging for Reliable Skin Detection and Face Verification
Active Multispectral SWIR Imaging for Reliable Skin Detection and Face Verification
Holger Steiner
Author
ISBN-13 (Hard Copy): 978-3-73699-450-8
ISBN-13 (eBook): 978-3-73698-450-9
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2017-01-10

Parallelization of Automotive Control Software
Parallelization of Automotive Control Software
Sebastian Kehr
Author
ISBN-13 (Hard Copy): 978-3-73699-431-7
ISBN-13 (eBook): 978-3-73698-431-8
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2016-12-20

Using Boundary Objects to Enable Cross-Border Collaboration in Software Development
Using Boundary Objects to Enable Cross-Border Collaboration in Software Development
Maike Winkler
Author
ISBN-13 (Hard Copy): 978-3-73699-320-4
ISBN-13 (eBook): 978-3-73698-320-5
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2016-07-28

Fahrzeugeigenlokalisierung innerhalb bekannter Indoor-Umgebungen mittels Seriensensorik
Fahrzeugeigenlokalisierung innerhalb bekannter Indoor-Umgebungen mittels Seriensensorik (Volume 112)
Stefan Stümper
Author
ISBN-13 (Hard Copy): 978-3-73699-170-5
ISBN-13 (eBook): 978-3-73698-170-6
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2016-01-13

Detailing Reviews and Ratings for Trust-Enhanced Composition
Detailing Reviews and Ratings for Trust-Enhanced Composition
Florian Volk
Author
ISBN-13 (Hard Copy): 978-3-73699-166-8
ISBN-13 (eBook): 978-3-73698-166-9
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2015-12-15

Information Content of Online Problems
Information Content of Online Problems
Jasmin Smula
Author
ISBN-13 (Hard Copy): 978-3-73699-073-9
ISBN-13 (eBook): 978-3-73698-073-0
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2015-08-11

Adoption, Value Co-Creation, and Governance of Inter-Organizational Information Technology in Wood Networks
Adoption, Value Co-Creation, and Governance of Inter-Organizational Information Technology in Wood Networks (Volume 77)
Simon Thanh-Nam Trang
Author
ISBN-13 (Hard Copy): 978-3-73699-031-9
ISBN-13 (eBook): 978-3-73698-031-0
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2015-06-22

Omnidirektionale 3D-Umfeldmodellierung für Park- und Rangierfunktionen mit Time-of-Flight-Kameras
Omnidirektionale 3D-Umfeldmodellierung für Park- und Rangierfunktionen mit Time-of-Flight-Kameras (Volume 108)
Yosef Dalbah
Author
ISBN-13 (Hard Copy): 978-3-73699-012-8
ISBN-13 (eBook): 978-3-73698-012-9
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2015-05-27

Modelling Web-based Learning Ecosystems for Aggregation and Reuse
Modelling Web-based Learning Ecosystems for Aggregation and Reuse
Kai Michael Höver
Author
ISBN-13 (Hard Copy): 978-3-95404-989-9
ISBN-13 (eBook): 978-3-73694-989-8
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2015-04-28

Framework für die Realisierung eines hybriden Gesamtsystems zur hardwareunabhängigen Entwicklung elektronischer Fahrzeugapplikationen
2015-04-14

Embedding Knowledge
Embedding Knowledge
Henning Hasemann
Author
ISBN-13 (Hard Copy): 978-3-95404-941-7
ISBN-13 (eBook): 978-3-73694-941-6
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2015-03-18

IT-Kooperationsplattform für speditionsübergreifende Direktverkehre von Lkw-Teilladungen
IT-Kooperationsplattform für speditionsübergreifende Direktverkehre von Lkw-Teilladungen
Christian Tummel
Author
ISBN-13 (Hard Copy): 978-3-95404-931-8
ISBN-13 (eBook): 978-3-73694-931-7
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2015-03-13

Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs
Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs
Stefan Kempf
Author
ISBN-13 (Hard Copy): 978-3-95404-840-3
ISBN-13 (eBook): 978-3-73694-840-2
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2014-11-03

Scalable Fault-Containing Self-Stabilization in Dynamic Networks
Scalable Fault-Containing Self-Stabilization in Dynamic Networks
Sven Köhler
Author
ISBN-13 (Hard Copy): 978-3-95404-782-6
ISBN-13 (eBook): 978-3-73694-782-5
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2014-09-01

Wohldefinierte Überdeckungsmetriken für den Glass-Box-Test
Wohldefinierte Überdeckungsmetriken für den Glass-Box-Test
Rainer Schmidberger
Author
ISBN-13 (Hard Copy): 978-3-95404-794-9
ISBN-13 (eBook): 978-3-73694-794-8
Price_print
EUR 0.00
Price_ebook
EUR 0.00
2014-08-29

Satisfiability and Model Checking in Team Based Logics
Satisfiability and Model Checking in Team Based Logics
Julian-Steffen Müller
Author
ISBN-13 (Hard Copy): 978-3-95404-759-8
ISBN-13 (eBook): 978-3-73694-759-7
Price_print
EUR 29.20 EUR 0.00
Price_ebook
EUR 0.00
2014-08-01

Methodologies and Protocols for Wireless Communication in Large-Scale, Dense Mesh Networks
Methodologies and Protocols for Wireless Communication in Large-Scale, Dense Mesh Networks
Stefan Unterschütz
Author
ISBN-13 (Hard Copy): 978-3-95404-707-9
ISBN-13 (eBook): 978-3-73694-707-8
Price_print
EUR 36.10 EUR 0.00
Price_ebook
EUR 0.00
2014-04-30


Forschung für die Wirtschaft 2013
Forschung für die Wirtschaft 2013
Georg Plate
Editor
ISBN-13 (Hard Copy): 978-3-95404-632-4
ISBN-13 (eBook): 978-3-73694-632-3
Price_print
EUR 68.90 EUR 0.00
Price_ebook
EUR 0.00
2014-02-11

Energy-efficient Urban Sensing
Energy-efficient Urban Sensing
Immanuel Schweizer
Author
ISBN-13 (Hard Copy): 978-3-95404-328-6
ISBN-13 (eBook): 978-3-73694-328-5
Price_print
EUR 30.55 EUR 0.00
Price_ebook
EUR 0.00
2013-01-18

Time- and Space-Efficient Self-Stabilizing Algorithms
Time- and Space-Efficient Self-Stabilizing Algorithms
Bernd Hauck
Author
ISBN-13 (Hard Copy): 978-3-95404-324-8
ISBN-13 (eBook): 978-3-73694-324-7
Price_print
EUR 29.70 EUR 0.00
Price_ebook
EUR 20.79
2013-01-08


Model-Based Testing of Automotive HMIs with Consideration for Product Variability
Model-Based Testing of Automotive HMIs with Consideration for Product Variability (Volume 63)
Linshu Duan
Author
ISBN-13 (Hard Copy): 978-3-95404-149-7
ISBN-13 (eBook): 978-3-73694-149-6
Price_print
EUR 30.60 EUR 0.00
Price_ebook
EUR 0.00
2012-07-20

Petri-Netz basierte Verifikation von funktionalen Testfällen
Petri-Netz basierte Verifikation von funktionalen Testfällen (Volume 57)
Sebastian Thiel
Author
ISBN-13 (Hard Copy): 978-3-95404-056-8
ISBN-13 (eBook): 978-3-73694-056-7
Price_print
EUR 40.35 EUR 0.00
Price_ebook
EUR 0.00
2012-05-21

Kopplung von Sensorinformationen und Geodaten zur modellbasierten Lokalisierung und Kartierung im Automobil
Kopplung von Sensorinformationen und Geodaten zur modellbasierten Lokalisierung und Kartierung im Automobil (Volume 51)
Kristin Schönherr
Author
ISBN-13 (Hard Copy): 978-3-95404-020-9
ISBN-13 (eBook): 978-3-73694-020-8
Price_print
EUR 37.65 EUR 0.00
Price_ebook
EUR 0.00
2012-02-27

Information Logistics in Agri-Food Supply Networks
Information Logistics in Agri-Food Supply Networks
Robert Reiche
Author
ISBN-13 (Hard Copy): 978-3-86955-919-3
ISBN-13 (eBook): 978-3-73693-919-6
Price_print
EUR 27.75 EUR 0.00
Price_ebook
EUR 0.00
2011-11-11

Algorithms for Mobile Agents with Limited Capabilities
Algorithms for Mobile Agents with Limited Capabilities
Christiane Schmidt
Author
ISBN-13 (Hard Copy): 978-3-86955-829-5
ISBN-13 (eBook): 978-3-73693-829-8
Price_print
EUR 25.80 EUR 0.00
Price_ebook
EUR 0.00
2011-07-27

Verbesserung der Dokumentation von Anforderungen auf Basis von Erfahrungen und Heuristiken
Verbesserung der Dokumentation von Anforderungen auf Basis von Erfahrungen und Heuristiken
Eric Knauss
Author
ISBN-13 (Hard Copy): 978-3-86955-593-5
ISBN-13 (eBook): 978-3-73693-593-8
Price_print
EUR 45.00 EUR 0.00
Price_ebook
EUR 0.00
2010-12-16

Graphbasierte Prozedurale Abstraktion
Graphbasierte Prozedurale Abstraktion
Alexander Dreweke
Author
ISBN-13 (Hard Copy): 978-3-86955-572-0
ISBN-13 (eBook): 978-3-73693-572-3
Price_print
EUR 36.00 EUR 0.00
Price_ebook
EUR 0.00
2010-11-25

Datenbank-gestützte Prozessautomatisierung bei Software-Tests
Datenbank-gestützte Prozessautomatisierung bei Software-Tests (Volume 33)
Vladimir Entin
Author
ISBN-13 (Hard Copy): 978-3-86955-354-2
ISBN-13 (eBook): 978-3-73693-354-5
Price_print
EUR 41.30 EUR 0.00
Price_ebook
EUR 0.00
2010-06-15

Performance Evaluation of Time-Critical Data Transmission in Automotive Communication Systems
Performance Evaluation of Time-Critical Data Transmission in Automotive Communication Systems (Volume 32)
Thomas Herpel
Author
ISBN-13 (Hard Copy): 978-3-86955-348-1
ISBN-13 (eBook): 978-3-73693-348-4
Price_print
EUR 29.20 EUR 0.00
Price_ebook
EUR 0.00
2010-06-03

Modellgestützte Untersuchung konkurrierender Zugriffe bei leitungsvermittelnden Kommunikationssystemen
Modellgestützte Untersuchung konkurrierender Zugriffe bei leitungsvermittelnden Kommunikationssystemen
Annette Merkel
Author
ISBN-13 (Hard Copy): 978-3-86955-255-2
ISBN-13 (eBook): 978-3-73693-255-5
Price_print
EUR 24.00 EUR 0.00
Price_ebook
EUR 0.00
2010-02-25

Finding Optimal Solutions for Covering and Matching Problems
Finding Optimal Solutions for Covering and Matching Problems
Hannes Moser
Author
ISBN-13 (Hard Copy): 978-3-86955-243-9
ISBN-13 (eBook): 978-3-73693-243-2
Price_print
EUR 29.00 EUR 0.00
Price_ebook
EUR 0.00
2010-01-25

Bauteil-Störfestigkeitsprüfverfahren für Kfz-Bussysteme
Bauteil-Störfestigkeitsprüfverfahren für Kfz-Bussysteme
Stefan Buntz
Author
ISBN-13 (Hard Copy): 978-3-86955-164-7
ISBN-13 (eBook): 978-3-73693-164-0
Price_print
EUR 24.00 EUR 0.00
Price_ebook
EUR 0.00
2009-12-03

Koordination in Food Supply Chains: Status quo und Potenziale IT-basierter Informationssysteme
Koordination in Food Supply Chains: Status quo und Potenziale IT-basierter Informationssysteme
Jan Bahlmann
Author
ISBN-13 (Hard Copy): 978-3-86955-141-8
ISBN-13 (eBook): 978-3-73693-141-1
Price_print
EUR 36.00 EUR 0.00
Price_ebook
EUR 0.00
2009-11-04

Verification of Semidefinite Optimization Problems with Application to Variational Electronic Structure Calculation
Verification of Semidefinite Optimization Problems with Application to Variational Electronic Structure Calculation
Denis Chaykin
Author
ISBN-13 (Hard Copy): 978-3-86955-066-4
ISBN-13 (eBook): 978-3-73693-066-7
Price_print
EUR 16.00 EUR 0.00
Price_ebook
EUR 0.00
2009-07-31

Funktionale Langzeitarchivierung digitaler Objekte
Funktionale Langzeitarchivierung digitaler Objekte
Dirk von Suchodoletz
Author
ISBN-13 (Hard Copy): 978-3-86727-979-6
ISBN-13 (eBook): 978-3-73692-979-1
Price_print
EUR 40.00 EUR 0.00
Price_ebook
EUR 0.00
2009-06-03

Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie (Volume 13)
Markus Pister
Author
ISBN-13 (Hard Copy): 978-3-86727-926-0
ISBN-13 (eBook): 978-3-73692-926-5
Price_print
EUR 36.00 EUR 0.00
Price_ebook
EUR 0.00
2009-04-02

Iterative Design Space Exploration and Robustness Optimization for Embedded Systems
Iterative Design Space Exploration and Robustness Optimization for Embedded Systems
Arne Hamann
Author
ISBN-13 (Hard Copy): 978-3-86727-819-5
ISBN-13 (eBook): 978-3-73692-819-0
Price_print
EUR 32.00 EUR 0.00
Price_ebook
EUR 0.00
2008-12-11

Semantische Modellierung und Reasoning für Kontextinformationen in Infrastrukturnetzen
Semantische Modellierung und Reasoning für Kontextinformationen in Infrastrukturnetzen
Florian Fuchs
Author
ISBN-13 (Hard Copy): 978-3-86727-798-3
ISBN-13 (eBook): 978-3-73692-798-8
Price_print
EUR 36.00 EUR 0.00
Price_ebook
EUR 0.00
2008-11-17

GaInN/GaN LEDs auf semipolaren Seitenfacetten mittels selektiver Epitaxie hergestellter GaN-Streifen
GaInN/GaN LEDs auf semipolaren Seitenfacetten mittels selektiver Epitaxie hergestellter GaN-Streifen
Barbara Neubert
Author
ISBN-13 (Hard Copy): 978-3-86727-764-8
ISBN-13 (eBook): 978-3-73692-764-3
Price_print
EUR 23.00 EUR 0.00
Price_ebook
EUR 0.00
2008-10-07

Robust and Low-Communication Geographic Routing for Wireless Ad Hoc Networks
Robust and Low-Communication Geographic Routing for Wireless Ad Hoc Networks
Matthias Witt
Author
ISBN-13 (Hard Copy): 978-3-86727-733-4
ISBN-13 (eBook): 978-3-73692-733-9
Price_print
EUR 19.00 EUR 0.00
Price_ebook
EUR 0.00
2008-09-09

Molecular Beam Epitaxy Growth and Characerization of ZnO-based layers and Heterostructures
Molecular Beam Epitaxy Growth and Characerization of ZnO-based layers and Heterostructures
Abdelhamid Abdelrehim Mahmoud Elshaer
Author
ISBN-13 (Hard Copy): 978-3-86727-701-3
ISBN-13 (eBook): 978-3-73692-701-8
Price_print
EUR 23.00 EUR 0.00
Price_ebook
EUR 0.00
2008-08-21

Spektrale Charakterisierung von Farbbildsensoren zur anwendungsspezifischen Kameraparametrierung
Spektrale Charakterisierung von Farbbildsensoren zur anwendungsspezifischen Kameraparametrierung
Carsten Büttner
Author
ISBN-13 (Hard Copy): 978-3-86727-550-7
ISBN-13 (eBook): 978-3-73692-550-2
Price_print
EUR 19.00 EUR 0.00
Price_ebook
EUR 0.00
2008-03-20

Bringing Iterative Design to Ubiquitous Computing: Interaction Techniques, Toolkits, and Evaluation Methods
Bringing Iterative Design to Ubiquitous Computing: Interaction Techniques, Toolkits, and Evaluation Methods
Rafael Ballagas
Author
ISBN-13 (Hard Copy): 978-3-86727-531-6
ISBN-13 (eBook): 978-3-73692-531-1
Price_print
EUR 32.00 EUR 0.00
Price_ebook
EUR 0.00
2008-03-06

The Complexity of Hybrid Logics over Restricted Frame Classes
The Complexity of Hybrid Logics over Restricted Frame Classes
Thomas Schneider
Author
ISBN-13 (Hard Copy): 978-3-86727-298-8
ISBN-13 (eBook): 978-3-73692-298-3
Price_print
EUR 19.00 EUR 0.00
Price_ebook
EUR 0.00
2007-07-19

Instruction and Data Cache Timing Analysis in Fixed-Priority Preemptive Real-Time Systems
Instruction and Data Cache Timing Analysis in Fixed-Priority Preemptive Real-Time Systems
Jan Staschulat
Author
ISBN-13 (Hard Copy): 978-3-86727-195-0
ISBN-13 (eBook): 978-3-73692-195-5
Price_print
EUR 28.00 EUR 0.00
Price_ebook
EUR 0.00
2007-03-20

Algebraic Techniques for Satisfiability Problems
Algebraic Techniques for Satisfiability Problems
Henning Schnoor
Author
ISBN-13 (Hard Copy): 978-3-86727-176-9
ISBN-13 (eBook): 978-3-73692-176-4
Price_print
EUR 19.00 EUR 0.00
Price_ebook
EUR 0.00
2007-03-05

▲ nach oben springen