HardbackModel-Driven TestingPaul Baker, Zhen Ru Dai, Jens Grabowski, Ina Schieferdecker, Clay Williams$171.98 In stock
PaperbackElements of Hypermedia Design: Techniques for Navigation & Visualization in CyberspacePeter Gloor$160 In stock
HardbackVerification of Sequential and Concurrent ProgramsKrzysztof R. Apt, Ernst-Rudiger Olderog, Frank S. de Boer$294.99 In stock
HardbackFormal Specification Techniques for Engineering Modular C ProgramsTan Yang Meng$417.99 In stock
HardbackDesign and Modeling for Computer ExperimentsKai-Tai Fang, Runze Li, Agus Sudjianto$314 In stock
PaperbackSystems and Software VerificationB. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, M. Bidoit$380.98 In stock
HardbackUnix-Netzwerkprogrammierung Mit Threads, Sockets Und SSLMarkus Zahn (Univ. of Florida University of Florida University of Florida University of Florida University of Florida University of Florida)$63.99 In stock
HardbackEmotional Cognitive Neural Algorithms with Engineering ApplicationsLeonid Perlovsky, Ross Deming, Roman Ilin$406.99 In stock
PaperbackGame Development Tool EssentialsPaula Berinstein, Remi Arnaud, Alessandro Ardolino, Simon Franco, Adrien Herubel, John McCutchan, Nicusor Nedelcu, Benjamin Nitschke, Don Olmstead, Fabrice Robinet$149 In stock