Search Results for Kroening, Daniel. - Narrowed by: Kroening, Daniel. author.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dKroening$00252C$002bDaniel.$0026qf$003dAUTHOR$002509Author$002509Kroening$00252C$002bDaniel.$002bauthor.$002509Kroening$00252C$002bDaniel.$002bauthor.$0026ic$003dtrue$0026ps$003d300?
2024-09-14T07:44:23Z
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2024-09-14T07:44:23Z
2024-09-14T07:44:23Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitaltechnik — Eine praxisnahe Einführung
ent://SD_ILS/0/SD_ILS:187960
2024-09-14T07:44:23Z
2024-09-14T07:44:23Z
Author Biere, Armin. author. Kroening, Daniel. author. Weissenbacher, Georg. author. Wintersteiger, Christoph M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77729-8">http://dx.doi.org/10.1007/978-3-540-77729-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>