Encontrar un ejemplar en línea
Enlaces a este material
Encontrar un ejemplar en la biblioteca
Encontrando bibliotecas que tienen este material…
Detalles
| Género/Forma: | Electronic books |
|---|---|
| Tipo de material: | Documento, Recurso en Internet |
| Tipo de documento: | Recurso en Internet, Archivo de computadora |
| Todos autores / colaboradores: |
Martin Davis; Edmond Schonberg |
| ISBN: | 9781447142829 1447142829 |
| Número OCLC: | 803401112 |
| Descripción: | 1 online resource : ports. |
| Contenido: | From Linear Operators to Computational Biology: Essays in Honor of Jacob T. Schwartz / 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 -- 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 -- The Last Ten Yards / Michael Wigler. |
| Responsabilidad: | Martin Davis, Edmond Schonberg, editors. |
Resumen:
This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of Mathematical Sciences, on topics Schwartz explored: quantum theory, theory and practice of programming, robotics, motion planning and genomics.
Leer más
Reseñas
Reseñas contribuidas por usuarios
Agregar una reseña y compartir sus pensamientos con otros lectores.
Ser el primero.
Agregar una reseña y compartir sus pensamientos con otros lectores.
Ser el primero.
Etiquetas
Agregar etiquetas para "From linear operators to computational biology : essays in memory of Jacob T. Schwartz".
Ser el primero.
Materiales similares
Temas relacionados:(16)
- Computer science.
- Linear operators.
- Computational biology.
- COMPUTERS / Computer Literacy
- COMPUTERS / Computer Science
- COMPUTERS / Data Processing
- COMPUTERS / Hardware / General
- COMPUTERS / Information Technology
- COMPUTERS / Machine Theory
- COMPUTERS / Reference
- Logic, Symbolic and mathematical.
- Quantum theory.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Foundations.
- Quantum Physics.
- Robotics and Automation.
Listas de usuarios con este material (1)
- decision theory(500 material)
por r780820@hotmail.com Actualizado 2013-01-28
