Gerd Küveler's Documents

Gerd Küveler's Documents

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
Read more
Positive Definite Kernels Continuous Tensor Products and Central Limit Theorems of Probability Theory

Positive Definite Kernels Continuous Tensor Products and Central Limit Theorems of Probability Theory
Read more
84 (Aspects of mathematics)

84 (Aspects of mathematics)
Read more
MIPs and Their Roles in the Exchange of Metalloids (Advances in Experimental Medicine and Biology, 679)

MIPs and Their Roles in the Exchange of Metalloids (Advances in Experimental Medicine and Biology, 679)
Read more
Smart Sensing and Context: 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)

Smart Sensing and Context: 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
Read more
Landschaften beobachten, nutzen und schützen

Landschaften beobachten, nutzen und schützen
Read more
Old-growth forests: function, fate, and value

Old-growth forests: function, fate, and value
Read more
Thermodynamik für Ingenieure: Ein Lehr- und Arbeitsbuch für das Studium, 8. Auflage

Thermodynamik für Ingenieure: Ein Lehr- und Arbeitsbuch für das Studium, 8. Auflage
Read more
Formal Concept Analysis

Formal Concept Analysis
Read more
Common Semantics for Sharing Knowledge: Contributions to ICCS 2005: 13th International Conference on Conecptual Structures, ICCS 2005 Kassel, Germany, July 2005

Common Semantics for Sharing Knowledge: Contributions to ICCS 2005: 13th International Conference on Conecptual Structures, ICCS 2005 Kassel, Germany, July 2005
Read more
Smart Sensing and Context

Smart Sensing and Context
Read more
Textbuch zur neutestamentlichen Zeitgeschichte

Textbuch zur neutestamentlichen Zeitgeschichte
Read more
Der Jakobusbrief. Beiträge zur Rehabilitierung der ''strohernen Epistel''

Der Jakobusbrief. Beiträge zur Rehabilitierung der ''strohernen Epistel''
Read more
Public Investment and Public-Private Partnerships: Addressing Infrastructure Challenges and Managing Fiscal Risks

Public Investment and Public-Private Partnerships: Addressing Infrastructure Challenges and Managing Fiscal Risks
Read more
The RFID Roadmap: The Next Steps for Europe

The RFID Roadmap: The Next Steps for Europe
Read more
Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings ... Programming and Software Engineering)

Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings ... Programming and Software Engineering)
Read more
Die letzte Rune 01. Das Ruinentor

Die letzte Rune 01. Das Ruinentor
Read more
Textbuch zur neutestamentlichen Zeitgeschichte (Grundrisse zum Neuen Testament 8)

Textbuch zur neutestamentlichen Zeitgeschichte (Grundrisse zum Neuen Testament 8)
Read more
Rational points

Rational points
Read more
The RFID Roadmap: The Next Steps for Europe

The RFID Roadmap: The Next Steps for Europe
Read more
Hydrocarbon Resins

Hydrocarbon Resins
Read more
3D QSAR in Drug Design: Ligand-Protein Interactions and Molecular Similarity

3D QSAR in Drug Design: Ligand-Protein Interactions and Molecular Similarity
Read more
Das neue Kurzarbeitergeld - Saison- und Transfer-Kurzarbeitergeld (2006)

Das neue Kurzarbeitergeld - Saison- und Transfer-Kurzarbeitergeld (2006)
Read more
Modeling Biology: Structures, Behaviors, Evolution (Vienna Series in Theoretical Biology)

Modeling Biology: Structures, Behaviors, Evolution (Vienna Series in Theoretical Biology)
Read more
Was ist was?, Bd.41: Fische

Was ist was?, Bd.41: Fische
Read more
CFN Lectures on Functional Nanostructures - Volume 2: Nanoelectronics (Lecture Notes in Physics 820)

CFN Lectures on Functional Nanostructures - Volume 2: Nanoelectronics (Lecture Notes in Physics 820)
Read more
Narr (Thriller)

Narr (Thriller)
Read more
Multiprocessor Systems on Chip: Design Space Exploration

Multiprocessor Systems on Chip: Design Space Exploration
Read more
Heuristics: The Foundations of Adaptive Behavior

Heuristics: The Foundations of Adaptive Behavior
Read more
Old-Growth Forests: Function, Fate and Value (Ecological Studies)

Old-Growth Forests: Function, Fate and Value (Ecological Studies)
Read more