Computer Aided VerificationHelmut Veith, Natasha SharyginaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Bioinspired Heuristics for OptimizationAmir Nakib, El-Ghazali TalbiPocketEngelskDel av serien Studies in Computational IntelligenceLegg i handlekurvNettlager
Computer Aided VerificationRuzica Piskac, Zvonimir RakamaricPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Computer Aided VerificationAkash Lal, Constantin EneaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Computer Aided VerificationArie Gurfinkel, Vijay GaneshPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Computer Aided VerificationRuzica Piskac, Zvonimir RakamaricPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Computer Aided VerificationRuzica Piskac, Zvonimir RakamaricPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Computer Aided VerificationArie Gurfinkel, Vijay GaneshPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Artificial Intelligence Methods in Intelligent AlgorithmsRadek SilhavyPocketEngelskDel av serien Advances in Intelligent Systems and ComputingLegg i handlekurvNettlager
Cyber-Physical Systems: Intelligent Models and AlgorithmsAlexander A. Bolshakov, Maxim Shcherbakov og 1 annenPocketEngelskDel av serien Studies in Systems, Decision and ControlLegg i handlekurvNettlager