Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, Mfcs'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, Mfcs'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings

Gerhard Goos
0/5 ( ratings)
Read Download
This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997.
The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc.
Language
English
Pages
526
Format
Paperback
Publisher
Springer
Release
August 13, 1997
ISBN
3540634371
ISBN 13
9783540634379

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, Mfcs'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings

Gerhard Goos
0/5 ( ratings)
Read Download
This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997.
The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc.
Language
English
Pages
526
Format
Paperback
Publisher
Springer
Release
August 13, 1997
ISBN
3540634371
ISBN 13
9783540634379

More books from Gerhard Goos

Compiler Construction

2.5/5 ( ratings)

Vorlesungen über Informatik: Band 1: Grundlagen Und Funktionales Programmieren (E Xamen.Press) (German Edition)

3.3/5 ( ratings)

Vorlesungen �ber Informatik: Paralleles Rechnen Und Nicht-Analytische L�sungsverfahren

3.5/5 ( ratings)

Vorlesungen Uber Informatik: Band 2: Objektorientiertes Programmieren Und Algorithmen

3.5/5 ( ratings)

Vorlesungen Uber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

3.5/5 ( ratings)

On the Shape of Mathematical Arguments

5/5 ( ratings)

Intelligence in Services and Networks: Technology for Cooperative Competition: Fourth International Conference on Intelligence in Services and Networks: Is&n'97, Cernobbio, Italy, May 27-29, 1997, Proceedings

3/5 ( ratings)

Advances in Cryptology - Auscrypt '90: International Conference on Cryptology Sydney, Australia, January 8-11, 1990

3/5 ( ratings)

Methodology and Tools in Knowledge-Based Systems: 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Iea-98-Aie, Benicassim, Castellon, Spain, June, 1998 Proceedings, Volume I

3/5 ( ratings)

Directions in Databases: 12th British National Conference on Databases, Bncod 12, Guildford, United Kingdom, July 6-8, 1994. Proceedings

3/5 ( ratings)

Turing Machines with Sublogarithmic Space (Lecture Notes in Computer Science, 843)

3/5 ( ratings)

Informatik 2: Eine einführende Übersicht (Springer-Lehrbuch) (German Edition)

3/5 ( ratings)

The Morality of Business (Lecture Notes in Computer Science)

3/5 ( ratings)

Human Computer Interaction: Vienna Conference Vchci '93, Fin De Siecle, Vienna, Austria, September 20-22, 1993 : Proceedings (Lecture Notes in Computer Science)

3/5 ( ratings)

Public-Key Cryptography: State of the Art and Future Directions : E.I.S.S. Workshop, Oberwolfach, Germany, July 3-6, 1991 Final Report (Lecture Notes in Computer Science)

3/5 ( ratings)

The Programming Language ADA: Reference Manual. Proposed Standard Document United States Department of Defense

3/5 ( ratings)

Algorithms and Computation: 5th International Symposium, Isaac '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings

3/5 ( ratings)

Software Configuration Management: Icse'97 Scm-7 Workshop, Boston, Ma, USA, May 18-19, 1997 Proceedings

3/5 ( ratings)

Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

3/5 ( ratings)

Foundations of Software Technology and Theoretical Computer Science

3/5 ( ratings)

Rate this book!

Write a review?

loader