Lecture Notes in Computer Science

Automata, Languages and Programming

26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings

Editors: Wiedermann, Jiri, Emde Boas, Peter van, Nielsen, Mogens (Eds.)

Free Preview

Buy this book

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

Table of contents (49 chapters)

Table of contents (49 chapters)
  • Generating Hard Instances of the Short Basis Problem

    Ajtai, Miklós

    Pages 1-9

  • Wide Area Computation

    Cardelli, Luca

    Pages 10-24

  • Proof Techniques for Cryptographic Protocols

    Compton, Kevin J. (et al.)

    Pages 25-39

  • Type Structure for Low-Level Programming Languages

    Crary, Karl (et al.)

    Pages 40-54

  • Real Computations with Fake Numbers

    Cucker, Felipe

    Pages 55-73

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata, Languages and Programming
Book Subtitle
26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
Editors
  • Jiri Wiedermann
  • Peter van Emde Boas
  • Mogens Nielsen
Series Title
Lecture Notes in Computer Science
Series Volume
1644
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48523-0
DOI
10.1007/3-540-48523-6
Softcover ISBN
978-3-540-66224-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 726
Topics