The Resource Computer science today : recent trends and developments, Jan van Leeuwen, ed
Computer science today : recent trends and developments, Jan van Leeuwen, ed
Resource Information
The item Computer science today : recent trends and developments, Jan van Leeuwen, ed 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 1 library branch.
Resource Information
The item Computer science today : recent trends and developments, Jan van Leeuwen, ed 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 1 library branch.
- Summary
- This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology. This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field
- Language
- eng
- Extent
- 1 online resource (xiii, 641 pages)
- Contents
-
- A Quantum Jump in Computer Science / G. Brassard
- Artificial Life and Real World Computing / L. Steels and M. Tokoro
- Recurrent Neural Networks / H.T. Siegelmann
- Scalable Computing / W.F. McColl
- Efficient Use of Parallel and Distributed Systems: From Theory to Practice / B. Monien, R. Diekmann, R. Feldmann, R. Klasing, R. Luling, K. Menzel, Th. Romke and U.-P. Schroeder
- Experimental Validation of Models of Parallel Computation / L. Snyder
- Quo Vadetis, Parallel Machine Models? / J. Wiedermann
- Templates for Linear Algebra Problems / Z. Bai, D. Day, J. Demmel, J. Dongarra, M. Gu, A. Ruhe and H. van der Vorst
- The ART behind IDEAS / Th. Beth, A. Klappenecker, T. Minkwitz and A. Nuckel
- Algorithmic Number Theory and Its Relationship to Computational Complexity / L.M. Adleman
- Edge-Coloring Algorithms / S. Nakano, X. Zhou and T. Nishizeki
- Towards a Computational Theory of Genome Rearrangements / S. Hannenhalli and P.A. Pevzner
- Algebraic Topology and Distributed Computing
- A Primer / M. Herlihy and S. Rajsbaum
- Differential BDDs / A. Anuchitanukul, Z. Manna and T.E. Uribe
- Algorithmic Techniques for Geometric Optimization / P.K. Agarwal and M. Sharir
- All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos? / J. Nievergelt, R. Gasser, F. Maser and C. Wirth
- Fundamental Limitations on Search Algorithms: Evolutionary Computing in Perspective / N.J. Radcliffe and P.D. Surry
- Mathematical System Models as a Basis of Software Engineering / M. Broy
- Formulations and Formalisms in Software Architecture / M. Shaw and D. Garlan
- The Oz Programming Model / G. Smolka
- Standard Generalized Markup Language: Mathematical and Philosophical Issues / D. Wood
- Avoiding the Undefined by Underspecification / D. Gries and F.B. Schneider
- Towards a Theory of Recursive Structures / D. Harel
- Chu Spaces and Their Interpretation as Concurrent Objects / V. Pratt
- Abstracting Unification: A Key Step in the Design of Logic Program Analyses / M. Bruynooghe, M. Codish and A. Mulkers
- Programming Satan's Computer / R. Anderson and R. Needham
- Petri Net Models of Distributed Algorithms / W. Reisig
- Symmetry and Induction in Model Checking / E.M. Clarke and S. Jha
- Alternating Automata and Program Verification / M.Y. Vardi
- Reasoning about Actions and Change with Ramification / E. Sandewall
- Trends in Active Vision / J.-O. Eklundh
- Computational Machine Learning in Theory and Praxis / M. Li and P. Vitanyi
- Fuzzy Sets as a Tool for Modeling / R.R. Yager
- Information Retrieval and Informative Reasoning / C.J. van Rijsbergen
- Database Transaction Models / G. Vossen
- Multimedia Authoring Tools: State of the Art and Research Challenges / D.C.A. Bulterman and L. Hardman
- Computational Models for Distributed Multimedia Applications / Th. Kappner and R. Steinmetz
- Hypermedia Systems as Internet Tools / H. Maurer
- Isbn
- 9783540494355
- Label
- Computer science today : recent trends and developments
- Title
- Computer science today
- Title remainder
- recent trends and developments
- Statement of responsibility
- Jan van Leeuwen, ed
- Language
- eng
- Summary
- This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology. This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field
- Action
- digitized
- Cataloging source
- OCLCE
- Dewey number
- 004
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76
- LC item number
- .C57326 1995
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
- Leeuwen, J. van
- Series statement
- Lecture notes in computer science
- Series volume
- 1000
- http://library.link/vocab/subjectName
-
- Computer science
- Informatique
- Computer science
- Informatica
- Informatique
- Label
- Computer science today : recent trends and developments, Jan van Leeuwen, ed
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- A Quantum Jump in Computer Science / G. Brassard -- Artificial Life and Real World Computing / L. Steels and M. Tokoro -- Recurrent Neural Networks / H.T. Siegelmann -- Scalable Computing / W.F. McColl -- Efficient Use of Parallel and Distributed Systems: From Theory to Practice / B. Monien, R. Diekmann, R. Feldmann, R. Klasing, R. Luling, K. Menzel, Th. Romke and U.-P. Schroeder -- Experimental Validation of Models of Parallel Computation / L. Snyder -- Quo Vadetis, Parallel Machine Models? / J. Wiedermann -- Templates for Linear Algebra Problems / Z. Bai, D. Day, J. Demmel, J. Dongarra, M. Gu, A. Ruhe and H. van der Vorst -- The ART behind IDEAS / Th. Beth, A. Klappenecker, T. Minkwitz and A. Nuckel -- Algorithmic Number Theory and Its Relationship to Computational Complexity / L.M. Adleman -- Edge-Coloring Algorithms / S. Nakano, X. Zhou and T. Nishizeki -- Towards a Computational Theory of Genome Rearrangements / S. Hannenhalli and P.A. Pevzner -- Algebraic Topology and Distributed Computing -- A Primer / M. Herlihy and S. Rajsbaum -- Differential BDDs / A. Anuchitanukul, Z. Manna and T.E. Uribe -- Algorithmic Techniques for Geometric Optimization / P.K. Agarwal and M. Sharir -- All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos? / J. Nievergelt, R. Gasser, F. Maser and C. Wirth -- Fundamental Limitations on Search Algorithms: Evolutionary Computing in Perspective / N.J. Radcliffe and P.D. Surry -- Mathematical System Models as a Basis of Software Engineering / M. Broy -- Formulations and Formalisms in Software Architecture / M. Shaw and D. Garlan -- The Oz Programming Model / G. Smolka -- Standard Generalized Markup Language: Mathematical and Philosophical Issues / D. Wood -- Avoiding the Undefined by Underspecification / D. Gries and F.B. Schneider -- Towards a Theory of Recursive Structures / D. Harel -- Chu Spaces and Their Interpretation as Concurrent Objects / V. Pratt -- Abstracting Unification: A Key Step in the Design of Logic Program Analyses / M. Bruynooghe, M. Codish and A. Mulkers -- Programming Satan's Computer / R. Anderson and R. Needham -- Petri Net Models of Distributed Algorithms / W. Reisig -- Symmetry and Induction in Model Checking / E.M. Clarke and S. Jha -- Alternating Automata and Program Verification / M.Y. Vardi -- Reasoning about Actions and Change with Ramification / E. Sandewall -- Trends in Active Vision / J.-O. Eklundh -- Computational Machine Learning in Theory and Praxis / M. Li and P. Vitanyi -- Fuzzy Sets as a Tool for Modeling / R.R. Yager -- Information Retrieval and Informative Reasoning / C.J. van Rijsbergen -- Database Transaction Models / G. Vossen -- Multimedia Authoring Tools: State of the Art and Research Challenges / D.C.A. Bulterman and L. Hardman -- Computational Models for Distributed Multimedia Applications / Th. Kappner and R. Steinmetz -- Hypermedia Systems as Internet Tools / H. Maurer
- Control code
- 603663201
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 641 pages)
- Form of item
- online
- Isbn
- 9783540494355
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)603663201
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
- Label
- Computer science today : recent trends and developments, Jan van Leeuwen, ed
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- black and white
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- A Quantum Jump in Computer Science / G. Brassard -- Artificial Life and Real World Computing / L. Steels and M. Tokoro -- Recurrent Neural Networks / H.T. Siegelmann -- Scalable Computing / W.F. McColl -- Efficient Use of Parallel and Distributed Systems: From Theory to Practice / B. Monien, R. Diekmann, R. Feldmann, R. Klasing, R. Luling, K. Menzel, Th. Romke and U.-P. Schroeder -- Experimental Validation of Models of Parallel Computation / L. Snyder -- Quo Vadetis, Parallel Machine Models? / J. Wiedermann -- Templates for Linear Algebra Problems / Z. Bai, D. Day, J. Demmel, J. Dongarra, M. Gu, A. Ruhe and H. van der Vorst -- The ART behind IDEAS / Th. Beth, A. Klappenecker, T. Minkwitz and A. Nuckel -- Algorithmic Number Theory and Its Relationship to Computational Complexity / L.M. Adleman -- Edge-Coloring Algorithms / S. Nakano, X. Zhou and T. Nishizeki -- Towards a Computational Theory of Genome Rearrangements / S. Hannenhalli and P.A. Pevzner -- Algebraic Topology and Distributed Computing -- A Primer / M. Herlihy and S. Rajsbaum -- Differential BDDs / A. Anuchitanukul, Z. Manna and T.E. Uribe -- Algorithmic Techniques for Geometric Optimization / P.K. Agarwal and M. Sharir -- All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos? / J. Nievergelt, R. Gasser, F. Maser and C. Wirth -- Fundamental Limitations on Search Algorithms: Evolutionary Computing in Perspective / N.J. Radcliffe and P.D. Surry -- Mathematical System Models as a Basis of Software Engineering / M. Broy -- Formulations and Formalisms in Software Architecture / M. Shaw and D. Garlan -- The Oz Programming Model / G. Smolka -- Standard Generalized Markup Language: Mathematical and Philosophical Issues / D. Wood -- Avoiding the Undefined by Underspecification / D. Gries and F.B. Schneider -- Towards a Theory of Recursive Structures / D. Harel -- Chu Spaces and Their Interpretation as Concurrent Objects / V. Pratt -- Abstracting Unification: A Key Step in the Design of Logic Program Analyses / M. Bruynooghe, M. Codish and A. Mulkers -- Programming Satan's Computer / R. Anderson and R. Needham -- Petri Net Models of Distributed Algorithms / W. Reisig -- Symmetry and Induction in Model Checking / E.M. Clarke and S. Jha -- Alternating Automata and Program Verification / M.Y. Vardi -- Reasoning about Actions and Change with Ramification / E. Sandewall -- Trends in Active Vision / J.-O. Eklundh -- Computational Machine Learning in Theory and Praxis / M. Li and P. Vitanyi -- Fuzzy Sets as a Tool for Modeling / R.R. Yager -- Information Retrieval and Informative Reasoning / C.J. van Rijsbergen -- Database Transaction Models / G. Vossen -- Multimedia Authoring Tools: State of the Art and Research Challenges / D.C.A. Bulterman and L. Hardman -- Computational Models for Distributed Multimedia Applications / Th. Kappner and R. Steinmetz -- Hypermedia Systems as Internet Tools / H. Maurer
- Control code
- 603663201
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 641 pages)
- Form of item
- online
- Isbn
- 9783540494355
- Level of compression
-
- lossless
- lossy
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- illustrations.
- Reformatting quality
-
- preservation
- access
- Reproduction note
- Electronic reproduction.
- Specific material designation
- remote
- System control number
- (OCoLC)603663201
- System details
- Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
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/Computer-science-today--recent-trends-and/nz_nqiWHwj0/" 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/Computer-science-today--recent-trends-and/nz_nqiWHwj0/">Computer science today : recent trends and developments, Jan van Leeuwen, ed</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 Computer science today : recent trends and developments, Jan van Leeuwen, ed
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/Computer-science-today--recent-trends-and/nz_nqiWHwj0/" 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/Computer-science-today--recent-trends-and/nz_nqiWHwj0/">Computer science today : recent trends and developments, Jan van Leeuwen, ed</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>