Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Eike Best, Raymond Devillers - Petri Net Primer
Eike Best, Raymond Devillers Petri Net Primer Englisch, Deutsch 01.01.2024 Fester Einband Fr. 109.00 4-7 Arbeitstage
William M Farmer, William M. Farmer - Simple Type Theory
William M Farmer, William M. Farmer Simple Type Theory Englisch 02.01.2023 Fester Einband Fr. 115.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
William M. Farmer - Simple Type Theory
William M. Farmer Simple Type Theory Englisch 03.01.2024 Taschenbuch Fr. 83.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Maksim Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar - Structural Decision Diagrams in Digital Test
Maksim Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar Structural Decision Diagrams in Digital Test Englisch 30.01.2024 Fester Einband Fr. 260.00 3-5 Wochen (Titel wird speziell besorgt)
Kenneth J Supowit, Kenneth J. Supowit - Algorithms for Constructing Computably Enumerable Sets
Kenneth J Supowit, Kenneth J. Supowit Algorithms for Constructing Computably Enumerable Sets Englisch 03.07.2023 Fester Einband Fr. 83.00 3-5 Wochen (Titel wird speziell besorgt)
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles Guide to Software Verification with Frama-C Englisch, Deutsch Fester Einband Fr. 88.70 Erscheint am 01.08.2024