^^PAGEHEADLINE ^^
-
Theory and Applications of Satisfiability Testing - SAT 2006
Springer Verlag GmbH 26.07.2006 - 2006Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 9th International Conference on Theory and ...
-
Hardware and Software: Verification and Testing
Springer Verlag GmbH 19.07.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verifica...
-
Digitaltechnik - Eine praxisnahe Einführung
Springer Verlag GmbH 29.02.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenSpeziell für Bachelorstudenten entwickelten die Autoren diese Einführung mit vielen auf Anfänger ...
-
Computer Aided Verification
Springer Verlag GmbH 04.08.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 18.04.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis open access two-volume set constitutes the proceedings of the 26th International Conference ...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 18.04.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis open access two-volume set constitutes the proceedings of the 26th International Conference ...
- 1