Theoretical Computer Science - Proceedings Of The 6th Italian Conference - Hardcover

Hardcover

ISBN 10: 9810236557 ISBN 13: 9789810236557

Verlag: World Scientific Publishing Co Pte Ltd, 1998

Inhaltsangabe

The Italian Conference on Theoretical Computer Science (ICTCS '98) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The Conference aims at enabling computer scientists, especially young researchers to enter the community and to exchange theoretical ideas and results, as well as theoretical based practical experiences and tools in computer science.This volume contains 32 papers selected out of 50 submissions. The main topics include computability, automata, formal languages, term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, semantics of programming languages, program specification and verification, foundations of logic programming, parallel and distributed computation, and theory of concurrency.The volume provides an up-to-date view of the status of several relevant topics in theoretical computer science and suggests directions for future research. It constitutes a valuable working tool for researchers and graduate students.

Über diesen Titel

Reseña del editor

The Italian Conference on Theoretical Computer Science is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The conference aims at enabling computer scientists, especially young researchers, to enter the community and to exchange theoretical ideas and results, as well as theoretically-based practical experiments and tools in computer science. This volume contains 32 papers selected from 50 submissions. The main topics include computability, automata, formal languages, term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, semantics of programming languages, program specification and verification, foundations of logic programming, parallel and distributed computation, and theory of concurrency. The work provides a view of the status of these topics and suggests directions for future research.

Details zur Ausgabe

• Verlag: World Scientific Publishing Co Pte Ltd
• Erscheinungsdatum: 1998
• Sprache: Englisch
• ISBN 10: 9810236557
• ISBN 13: 9789810236557
• Einband: Tapa dura
• Anzahl der Seiten: 396
• Herausgeber: Pirillo Giuseppe, Degano Pierpaolo, Vaccaro Ugo
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar