Search
Lexile Level
AR Level
AR Level
Digitaltechnik - Eine Praxisnahe Einführung (2008) 9783540777281 by
Biere, Armin -
Springer,
-2008
Dewey: 621.395
N/A
Computer Aided Verification 9781013270987 by
Weissenbacher, Georg -
Saint Philip Street Press,
-2020
N/A
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 14-1 9783319961415 by
Chockler, Hana -
Springer,
-2018
Dewey: 005.1015113
N/A
Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 14-1 9783319961446 by
Chockler, Hana -
Springer,
-2018
Dewey: 005.1015113
N/A
Computer Aided Verification 9781013270994 by
Weissenbacher, Georg -
Saint Philip Street Press,
-2020
N/A