Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 48,42
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 63,50
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 160 pages. 9.25x6.10x0.50 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319465589 ISBN 13: 9783319465586
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,45
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 140 pages. 9.25x6.10x0.32 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319893653 ISBN 13: 9783319893655
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 90,42
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 600 pages. 9.25x6.10x1.85 inches. In Stock.
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 331912465X ISBN 13: 9783319124650
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
Taschenbuch. Zustand: Neu. Foundational and Practical Aspects of Resource Analysis | Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers | Ugo Dal Lago (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2014 | Springer | EAN 9783319124650 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319893653 ISBN 13: 9783319893655
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2016
ISBN 10: 3319465589 ISBN 13: 9783319465586
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
Taschenbuch. Zustand: Neu. Foundational and Practical Aspects of Resource Analysis | 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers | Marko van Eekelen (u. a.) | Taschenbuch | ix | Englisch | 2016 | Springer | EAN 9783319465586 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings | Christel Baier (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2018 | Springer | EAN 9783319893655 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 600 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.