Beispielbild für diese ISBNAutomated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Even…
Verlag: Springer
2021 Kartoniert, 664 Seiten, 235mm x 155mm x 36mm, Sprache(n): eng This book is open access, which means that you have free and unlimited access.
48,71 EUR
Beispielbild für diese ISBNCall-By-Push-Value - A Functional/Imperative Synthesis
von P. B. Levy Verlag: Springer Netherlands
2012 Kartoniert, 396 Seiten, 240mm x 160mm x 22mm, Sprache(n): eng
146,13 EUR
Beispielbild für diese ISBNComputer Vision - ECCV 2020 - 16th European Conference, Glasgow, UK, August 23-28, 2020, Proceedin…
Verlag: Springer
2020 Kartoniert, 868 Seiten, 235mm x 155mm x 47mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNAnalysis, Estimations, and Applications of Embedded Systems - 6th IFIP TC 10 International Embedde…
Verlag: Springer
2024 Kartoniert, 204 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng
103,51 EUR
Beispielbild für diese ISBNProgramming Methodology
Verlag: Springer
2010 Kartoniert, 488 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng *A state-of-the-art survey and tutorial for key new topics in programming methodology written by leading international computer scientists and programmers *Essential guide to modern software theory and practice for programmers, d…
131,81 EUR
Beispielbild für diese ISBNICDT'86 - International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedi…
Verlag: Springer
1986 Kartoniert, 456 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNHCI and Usability for Medicine and Health Care - Third Symposium of the Workgroup Human-Computer I…
Verlag: Springer
2007 Kartoniert, 476 Seiten, 235mm x 155mm x 26mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNComputational Logic in Multi-Agent Systems - 9th International Workshop, CLIMA IX, Dresden, German…
Verlag: Springer
2009 Kartoniert, 184 Seiten, 235mm x 155mm x 11mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNBusiness Process Technology - A Unified View on Business Processes, Workflows and Enterprise Appli…
von Dirk Draheim Verlag: Springer
2014 Kartoniert, 324 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng The author reveals that currently emerging integrated platforms for specifying and controlling processes are the enabling technology of the future to use this potential in enterprises. The book arguments with results from establ…
59,91 EUR
Beispielbild für diese ISBNSmart Card Research and Advanced Applications - 15th International Conference, CARDIS 2016, Cannes…
Verlag: Springer
2017 Kartoniert, 280 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
