This book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...
Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. ...
This book constitutes the refereed proceedings of the 9th International Conference on Theory and ...
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verifica...
This open access two-volume set constitutes the proceedings of the 26th International Conference ...
This open access two-volume set constitutes the proceedings of the 26th International Conference ...
Speziell für Bachelor-Studenten entwickelt, enthält das Lehrbuch viele praktische Anwendungen, di...
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verifica...
This book constitutes the refereed proceedings of the 9th International Conference on Theory a...
This book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...
This open access two-volume set constitutes the proceedings of the 26th International Conference ...
This open access two-volume set constitutes the proceedings of the 26th International Conference ...