Coverart for item
The Resource Computer science today : recent trends and developments, Jan van Leeuwen, ed

Computer science today : recent trends and developments, Jan van Leeuwen, ed

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
Contributor
Subject
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
Member of
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
Instantiates
Publication
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
Publication
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 Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...