Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Anmelden
Registrieren
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Fokusthemen
Thema
Recht studieren
Arbeitsrecht
Studium
Familienrecht
Sozialversicherungsrecht
Strafrecht
Publikationen
Literatur
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Geschäftskunden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Sortiment und Funktionen
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Newsletteraktion:
Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025
10% Rabatt
auf Ihre Onlinebestellungen.
Infos und Anmeldung.
Download Cover
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Von:
Morgan, Carroll
Buch (gebunden)
ca. 109.00 CHF
erscheint im Januar
In den Warenkorb
Bibliografische Angaben
Januar 2026
,
Englisch
Cambridge Academic
978-1-009-42099-0
Schlagworte
Bibliografische Angaben
Januar 2026
,
Englisch
Cambridge Academic
978-1-009-42099-0
Schlagworte
Weitere Titel zum Thema
World Politics
A Critical Introduction to International Relations
Goetze, Catherine
Sage Publications
,
2026
978-1-5296-2563-9
ca. 199.00 CHF
erscheint im Februar
Synthetic Media, Deepfakes, and Cyber Deception
Attacks, Analysis, and Defenses
Malin Cameron H.
|
Canham, Matthew
|
Kennedy, Kirk
Elsevier
,
2026
978-0-443-23887-1
ca. 159.00 CHF
erscheint im Mai
Advanced Techniques for Modifying Metaheuristics
Methods and Applications
Razmjooy, Navid
Elsevier
,
2026
978-0-443-32972-2
ca. 235.00 CHF
erscheint im Januar
Demystifying Probability and Statistics for Data Scientists with R
Rajan S., Dheva
|
Raj Chelliah, Pethuru
|
P., Selvagopal
Taylor and Francis
,
2026
978-1-03-272955-8
ca. 196.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Automation of Logic
Weidenbach Christoph
Taylor and Francis
,
2026
978-1-4398-7535-3
ca. 116.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Short-Form Creative Writing
A Writer's Guide and Anthology
Hummel, H. K.
|
Lenox Stephanie
Bloomsbury
,
2026
978-1-350-45929-8
ca. 125.00 CHF
erscheint im März
Modern Business Ethics
Corbin, Thomas
Sage Publications
,
2026
978-1-5296-7251-0
ca. 199.00 CHF
erscheint im März
Deep Learning Crash Course
Volpe Giovanni
|
Midtvedt, Benjamin
|
Pineda, Jesus
Random House N.Y.
,
2026
978-1-7185-0392-2
ca. 89.00 CHF
erscheint im Januar
Studies in Greek Literature: Volume 2, Early Greek Literature, Reception, ...
Easterling P. E.
Cambridge Academic
,
2026
978-1-009-50118-7
ca. 205.00 CHF
erscheint im Februar
Writing for Young People
Critical Readings and Discussions on Craft
Caldecott Elen
Bloomsbury
,
2026
978-1-350-41311-5
ca. 39.90 CHF
erscheint im Februar
The Debugging Handbook
Kuhlmann, Johannes
Turnaround
,
2026
978-1-7185-0406-6
ca. 75.00 CHF
erscheint im Januar
World Politics
A Critical Introduction to International Relations
Goetze, Catherine
Sage Publications
,
2026
978-1-5296-2562-2
ca. 65.00 CHF
erscheint im Februar