Related Books

Theoretical Computer Science - Proceedings Of The 6th Italian Conference
Language: en
Pages: 398
Authors: Giuseppe Pirillo
Categories: Computers
Type: BOOK - Published: 1998-10-15 - Publisher: World Scientific

DOWNLOAD EBOOK

The Italian Conference on Theoretical Computer Science (ICTCS '98) is the annual conference of the Italian Chapter of the European Association for Theoretical C
Theoretical Computer Science - Proceedings Of The 4th Italian Conference
Language: en
Pages: 373
Authors: P Mentrasti
Categories:
Type: BOOK - Published: 1992-10-15 - Publisher: World Scientific

DOWNLOAD EBOOK

This volume is an up-to-date record of Italian research on theoretical computer science. The main topics featured are: algorithms and complexity, automata and f
Embedded and Ubiquitous Computing - EUC 2005 Workshops
Language: en
Pages: 1350
Authors: Tomoya Enokido
Categories: Computers
Type: BOOK - Published: 2005-11-25 - Publisher: Springer

DOWNLOAD EBOOK

The Parametric Lambda Calculus
Language: en
Pages: 254
Authors: Simona Ronchi Della Rocca
Categories: Mathematics
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it p
Foundations of Software Technology and Theoretical Computer Science
Language: en
Pages: 467
Authors: C. Pandu Rangan
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99, held in