Ergebnisse filtern
- Fachgebiet
- Medium
-
- 338
- Erscheinungsjahr
-
- 36
- 76
- 33
- 22
- 25
- 16
- 24
- 18
- 17
- 16
- 19
- 4
- 5
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 17
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 6
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 7
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 7
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- Verlag
-
- 34
- 22
- 176
- 11
- 94
- 1
- Preis
-
- 1
- 21
- 279
- 37
- Sprachen
-
- 338
- Verfügbarkeit
-
- 338
- Katalog
-
- 338
- 4
-
Anselmo / Pauly / Della Vedova Beyond the Horizon of Computability
16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29¿July 3, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-51465-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
De Mol / Fernández-Duque / Weiermann Connecting with Computability
17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5¿9, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-80048-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrig / Thatcher / Floyd Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)1985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15198-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sun / Li Frontiers of Algorithmic Wisdom
International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15¿19, 2022, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-20795-2Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Böckenhauer / Unger / Komm Adventures Between Lower Bounds and Higher Altitudes
Essays Dedicated to Juraj Hromkovi¿ on the Occasion of His 60th Birthday1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-98354-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Atmanspacher / Pothos / Filk Quantum Interaction
9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-28674-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kiefer / Kucera / Kretínský Taming the Infinities of Concurrency
Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-56221-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Norrish / Gonthier Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03544-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
von Hanxleden / Angelini Graph Drawing and Network Visualization
30th International Symposium, GD 2022, Tokyo, Japan, September 13¿16, 2022, Revised Selected Papers1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-22202-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57184-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van der Hoek / Wang / Holliday Logic, Rationality, and Interaction
5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48560-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Browne / Schaeffer / Kishimoto Computers and Games
International Conference, CG 2022, Virtual Event, November 22¿24, 2022, Revised Selected Papers1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-34016-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Aceto / Bacci / Mardare Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-63120-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nardini / Venturini / Pisanti String Processing and Information Retrieval
30th International Symposium, SPIRE 2023, Pisa, Italy, September 26¿28, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43979-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Caragiannis / Nikolova / Mirrokni Web and Internet Economics
15th International Conference, WINE 2019, New York, NY, USA, December 10¿12, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-35388-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Segal / Erlebach Algorithmics of Wireless Networks
18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8¿9, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-22049-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Turhan / Governatori Rules and Reasoning
6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26¿28, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-21540-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lai / Wang / Castiglione Algorithms and Architectures for Parallel Processing
21st International Conference, ICA3PP 2021, Virtual Event, December 3¿5, 2021, Proceedings, Part II1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-95387-4Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nguyen / Hoang / Trawinski Intelligent Information and Database Systems
10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-75419-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov / A.P. Ershov Institute of Informatics Systems Perspectives of System Informatics
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-662-46822-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pagourtzis / Bampis Fundamentals of Computation Theory
23rd International Symposium, FCT 2021, Athens, Greece, September 12¿15, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-86592-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jansen / Fernau Fundamentals of Computation Theory
24th International Symposium, FCT 2023, Trier, Germany, September 18¿21, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43586-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boissonnat / Cohen / Gibaru Curves and Surfaces
8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Garg / Kong / Klimm Web and Internet Economics
19th International Conference, WINE 2023, Shanghai, China, December 4¿8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-48973-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dragoi / Wang / Emmi Verification, Model Checking, and Abstract Interpretation
24th International Conference, VMCAI 2023, Boston, MA, USA, January 16¿17, 2023, Proceedings2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-24949-5Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort