Author books / Книги автора Klaus Schneider Ute Wollschläger and Kurt Roth » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Klaus Schneider Ute Wollschläger and Kurt Roth

book FP-Experiment: Water and solute transport in porous media

FP-Experiment: Water and solute transport in porous media

pdf

Author: Klaus Schneider Ute Wollschläger and Kurt Roth
Language: English
Year: 2008

00

29.01.2024

0

0

book Einrichtungsübergreifende elektronische Patientenakten: Zwischen Datenschutz und Gesundheitsschutz

Einrichtungsübergreifende elektronische Patientenakten: Zwischen Datenschutz und Gesundheitsschutz

pdf

Author: Uwe Klaus Schneider (auth.)
Language: German
Year: 2016

00

27.01.2024

0

0

book Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms

djvu

Author: Klaus Schneider
Language: English
Year: 2004

00

27.01.2024

0

0

book Curiosity and Exploration

Curiosity and Exploration

pdf

Author: Heidi Keller Klaus Schneider Bruce Henderson (auth.) Prof. Dr. Heidi Keller Prof. Dr. Klaus Schneider Prof. Dr. Bruce Henderson (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms

pdf

Author: Klaus Schneider
Language: English
Year: 2004

00

27.01.2024

2

0

book Embedded Systems Specification and Design Languages: Selected contributions from FDL’07

Embedded Systems Specification and Design Languages: Selected contributions from FDL’07

pdf

Author: Jens Brandt Klaus Schneider (auth.) Prof. Eugenio Villar (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

pdf

Author: Thomas Tuerk Klaus Schneider Mike Gordon (auth.) Eyal Bin Avi Ziv Shmuel Ur (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

pdf

Author: Thomas Tuerk Klaus Schneider Mike Gordon (auth.) Eyal Bin Avi Ziv Shmuel Ur (eds.)
Language: English
Year: 2007

00

27.01.2024

1

0

book Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

pdf

Author: Constance L. Heitmeyer (auth.) Klaus Schneider Jens Brandt (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0