Julien Schmaltz – författare

Visar alla böcker från författaren Julien Schmaltz.

2 produkter

Kategorier

2 produkter

Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins - Logic Gates, Circuits, Processors, Compilers and Computers, Häftad

Logic Gates, Circuits, Processors, Compilers and Computers

AvJan Friso Groote,Rolf Morelm. fl.

Häftad, Engelska, 2021

539 kr

Skickas inom 10-15 vardagar

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

AvMarko Van Eekelen,Herman Geuversm. fl.

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar