Pages: 153, Edition: 1, Paperback, Springer
Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 : Proceedings
Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978
Category Theory and Computer Science: Paris, France, September 3-6, 19
Aspects and Prospects of Theoretical Computer Science Only 1 left in stock at $3.75! This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by
Mathematical Foundations of Computer Science 1984 : 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings (Lecture Notes in Computer Science) Edition 1 Published in 1984 by Springer
Constitutes The Refereed Proceedings Of The International Symposium On Logical Foundations Of Computer Science, Lfcs 2009, Held In Deerfield Beach, Florida, Usa In January 2008. This Title Presents 31 Revised Refereed Papers That Were Selected By The Program Committee. - Paperback
Used - The papers in this volume were presented at the fourth biennial SummerConference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies
Pages: 384, Edition: 2, Paperback, The MIT Press
Combinatorics and Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3-5, 1995 Selected Papers
Stacs 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbr?cken, January 3-5, 1985
Computer Science And Computing: A Guide to the Literature Knee, Michael ISBN10: 1591581605 ISBN13: 9781591581604 You save $2.89 As computers have infiltrated virtually every facet of our lives, so has computer science influenced nearly every academic subject in science, engineering, medicine, social science, the arts and humanities. Michael Knee offers a selective guide to the major resources and tools central to the entire industry. A discussion of three commonly used subject classification systems
ISBN: 354051659X. Title: Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings. Author: E. Borger. Format: Paperback. Publisher: Springer-Verlag New York, LLC.
This volume contains 18 contributions to the Third Russian-German Advanced Research Workshop on Computational Science and High Performance Computing presented in July 2007 at Novosibirsk, Russia. The workshop was organized jointly by the High Performance Computing Center Stuttgart (HLRS) and the Institute of Computational Technologies of the Siberian Branch of the Russian Academy of Sciences (ICT SB RAS) The contributions range from computer science, mathematics and high performance computing to
This book presents a collection of 33 strictly refereed full papers on combinatorics and computer science; these papers have been selected from the 54 papers accepted for presentation at the joint 8th Franco-Japanese and 4th Franco-Chinese Conference on Combinatorics in Computer Science, CCS '96, held in Brest, France in July 1995.The papers included in the book have been contributed by authors from 10 countries; they are organized in sections entitled graph theory, combinatorial optimization, selected
In the world of theatre Harvey' is a large, white rabbit who happens to be invisible. Elementary computer science's Harvey' is more like a tiger - clever, colorful, powerful, and, thanks to this revised edition of a classic set of texts, very visible indeed.br-- William Higginson, Coordinator; Mathematics, Science and Technology Education Group, Queen's University at Kingston, Canada This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures (Lecture Notes in Computer Science) Edition 1 Published in 1985 by Springer
February 1997 384 pp., 51 illus. $42.00/£31.95 (PAPER) Short ISBN-10: 0-262-58150-7 ISBN-13: 978-0-262-58150-9 Computer Science Logo Style, 2nd Edition, Vol. 3 Beyond Programming This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in