Verification, model checking, and abstract interpretationE. Allen Emerson€ 15,49Auf Lager 2 Stk.In den Warenkorb
New trends in parallel & distributed computingFriedhelm Meyer auf der Heide€ 6,49Letztes ExemplarIn den Warenkorb
Formal methods and stochastic models for performance evaluationAndrás Horváth€ 5,49Letztes ExemplarIn den Warenkorb
Software-Entwicklung mit Microsoft Visual Studio Team SystemSam Guckenheimer€ 2,45Letztes ExemplarIn den Warenkorb
Grundlegende Aspekte der Informationsverarbeitung in natürlichen und künstlichen SystemenRalf Sommer€ 2,75Letztes ExemplarIn den Warenkorb
Die Begründer der Hamburgischen Wissenschaftlichen StiftungJohannes Gerhardt€ 0,79Letztes ExemplarIn den Warenkorb
Softwareentwicklung für AVR-MikrocontrollerManfred Schwabl Schmidt€ 3,15Letztes ExemplarIn den Warenkorb
Database and expert systems applicationsRoland Wagner-Döbler€ 13,29Letztes ExemplarOriginalverpacktIn den Warenkorb
Formal methods and stochastic models for performance evaluationKatinka Wolter€ 10,32Letztes ExemplarIn den Warenkorb