The Resource From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors
From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors
Resource Information
The item From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- 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
- Language
- eng
- Extent
- 1 online resource
- Contents
-
- Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multi-level Syllogistic
- Domenico Cantone
- Jack Schwartz and Robotics: The Roaring Eighties
- Micha Sharir
- Mathematics' Mortua Manus:Discovering Dexterity
- B. Mishra
- The Ref Proof-Checker and Its "Common Shared Scenario"
- Eugenio G. Omodeo
- Computational Approaches to RNAi and Gene Silencing
- Alessandro Laganà, Rosalba Giugno, Alfredo Pulvirenti and Alfredo Ferro
- From Linear Operators to Computational Biology: Essays in Honor of Jacob T. Schwartz
- The Last Ten Yards
- Michael Wigler
- Martin Davis and Edmond Schonberg
- Nature as Quantum Computer
- David Ritz Finkelstein
- Jack Schwartz Meets Karl Marx
- Martin Davis
- SETL and the Evolution of Programming
- Robert Dewar
- Isbn
- 9781447142829
- Label
- From linear operators to computational biology : essays in memory of Jacob T. Schwartz
- Title
- From linear operators to computational biology
- Title remainder
- essays in memory of Jacob T. Schwartz
- Statement of responsibility
- Martin Davis, Edmond Schonberg, editors
- Subject
-
- COMPUTERS -- Computer Literacy
- COMPUTERS -- Computer Science
- COMPUTERS -- Data Processing
- COMPUTERS -- Hardware | General
- COMPUTERS -- Information Technology
- COMPUTERS -- Machine Theory
- COMPUTERS -- Reference
- Computational Biology -- history
- Computational biology
- Computational biology
- Computational biology
- Computer science
- Computer science
- Computer science
- Computer science.
- Electronic books
- Electronic bookss
- Linear operators
- Linear operators
- Linear operators
- Logic, Symbolic and mathematical.
- Mathematical Logic and Foundations.
- Programming Languages, Compilers, Interpreters.
- Quantum Physics.
- Quantum theory.
- Robotics and Automation.
- Language
- eng
- Summary
- 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
- Cataloging source
- GW5XE
- Dewey number
- 004
- Illustrations
- portraits
- Index
- index present
- Language note
- English
- LC call number
- QA76
- LC item number
- .F76 2013
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- NLM call number
- QU 26.5
- http://library.link/vocab/relatedWorkOrContributorDate
- 1928-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Davis, Martin
- Schonberg, Edmond
- http://library.link/vocab/subjectName
-
- Computer science
- Linear operators
- Computational biology
- Computational Biology
- COMPUTERS
- COMPUTERS
- COMPUTERS
- COMPUTERS
- COMPUTERS
- COMPUTERS
- COMPUTERS
- Computational biology
- Computer science
- Linear operators
- Label
- From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multi-level Syllogistic
- Domenico Cantone
- Jack Schwartz and Robotics: The Roaring Eighties
- Micha Sharir
- Mathematics' Mortua Manus:Discovering Dexterity
- B. Mishra
- The Ref Proof-Checker and Its "Common Shared Scenario"
- Eugenio G. Omodeo
- Computational Approaches to RNAi and Gene Silencing
- Alessandro Laganà, Rosalba Giugno, Alfredo Pulvirenti and Alfredo Ferro
- From Linear Operators to Computational Biology: Essays in Honor of Jacob T. Schwartz
- The Last Ten Yards
- Michael Wigler
- Martin Davis and Edmond Schonberg
- Nature as Quantum Computer
- David Ritz Finkelstein
- Jack Schwartz Meets Karl Marx
- Martin Davis
- SETL and the Evolution of Programming
- Robert Dewar
- Control code
- 803401112
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- unknown
- Form of item
- online
- Isbn
- 9781447142829
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-1-4471-4282-9
- Other physical details
- portraits
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)803401112
- Label
- From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multi-level Syllogistic
- Domenico Cantone
- Jack Schwartz and Robotics: The Roaring Eighties
- Micha Sharir
- Mathematics' Mortua Manus:Discovering Dexterity
- B. Mishra
- The Ref Proof-Checker and Its "Common Shared Scenario"
- Eugenio G. Omodeo
- Computational Approaches to RNAi and Gene Silencing
- Alessandro Laganà, Rosalba Giugno, Alfredo Pulvirenti and Alfredo Ferro
- From Linear Operators to Computational Biology: Essays in Honor of Jacob T. Schwartz
- The Last Ten Yards
- Michael Wigler
- Martin Davis and Edmond Schonberg
- Nature as Quantum Computer
- David Ritz Finkelstein
- Jack Schwartz Meets Karl Marx
- Martin Davis
- SETL and the Evolution of Programming
- Robert Dewar
- Control code
- 803401112
- Dimensions
- unknown
- Extent
- 1 online resource
- File format
- unknown
- Form of item
- online
- Isbn
- 9781447142829
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-1-4471-4282-9
- Other physical details
- portraits
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)803401112
Subject
- COMPUTERS -- Computer Literacy
- COMPUTERS -- Computer Science
- COMPUTERS -- Data Processing
- COMPUTERS -- Hardware | General
- COMPUTERS -- Information Technology
- COMPUTERS -- Machine Theory
- COMPUTERS -- Reference
- Computational Biology -- history
- Computational biology
- Computational biology
- Computational biology
- Computer science
- Computer science
- Computer science
- Computer science.
- Electronic books
- Electronic bookss
- Linear operators
- Linear operators
- Linear operators
- Logic, Symbolic and mathematical.
- Mathematical Logic and Foundations.
- Programming Languages, Compilers, Interpreters.
- Quantum Physics.
- Quantum theory.
- Robotics and Automation.
Genre
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/From-linear-operators-to-computational-biology-/L8dBd3wQle0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/From-linear-operators-to-computational-biology-/L8dBd3wQle0/">From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/From-linear-operators-to-computational-biology-/L8dBd3wQle0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/From-linear-operators-to-computational-biology-/L8dBd3wQle0/">From linear operators to computational biology : essays in memory of Jacob T. Schwartz, Martin Davis, Edmond Schonberg, editors</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
