BÜCHER SCHNELL UND PORTOFREI MIT DHL
Computer Science Foundations and Applied Logic
19 Treffer
Ankündigung
Stoelinga / Ruijters / Krcál
Models, Methods and Algorithms
Fachbuch2025SpringerISBN 978-3-031-78286-2
neu
Kagan / Rybalov / Yager
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-74761-8
neu
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-44736-5
Ankündigung
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Fachbuch2., Second Edition 20252025Birkhäuser Verlag GmbHISBN 978-3-031-85351-7
neu
A Compendium on the Core Model, Analysis, and Synthesis
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-48280-9
neu
An Introduction with Moggi and Yoneda
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-68537-8
Ankündigung
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2025SpringerISBN 978-3-031-85189-6
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
Fachbuch2024SpringerISBN 978-3-031-55607-4
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-26906-6
neu
eBook
Kagan / Rybalov / Yager
eBook (PDF mit Wasserzeichen)2025Springer International PublishingISBN 978-3-031-74762-5
A Compendium on the Core Model, Analysis, and Synthesis
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-48277-9
neu
eBook
An Introduction with Moggi and Yoneda
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-68538-5
Fachbuch2023Birkhäuser Verlag GmbHISBN 978-3-031-26903-5
Ubar / Raik / Jenihhin
Theory and Applications
Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-44733-4
Kosmatov / Prevosto / Signoles
Core Components, Usages, and Applications
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-55608-1
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-26904-2
A Compendium on the Core Model, Analysis, and Synthesis
eBook (PDF mit Wasserzeichen)2024Springer International PublishingISBN 978-3-031-48278-6
Ubar / Raik / Jenihhin
Theory and Applications
eBook (PDF mit Wasserzeichen)2024Springer Nature SwitzerlandISBN 978-3-031-44734-1
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
eBook (PDF mit Wasserzeichen)2023Springer International PublishingISBN 978-3-031-21112-6
Rezensionen
