Programming Languages, Compilers, Interpreters.
COMPUTERS--Hardware--General
Davis
Martin
Martin Davis
1928
Springer
Mathematical Logic and Foundations.
9781447142829
1447142829
Quantum Physics.
Logic, Symbolic and mathematical.
2016-06-17
Schonberg
Edmond
Edmond Schonberg
COMPUTERS--Information Technology
enk
Robotics and Automation.
COMPUTERS--Reference
COMPUTERS--Computer Science
New York
Linear operators
Quantum theory.
Computer science
803401112
In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics.
2013
803401112
en
2013
From linear operators to computational biology : essays in memory of Jacob T. Schwartz
Electronic books
London
Computational Biology--history
COMPUTERS--Data Processing
COMPUTERS--Computer Literacy
COMPUTERS--Machine Theory
Computational biology