Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

£45.04

Theoretical Computer Science (9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Mario Coppo, Elena Lodi, G. Michele Pinna

Theoretical Computer Science (9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Mario Coppo, Elena Lodi, G. Michele Pinna

£45.60

Euro-Par 2018 (Parallel Processing Workshops: Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio

Euro-Par 2018 (Parallel Processing Workshops: Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio

£89.20

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

£45.21

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

£45.01

Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)

By Harald Ganzinger

Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (16th: Cade-16, International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in)

By Harald Ganzinger

£45.62

Types for Proofs and Programs (International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marino Miculan, Ivan Scagnetto, Furio Honsell

Types for Proofs and Programs (International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marino Miculan, Ivan Scagnetto, Furio Honsell

£45.01

Formal Methods for Computational Systems Biology (8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 (Programming and Software Engineering))

By Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

Formal Methods for Computational Systems Biology (8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 (Programming and Software Engineering))

By Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

£45.12

Reasoning Web (4th International Summer School 2008, Venice Italy, September 7-11, 2008 ; Tutorial Lectures (Lecture Notes in Computer Science))

By Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori

Reasoning Web (4th International Summer School 2008, Venice Italy, September 7-11, 2008 ; Tutorial Lectures (Lecture Notes in Computer Science))

By Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori

£49.61

Euro-Par 2018 (Parallel Processing: 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marco Aldinucci, Luca Padovani, Massimo Torquati

Euro-Par 2018 (Parallel Processing: 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marco Aldinucci, Luca Padovani, Massimo Torquati

£45.59

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

£45.03

Language and Automata Theory and Applications (4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu

Language and Automata Theory and Applications (4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu

£97.96

Programming Multi-Agent Systems (Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers (Lecture Notes in Artificial Intelligence))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal EL Fallah-Seghrouchni

Programming Multi-Agent Systems (Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers (Lecture Notes in Artificial Intelligence))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal EL Fallah-Seghrouchni

£45.19

Formal Methods and Software Engineering (7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Kung-Kiu Lau, Richard Branach

Formal Methods and Software Engineering (7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Kung-Kiu Lau, Richard Branach

£45.68

Implementation and Applications of Automata (13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science))

By Oscar H. Ibarra, Bala Ravikumar

Implementation and Applications of Automata (13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings (Lecture Notes in Computer Science))

By Oscar H. Ibarra, Bala Ravikumar

£49.82

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science))

By Sebastian Maneth

£45.05

Semantics and Algebraic Specification (Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jens Palsberg

Semantics and Algebraic Specification (Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jens Palsberg

£45.04

Foundations of Information and Knowledge Systems (6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Sebastian Link, Henri Prade

Foundations of Information and Knowledge Systems (6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Sebastian Link, Henri Prade

£45.07

View:
Safe Search(?):