Author: Dieter Hutter
Author's info and books
Information about author Dieter Hutter from several data sources.
AI-generated bio of "Dieter Hutter":
Authors Results
Source: The Open Library
Authors called "Dieter Hutter"
Search results for authors called Dieter Hutter from The Open Library
Dieter Hutter
Basic Info:
- Name: Dieter Hutter
- Last Name: Hutter
Dieter Hutter,Werner Stephan
Basic Info:
- Name: Dieter Hutter,Werner Stephan
- Last Name: Stephan
Books Results
Source: The Open Library
Dieter Hutter Books
Books writen by author Dieter Hutter from The Open Library
1Ecumenical ventures in ethics
By Reinhard Hütter and Theodor Dieter
“Ecumenical ventures in ethics” Metadata:
- Title: Ecumenical ventures in ethics
- Authors: Reinhard HütterTheodor Dieter
- Language: English
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Ecumenical ventures in ethics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Mustergesteuerte Strategien für das Beweisen von Gleichungen
By Dieter Hutter
“Mustergesteuerte Strategien für das Beweisen von Gleichungen” Metadata:
- Title: ➤ Mustergesteuerte Strategien für das Beweisen von Gleichungen
- Author: Dieter Hutter
- Language: ger
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mustergesteuerte Strategien für das Beweisen von Gleichungen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Mechanizing Mathematical Reasoning
By Dieter Hutter,Werner Stephan
“Mechanizing Mathematical Reasoning” Metadata:
- Title: ➤ Mechanizing Mathematical Reasoning
- Author: Dieter Hutter,Werner Stephan
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mechanizing Mathematical Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Applied formal methods--FM-Trends 98
By Dieter Hutter and Gerhard Goos
“Applied formal methods--FM-Trends 98” Metadata:
- Title: ➤ Applied formal methods--FM-Trends 98
- Authors: Dieter HutterGerhard Goos
- Language: English
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Applied formal methods--FM-Trends 98 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Rippling
By Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland
“Rippling” Metadata:
- Title: Rippling
- Authors: Alan BundyDavid BasinDieter HutterAndrew Ireland
- Language: English
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rippling at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Security in pervasive computing
By Dieter Hutter, Günter Müller and Werner Stephan
“Security in pervasive computing” Metadata:
- Title: ➤ Security in pervasive computing
- Authors: Dieter HutterGünter MüllerWerner Stephan
- Language: English
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Security in pervasive computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Mechanizing mathematical reasoning
By Jörg H. Siekmann, Dieter Hutter and Werner Stephan
“Mechanizing mathematical reasoning” Metadata:
- Title: ➤ Mechanizing mathematical reasoning
- Authors: Jörg H. SiekmannDieter HutterWerner Stephan
- Language: English
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mechanizing mathematical reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Mechanizing mathematical reasoning
By Jörg H. Siekmann, Dieter Hutter and Werner Stephan
“Mechanizing mathematical reasoning” Metadata:
- Title: ➤ Mechanizing mathematical reasoning
- Authors: Jörg H. SiekmannDieter HutterWerner Stephan
- Language: English
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Mechanizing mathematical reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
By Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland
“Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56” Metadata:
- Title: ➤ Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
- Authors: Alan BundyDavid BasinDieter HutterAndrew Ireland
- Language: English
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
By Kilian Bizer, Dieter Ewringmann, Eckhard Bergmann, Fabian Dosch, Klaus Einig, Gerard Hutter, J. Ochtrop, K. Meyenschein and T. Möller
“Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung” Metadata:
- Title: ➤ Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
- Authors: ➤ Kilian BizerDieter EwringmannEckhard BergmannFabian DoschKlaus EinigGerard HutterJ. OchtropK. MeyenscheinT. Möller
- Language: ger
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.