Risultato ricerca
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Inglese
01.01.2014
Tascabile
Fr. 43.90
Arten der Dialer-Software und Möglichkeiten des Schutzes vor unerwünschten Dialern
Tedesco
10.08.2009
Tascabile
Fr. 25.50
Optimierung von Administrationsprozessen in einem heterogenen Netzwerk mittels Active Directory
Tedesco
06.12.2010
Tascabile
Fr. 58.50
Geschäftsprozesssimulation mit der Software "Arena": Die Essensausgabe in der Mensa der Universität Karlsruhe
Tedesco
06.12.2010
Tascabile
Fr. 37.90