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