Search alternatives:
"computer scientist" » "computer scientists", "computer sciences", "computer science"

1
by Baron, Michael
Published 2014
CRC Press

2
by Ayala-Rincón, Mauricio, de Moura, Flávio L. C.
Published 2017
Springer International Publishing
... in modern proof assistants, such as the PVS verification system, is essential for computer scientists...

3
by Schöning, Uwe
Published 2008
Birkhäuser Boston
... bias towards computer scientists…. Schöning decides to concentrate on computational issues, and gives...

4
by Oberguggenberger, Michael, Ostermann, Alexander
Published 2011
Springer London

5
by Oberguggenberger, Michael, Ostermann, Alexander
Published 2018
Springer International Publishing

6
by Wechler, Wolfgang
Published 1992
Springer Berlin Heidelberg
...A new model-theoretic approach to universal algebra is offered in this book. Written for computer...

7
by Closa, Daniel, Gardiner, Alex, Giemsa, Falk, Machek, Jörg
Published 2010
Springer Berlin Heidelberg

8
by Mazzola, Guerino, Milmeister, Gérard, Weissmann, Jody
Published 2006
Springer Berlin Heidelberg
...This two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained...

9
by Mazzola, Guerino, Milmeister, Gérard, Weissmann, Jody
Published 2005
Springer Berlin Heidelberg
...This second volume of a comprehensive tour through mathematical core subjects for computer...

10
by Doberkat, Ernst-Erich
Published 2015
Springer International Publishing

11
by McEliece, Robert J.
Published 1987
Springer US

12
by Downey, Allen, Mayfield, Chris
Published 2016
O'Reilly Media

13
by Brooks, Frederick P.
Published 2010
Addison-Wesley

14
by Lauwens, Ben, Downey, Allen
Published 2019
O'Reilly Media

15
by Paakki, Jukka
Published 2019
Springer International Publishing

16
by Rosenfeld, Laurent, Downey, Allen
Published 2017
O'Reilly Media

17
by Downey, Allen, Mayfield, Chris
Published 2019
O'Reilly Media

18
Published 2008
IEEE

19
by Cohen, William W.
Published 2007
Springer US
..., furnishing the computer scientist with the tools necessary to read and understand current literature...

20
by Schmidt, Gunther, Ströhlein, Thomas
Published 1993
Springer Berlin Heidelberg
... mathematics taught to computer scientists. This book is devoted to the background of these methods...