Beispielbild für diese ISBNComplexity and Real Computation
von Lenore Blum, Felipe Cucker, Michael Shub, Steve Smale Verlag: Springer
2012 Kartoniert, 472 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is tha…
Beispielbild für diese ISBNLogic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstad…
Verlag: Springer
2013 Kartoniert, 296 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Fast track conference proceedings of WoLLIC 2013State-of-the-art researchUp-to-date results
Beispielbild für diese ISBNAutomata Networks - LITP Spring School on Theoretical Computer Science, Argeles-Village, France, M…
Verlag: Springer
1988 Kartoniert, 140 Seiten, 235mm x 155mm x 8mm, Sprache(n): eng
Beispielbild für diese ISBNThe Making of a New Science - A Personal Journey Through the Early Years of Theoretical Computer S…
von Giorgio Ausiello Verlag: Springer
2018 Kartoniert, 304 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng A story about people, pioneers with diverse backgrounds and characters who established a new field Fascinating insight into the field as it existed and evolved Valuable reading for anyone interested in the history of computing
Beispielbild für diese ISBNQuantifiers: Logics, Models and Computation - Volume One: Surveys
Verlag: Springer
2010 Kartoniert, 436 Seiten, 229mm x 152mm x 24mm, Sprache(n): eng
Beispielbild für diese ISBNQuantifiers: Logics, Models and Computation - Volume One: Surveys
Verlag: Springer
1995 Gebunden, 436 Seiten, 235mm x 157mm x 28mm, Sprache(n): eng Title is also available as part of a set: Quantifiers: Logics, Models and Computation (978-0-7923-3450-7)
Beispielbild für diese ISBNCryptography and Computational Number Theory
Verlag: Birkhäuser
2012 Kartoniert, 392 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng
Beispielbild für diese ISBNRecursively Enumerable Sets and Degrees - A Study of Computable Functions and Computably Generated…
von Robert I. Soare Verlag: Springer
2014 Kartoniert, 460 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng Standard reference
Beispielbild für diese ISBNTheoretical Computer Science - 3rd GI Conference Darmstadt, March 28-30, 1977
Verlag: Springer
1977 Kartoniert, 432 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng
Beispielbild für diese ISBNAdvances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Ko…
Verlag: Springer
2022 Gebunden, 244 Seiten, 241mm x 160mm x 18mm, Sprache(n): eng Brings together papers based on the Symposium on Advances in Mathematical Logic 2018, held in memory of Gaisi TakeutiIlluminates the legacy of one of the greatest logicians of the 20th centuryPresents new trends of research in all…
- Stichwörter
- theoreticalcomputerscience
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!









