passa ai contenuti
From linear operators to computational biology : essays in memory of Jacob T. Schwartz Anteprima di questo documento
ChiudiAnteprima di questo documento

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

Autore: Martin Davis; Edmond Schonberg
Pubblicazione: London ; New York : Springer, ©2013.
Edizione/Formato:   eBook : Document : EnglishVedi tutte le edizioni e i formati
Sommario:
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  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/formato: Electronic books
Informazioni aggiuntive sul formato: Print version:
From linear operators to computational biology.
London ; New York : Springer, ©2013
(DLC) 2012944721
Tipo materiale: Document, Risorsa internet
Tipo documento Risorsa Internet, Computer file
Tutti gli autori / Collaboratori: Martin Davis; Edmond Schonberg
ISBN: 9781447142829 1447142829 1447142810 9781447142812
Numero OCLC: 803401112
Nota sulla lingua: English.
Descrizione: 1 online resource : portraits
Contenuti: 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.
Responsabilità: Martin Davis, Edmond Schonberg, editors.

Sinossi:

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  Per saperne di più…

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Linked data


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/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#Thing/robotics_and_automation> ; # Robotics and Automation.
    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:isSimilarTo <http://worldcat.org/entity/work/data/1147413899#CreativeWork/from_linear_operators_to_computational_biology> ;
    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 <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-1-4471-4282-9> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=994255> ;
    schema:url <http://link.springer.com/10.1007/978-1-4471-4282-9> ;
    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://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-1-4471-4282-9> ;
    schema:url <https://login.libproxy.uregina.ca:8443/login?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/quantum_theory> # Quantum theory.
    a schema:Thing ;
    schema:name "Quantum theory." ;
    .

<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://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://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/entity/work/data/1147413899#CreativeWork/from_linear_operators_to_computational_biology>
    a schema:CreativeWork ;
    rdfs:label "From linear operators to computational biology." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/803401112> ; # From linear operators to computational biology : essays in memory of Jacob T. Schwartz
    .

<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 "2018-05-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://login.libproxy.uregina.ca:8443/login?url=https://link.springer.com/openurl?genre=book&isbn=978-1-4471-4281-2>
    rdfs:comment "Full text available from SpringerLINK eBooks - English/International Collection (2013)" ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.