Liknande böcker

Vorlesungen uber Informatik : Band 1: Grundlagen und funktionales Progra...
Bok av Gerhard Goos
Software-Produkt-Management : Nachhaltiger Erfolgsfaktor Bei Herstellern...
Bok av Hans-Bernd Kittlaus
Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar
Datatype-Generic Programming : International Spring School, SSDGP 2006,...
Bok av Roland. Backhouse
Verification, model checking, and abstract interpretation : third intern...
Bok av Agostino Cortesi
Formal Methods and Software Engineering (vol. # 4260) : 8th Internationa...
Bok av Zhiming. Liu
Declarative Agent Languages and Technologies IV : 4th International Work...
Bok av Matteo. Baldoni
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Collo...
Bok

C++

Bok av Martin Hitz