1st edition
Paperback (08 Apr 1992) | German
Save $7.67
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.
| ISBN: | 9783540553007 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 08 Apr 1992 |
| Edition: | 1st edition |
| Language: | German |
| Number of pages: | 259 |
| Weight: | 465g |
| Height: | 242mm |
| Width: | 170mm |
| Spine width: | 14mm |
Machine Learning
Hardback
Published 24 Aug 2012
$20.55off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $20.55
$25.62off
Hands-On Generative AI With Tra...
Paperback
Published 10 Dec 2024
Save $25.62
$21.47off
Effective Machine Learning Teams
Paperback
Published 15 Mar 2024
Save $21.47
$5.93off
Foundations of Cryptography
Paperback
Published 18 Jan 2007
Save $5.93
$36.60off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $36.60
$4.41off
Linear Algebra for Data Science...
Hardback
Published 16 May 2024
Save $4.41
$11.36off
Graph Algorithms for Data Science
Paperback
Published 06 Feb 2024
Save $11.36
$32.12off
Logical Foundations of Cyber-Ph...
Hardback
Published 11 Aug 2018
Save $32.12
$79.24off
Beyond Planar Graphs
Hardback
Published 01 Oct 2020
Save $79.24