Beispielbild für diese ISBNAdvances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Ko…
Verlag: Springer
2023 Kartoniert, 244 Seiten, 235mm x 155mm x 14mm, 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 al…
194,85 EUR
Beispielbild für diese ISBNTheoretical and Experimental DNA Computation
von Martyn Amos Verlag: Springer
2010 Kartoniert, 188 Seiten, 235mm x 155mm x 11mm, Sprache(n): eng A detailed survey of the entire field of DNA computation Describes recent theoretical and experimental developments Outlines the challenges faced by researchers in the field Suggests possible future directions
121,78 EUR
Beispielbild für diese ISBNAlgorithmic Aspects in Information and Management - 14th International Conference, AAIM 2020, Jinh…
Verlag: Springer
2020 Kartoniert, 652 Seiten, 235mm x 155mm x 35mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNTheories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His…
Verlag: Springer
2023 Kartoniert, 428 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng Honorary volume dedicated to Jifeng He on the occasion of his 80th birthdayContributions by leading researchers in the domainPapers detail a range of important scientific successes
85,24 EUR
Beispielbild für diese ISBNTheoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, C…
Verlag: Springer
2025 Kartoniert, 416 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
91,34 EUR
Beispielbild für diese ISBNA Basis for Theoretical Computer Science
von M. A. Arbib, A. J. Kfoury, R. N. Moll Verlag: Springer
2011 Kartoniert, 232 Seiten, 244mm x 156mm x 13mm, Sprache(n): eng
59,91 EUR
Beispielbild für diese ISBNQuantifiers and Cognition: Logical and Computational Perspectives
von Jakub Szymanik Verlag: Springer
2018 Kartoniert, 228 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Combines in a novel way logic, natural language semantics, philosophy of mind and language with theoretical computer science and cognitive science Provides experimental evidence linking computational complexity with cognitive d…
60,88 EUR
Beispielbild für diese ISBNComputability of Julia Sets
von Mark Braverman, Michael Yampolsky Verlag: Springer
2010 Kartoniert, 168 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng The first book describing in detail some spectacular results on computation and complex dynamical systems. Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNProgramming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove
von Marco T. Morazán Verlag: Springer
2023 Gebunden, 548 Seiten, 241mm x 160mm x 35mm, Sprache(n): eng
71,89 EUR
Beispielbild für diese ISBNProgramming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove
von Marco T. Morazán Verlag: Springer
2024 Kartoniert, 548 Seiten, 235mm x 155mm x 30mm, Sprache(n): eng
