omitir hasta el contenido
From linear operators to computational biology : essays in memory of Jacob T. Schwartz Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

From linear operators to computational biology : essays in memory of Jacob T. Schwartz

Autor: Martin Davis; Edmond Schonberg
Editorial: London ; New York : Springer, ©2013.
Edición/Formato:   Libro-e : Documento : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Resumen:
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  Leer más
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Género/Forma: Electronic books
Tipo de material: Documento, Recurso en Internet
Tipo de documento Recurso internet, Archivo de computadora
Todos autores / colaboradores: Martin Davis; Edmond Schonberg
ISBN: 9781447142829 1447142829 1447142810 9781447142812
Número OCLC: 803401112
Nota del idioma: English.
Descripción: 1 online resource : portraits
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  Leer más

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


Primary Entity

<http://www.worldcat.org/oclc/803401112> # From linear operators to computational biology : essays in memory of Jacob T. Schwartz
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "803401112" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Thing/quantum_physics> ; # Quantum Physics.
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Thing/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical.
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_reference> ; # COMPUTERS--Reference
   schema:about <http://id.worldcat.org/fast/999087> ; # Linear operators
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Thing/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations.
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
   schema:about <http://id.worldcat.org/fast/871990> ; # Computational biology
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computational_biology_history> ; # Computational Biology--history
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
   schema:about <http://dewey.info/class/004/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Thing/quantum_theory> ; # Quantum theory.
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/algorithmics> ; # Algorithmics
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/logic_symbolic> ; # Logic, Symbolic
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Thing/robotics_and_automation> ; # Robotics and Automation.
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/engineering_&_applied_sciences> ; # Engineering & Applied Sciences
   schema:about <http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/85381152> ; # Martin Davis
   schema:contributor <http://viaf.org/viaf/58783367> ; # Edmond Schonberg
   schema:copyrightYear "2013" ;
   schema:datePublished "2013" ;
   schema:description "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 ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1147413899> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:name "From linear operators to computational biology : essays in memory of Jacob T. Schwartz"@en ;
   schema:productID "803401112" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/803401112#PublicationEvent/london_new_york_springer_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1147413899#Agent/springer> ; # Springer
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=994255> ;
   schema:url <http://site.ebrary.com/id/10589466> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4281-2> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4471-4281-2> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4471-4282-9> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=534832> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4471-4282-9> ;
   schema:workExample <http://worldcat.org/isbn/9781447142812> ;
   schema:workExample <http://worldcat.org/isbn/9781447142829> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/803401112> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Thing/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical.
    a schema:Thing ;
   schema:name "Logic, Symbolic and mathematical." ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Thing/mathematical_logic_and_foundations> # Mathematical Logic and Foundations.
    a schema:Thing ;
   schema:name "Mathematical Logic and Foundations." ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
   schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Thing/quantum_physics> # Quantum Physics.
    a schema:Thing ;
   schema:name "Quantum Physics." ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Thing/robotics_and_automation> # Robotics and Automation.
    a schema:Thing ;
   schema:name "Robotics and Automation." ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computational_biology_history> # Computational Biology--history
    a schema:Intangible ;
   schema:name "Computational Biology--history"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
   schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
   schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
   schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
   schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
   schema:name "COMPUTERS--Reference"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1147413899#Topic/engineering_&_applied_sciences> # Engineering & Applied Sciences
    a schema:Intangible ;
   schema:name "Engineering & Applied Sciences"@en ;
    .

<http://id.worldcat.org/fast/871990> # Computational biology
    a schema:Intangible ;
   schema:name "Computational biology"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/999087> # Linear operators
    a schema:Intangible ;
   schema:name "Linear operators"@en ;
    .

<http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4281-2>
   rdfs:comment "Springer eBooks (Computer Science 2013)" ;
    .

<http://viaf.org/viaf/58783367> # Edmond Schonberg
    a schema:Person ;
   schema:familyName "Schonberg" ;
   schema:givenName "Edmond" ;
   schema:name "Edmond Schonberg" ;
    .

<http://viaf.org/viaf/85381152> # Martin Davis
    a schema:Person ;
   schema:birthDate "1928" ;
   schema:familyName "Davis" ;
   schema:givenName "Martin" ;
   schema:name "Martin Davis" ;
    .

<http://worldcat.org/isbn/9781447142812>
    a schema:ProductModel ;
   schema:isbn "1447142810" ;
   schema:isbn "9781447142812" ;
    .

<http://worldcat.org/isbn/9781447142829>
    a schema:ProductModel ;
   schema:isbn "1447142829" ;
   schema:isbn "9781447142829" ;
    .

<http://www.worldcat.org/title/-/oclc/803401112>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/803401112> ; # From linear operators to computational biology : essays in memory of Jacob T. Schwartz
   schema:dateModified "2017-07-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.