2005, ISBN: 9783540291060

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, … Mehr…

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, on October 12 14 2005. The Certosa di Pontignano is the conference center of the University of Siena; it is located 8 km away from the town and it is in the Chianti region. The Certosa is a place full of history (founded in the 15th century, it was set on re a century later and reconstructed) and of valuable artworks, like frescoes of the Scuola Senese. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L Aquila(1992),Ravello(1995),Prato(1998),Turin(2001)andBertinoro(2003). Theconferenceaimsatbringingtogethercomputerscientists,especiallyyoung researchers, to foster cooperation, exchange of ideas and results. Great e orts have been made to attract researchers from all over the world. The main t- ics of the conference cover all the elds of theoretical computer science and include analysis and design of algorithms, computability, computational c- plexity, cryptography, formal languages and automata, foundations of progr- ming languages and program analysis, foundations of arti cial intelligence and knowledge representation, foundations of web programming, natural computing paradigms (quantum computing, bioinformatics), parallel and distributed c- putation, program speci cation and veri cation, term rewriting, theory of c- currency, theory of data bases, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.- Besorgungstitel - vorauss. Lieferzeit 3-5 Tage., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 235x155x24 mm, 432, [GW: 651g], Banküberweisung, Offene Rechnung, Kreditkarte, PayPal, Offene Rechnung (Vorkasse vorbehalten), Internationaler Versand<

2005, ISBN: 9783540291060

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October… Mehr…

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005. The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation. New Textbooks>Trade Paperback>Technology>Xxxsoftware Engr>* Desc Unknown, Springer Berlin Heidelberg Core >1 >T<

2008, ISBN: 9783540291060

Springer, Taschenbuch, Auflage: 2005, 432 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.6 kg, Datenbanken, Computer & Internet, Kategorie… Mehr…

Springer, Taschenbuch, Auflage: 2005, 432 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.6 kg, Datenbanken, Computer & Internet, Kategorien, Bücher, Informatik, IT-Ausbildung & -Berufe, Algorithmen, Programmierung & Webdesign, Mathematik, Naturwissenschaften & Technik, Fremdsprachige Bücher, Featured Categories, Englische Bücher, 7c9a6c79-19ea-4dea-90da-d7d47042d341_2301, 7c9a6c79-19ea-4dea-90da-d7d47042d341_0, Arborist Merchandising Root, acc906d0-2585-4921-a56f-3ff277850936_4901, acc906d0-2585-4921-a56f-3ff277850936_0, Special Features Stores, Taschenbücher, acc906d0-2585-4921-a56f-3ff277850936_4201, Springer, 2008<

2005, ISBN: 9783540291060

Editor: Coppo, Mario, Editor: Lodi, Elena, Editor: Pinna, G. Michele, Springer, Paperback, Auflage: 2005, 422 Seiten, Publiziert: 2005-09-28T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.… Mehr…

Editor: Coppo, Mario, Editor: Lodi, Elena, Editor: Pinna, G. Michele, Springer, Paperback, Auflage: 2005, 422 Seiten, Publiziert: 2005-09-28T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 0.6 kg, Special Features, Books, Architecture & Microprocessors, Computer Science, Computing & Internet, Subjects, Beginners & Introduction, Databases, Algorithms, Programming, Introduction to Programming, Discrete Mathematics, Mathematics, Science, Nature & Maths, Mathematical Logic, Mathematical Foundations, Books Global Store, 579c3025-5e5c-446b-80c9-b24e6fd5c94f_3601, 579c3025-5e5c-446b-80c9-b24e6fd5c94f_0, Special Features Stores, Arborist Merchandising Root, Springer, 2005<