From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
London [u.a.]
Springer
2013
|
Schlagworte: | |
Online-Zugang: | BTU01 FHA01 FHM01 FHN01 FKE01 UBG01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource (XI, 208 S.) Ill., graph. Darst. |
ISBN: | 9781447142829 |
DOI: | 10.1007/978-1-4471-4282-9 |
Internformat
MARC
LEADER | 00000nmm a2200000 c 4500 | ||
---|---|---|---|
001 | BV040510509 | ||
003 | DE-604 | ||
005 | 20130715 | ||
007 | cr|uuu---uuuuu | ||
008 | 121029s2013 |||| o||u| ||||||eng d | ||
020 | |a 9781447142829 |c Online |9 978-1-447-14282-9 | ||
024 | 7 | |a 10.1007/978-1-447-14282-9 |2 doi | |
035 | |a (OCoLC)812569554 | ||
035 | |a (DE-599)BVBBV040510509 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-634 |a DE-739 |a DE-355 | ||
050 | 0 | |a QA76.7-76.73 | |
084 | |a SK 220 |0 (DE-625)143224: |2 rvk | ||
245 | 1 | 0 | |a From Linear Operators to Computational Biology |b Essays in Memory of Jacob T. Schwartz |c Martin Davis ... (eds.) |
264 | 1 | |a London [u.a.] |b Springer |c 2013 | |
300 | |a 1 Online-Ressource (XI, 208 S.) |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
650 | 0 | 7 | |a Mathematica |g Programm |0 (DE-588)4268208-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Lineare Algebra |0 (DE-588)4035811-2 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Lineare Algebra |0 (DE-588)4035811-2 |D s |
689 | 0 | 1 | |a Mathematica |g Programm |0 (DE-588)4268208-3 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Davis, Martin |d 1928-2023 |e Sonstige |0 (DE-588)116040866 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-447-14281-2 |
856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-4282-9 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-SCS | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-025357053 | ||
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-1-4471-4282-9 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804149587250774016 |
---|---|
adam_text | FROM LINEAR OPERATORS TO COMPUTATIONAL BIOLOGY
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
FOREWORD
INTRODUCTION
NATURE AS QUANTUM COMPUTER
JACK SCHWARTZ MEETS KARL MARX
SETL AND THE EVOLUTION OF PROGRAMMING
DECISION PROCEDURE FOR ELEMENTARY SUBLANGUAGES OF SET THEORY XVII:
COMMONLY OCCURRING DECIDABLE EXTENSIONS OF MULTI-LEVEL SYLLOGISTIC
JACK SCHWARTZ AND ROBOTICS: THE ROARING EIGHTIES
MATHEMATICS’ MORTUA MANUS: DISCOVERING DEXTERITY
THE REF PROOF-CHECKER AND ITS “COMMON SHARED SCENARIO”
CLAW-FREE GRAPHS AS SETS
COMPUTATIONAL APPROACHES TO RNAI AND GENE SILENCING
THE LAST TEN YARDS
JACOB T. SCHWARTZ: SELECTED BIBLIOGRAPHY
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FROM LINEAR OPERATORS TO COMPUTATIONAL BIOLOGY
/
: 2013
ABSTRACT / INHALTSTEXT
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. IN ADDITION TO PRESENTING RECENT RESULTS
IN THESE FIELDS, THESE ESSAYS ILLUMINATE THE ASTONISHINGLY PRODUCTIVE
TRAJECTORY OF A BRILLIANT AND ORIGINAL SCIENTIST AND THINKER
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author_GND | (DE-588)116040866 |
building | Verbundindex |
bvnumber | BV040510509 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.7-76.73 |
callnumber-search | QA76.7-76.73 |
callnumber-sort | QA 276.7 276.73 |
callnumber-subject | QA - Mathematics |
classification_rvk | SK 220 |
collection | ZDB-2-SCS |
ctrlnum | (OCoLC)812569554 (DE-599)BVBBV040510509 |
discipline | Informatik Mathematik |
doi_str_mv | 10.1007/978-1-4471-4282-9 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03026nmm a2200541 c 4500</leader><controlfield tag="001">BV040510509</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130715 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">121029s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447142829</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-447-14282-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-447-14282-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812569554</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040510509</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7-76.73</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 220</subfield><subfield code="0">(DE-625)143224:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From Linear Operators to Computational Biology</subfield><subfield code="b">Essays in Memory of Jacob T. Schwartz</subfield><subfield code="c">Martin Davis ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 208 S.)</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematica</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4268208-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lineare Algebra</subfield><subfield code="0">(DE-588)4035811-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lineare Algebra</subfield><subfield code="0">(DE-588)4035811-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematica</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4268208-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Davis, Martin</subfield><subfield code="d">1928-2023</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)116040866</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-447-14281-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025357053</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4282-9</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV040510509 |
illustrated | Illustrated |
indexdate | 2024-07-10T00:25:24Z |
institution | BVB |
isbn | 9781447142829 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025357053 |
oclc_num | 812569554 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-634 DE-739 DE-355 DE-BY-UBR |
owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-634 DE-739 DE-355 DE-BY-UBR |
physical | 1 Online-Ressource (XI, 208 S.) Ill., graph. Darst. |
psigel | ZDB-2-SCS |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
spelling | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Martin Davis ... (eds.) London [u.a.] Springer 2013 1 Online-Ressource (XI, 208 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Mathematica Programm (DE-588)4268208-3 gnd rswk-swf Lineare Algebra (DE-588)4035811-2 gnd rswk-swf Lineare Algebra (DE-588)4035811-2 s Mathematica Programm (DE-588)4268208-3 s DE-604 Davis, Martin 1928-2023 Sonstige (DE-588)116040866 oth Erscheint auch als Druckausgabe 978-1-447-14281-2 https://doi.org/10.1007/978-1-4471-4282-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
spellingShingle | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Mathematica Programm (DE-588)4268208-3 gnd Lineare Algebra (DE-588)4035811-2 gnd |
subject_GND | (DE-588)4268208-3 (DE-588)4035811-2 |
title | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz |
title_auth | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz |
title_exact_search | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz |
title_full | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Martin Davis ... (eds.) |
title_fullStr | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Martin Davis ... (eds.) |
title_full_unstemmed | From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz Martin Davis ... (eds.) |
title_short | From Linear Operators to Computational Biology |
title_sort | from linear operators to computational biology essays in memory of jacob t schwartz |
title_sub | Essays in Memory of Jacob T. Schwartz |
topic | Mathematica Programm (DE-588)4268208-3 gnd Lineare Algebra (DE-588)4035811-2 gnd |
topic_facet | Mathematica Programm Lineare Algebra |
url | https://doi.org/10.1007/978-1-4471-4282-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025357053&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT davismartin fromlinearoperatorstocomputationalbiologyessaysinmemoryofjacobtschwartz |