Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1977

6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings

Editors: Gruska, J. (Ed.)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-37285-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-08353-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

  • On the structure and properties of NP-complete problems and their associated optimization problems

    Ausiello, Giorgio

    Pages 1-16

  • A comparative review of some program verification methods

    Blikle, Andrzej

    Pages 17-33

  • Classification of the context-free languages

    Boasson, L.

    Pages 34-43

  • Finite automaton from a flowchart scheme point of view

    Elgot, Calvin C.

    Pages 44-51

  • A new type of models of computation

    Engeler, E.

    Pages 52-58

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-37285-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-08353-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Foundations of Computer Science 1977
Book Subtitle
6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings
Editors
  • J. Gruska
Series Title
Lecture Notes in Computer Science
Series Volume
53
Copyright
1977
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37285-1
DOI
10.1007/3-540-08353-7
Softcover ISBN
978-3-540-08353-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 599
Topics