.
"COMPUTERS--Machine Theory"@en .
.
"9781447142829" .
"1447142829" .
.
"Logic, Symbolic and mathematical." .
.
"COMPUTERS--Computer Literacy"@en .
.
"Schonberg" .
"Edmond" .
"Edmond Schonberg" .
.
"COMPUTERS--Reference"@en .
.
"New York" .
.
"Robotics and Automation." .
.
.
"COMPUTERS--Hardware--General"@en .
.
"enk" .
.
"9781447142812" .
"1447142810" .
.
"London" .
.
"Programming Languages, Compilers, Interpreters." .
.
"Computer science"@en .
.
"Quantum Physics." .
.
"Quantum theory." .
.
"Mathematical Logic and Foundations." .
.
.
.
.
.
.
.
.
.
.
"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."@en .
.
.
.
.
.
.
.
"2013" .
"803401112" .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
"en" .
.
.
.
.
.
.
.
.
.
.
.
.
"2013" .
"From linear operators to computational biology : essays in memory of Jacob T. Schwartz"@en .
"Electronic books"@en .
.
"Davis" .
"Martin" .
"Martin Davis" .
"1928" .