Search alternatives:
"computer scientists" » "computer sciences"

3
by Hartmann, Peter
Published 2023
Springer Fachmedien Wiesbaden
... in the Department of Computer Science. The focus of his teaching is on mathematics for computer scientists...

4
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...

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

6
by Althoff, Cory
Published 2022
Wiley
.... In The Self-Taught Computer Scientist: The Beginner's Guide to Computer Science, expert programmer and author...

7
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...

8
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...

9
by Paakki, Jukka
Published 2019
Springer International Publishing

13
Published 1989
Springer Berlin Heidelberg
... Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November 14-18...

14
Published 1990
Springer Berlin Heidelberg
... communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists...

16
by Cohoon, J. McGrath
Published 2006
MIT Press
Subjects: ...Women computer scientists...

17
by Song, Logan
Published 2023
Packt Publishing Ltd.
Subjects: ...computer scientists / aat...

18
by Tedre, Matti
Published 2015
CRC Press
Table of Contents: ...Part 1. Introduction -- part 2. Computer scientists and mathematicians -- part 3. The fall and rise...

19
Published 2016
Springer International Publishing
Table of Contents: ... on types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer...

20
Published 1992
Cambridge University Press
.... Hence this book will be essential to mathematicians and computer scientists working in the applications...