Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (6th Workshop: CSL '92, San Miniato, Italy, September 28-October 2, 1992 - Selected Papers (Lecture Notes in Computer Science / Lecture Notes)

By Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini

Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (6th Workshop: CSL '92, San Miniato, Italy, September 28-October 2, 1992 - Selected Papers (Lecture Notes in Computer Science / Lecture Notes)

By Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini

£46.22

Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings (3rd: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy

Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings (3rd: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy

£46.18

Logic Program Synthesis and Transformation - Meta-Programming in Logic (4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings (Lecture Notes in Computer Science))

By Laurent Fribourg, Franco Turini

Logic Program Synthesis and Transformation - Meta-Programming in Logic (4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings (Lecture Notes in Computer Science))

By Laurent Fribourg, Franco Turini

£46.22

Application and Theory of Petri Nets: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (1995: 16th International Conference, Torino, Italy, June 26-30, 1995 - Proceedings (Lecture Notes in Computer Science))

By Giorgio De Michelis, Michel Diaz

Application and Theory of Petri Nets: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (1995: 16th International Conference, Torino, Italy, June 26-30, 1995 - Proceedings (Lecture Notes in Computer Science))

By Giorgio De Michelis, Michel Diaz

£46.87

Concur '96, Concurrency Theory (7th International Conference, Pisa, Italy, August 26 - 29, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ugo Montanari, Vladimiro Sassone

Concur '96, Concurrency Theory (7th International Conference, Pisa, Italy, August 26 - 29, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ugo Montanari, Vladimiro Sassone

£91.30

Logic in Databases (International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dino Pedreschi, Carlo Zaniolo

Logic in Databases (International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Dino Pedreschi, Carlo Zaniolo

£46.26

Principles of Declarative Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))

By Catuscia Palamidessi, Hugh Glaser, Karl Meinke

Principles of Declarative Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))

By Catuscia Palamidessi, Hugh Glaser, Karl Meinke

£46.86

Static Analysis (5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings (Lecture Notes in Computer Science))

By Giorgio Levi

Static Analysis (5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings (Lecture Notes in Computer Science))

By Giorgio Levi

£46.75

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

£91.06

Typed Lambda Calculi and Applications (4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Yves Girard

Typed Lambda Calculi and Applications (4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Yves Girard

£46.19

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : Proceedings (11th: International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science))

By Nicolas Halbwachs, Doron Peled

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : Proceedings (11th: International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science))

By Nicolas Halbwachs, Doron Peled

£46.26

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

£46.80

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (6th: Sixth International Symposium, SAS '99, Venice, Italy, September 22-24, 1999 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Agostino Cortesi, Gilberto File

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (6th: Sixth International Symposium, SAS '99, Venice, Italy, September 22-24, 1999 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Agostino Cortesi, Gilberto File

£46.22

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

£46.19

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

£46.31

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

£50.41

Logic Programming (24th International Conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Maria Garcia de la Banda, Enrico Pontelli

Logic Programming (24th International Conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Maria Garcia de la Banda, Enrico Pontelli

£102

Reversible Computation (8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (Programming and Software Engineering))

By Simon Devitt, Ivan Lanese

Reversible Computation (8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (Programming and Software Engineering))

By Simon Devitt, Ivan Lanese

£48.21

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

£46.77

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

£46.22

Recent Trends in Algebraic Development Techniques (19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Andrea Corradini, Ugo Montanari

Recent Trends in Algebraic Development Techniques (19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Andrea Corradini, Ugo Montanari

£46.23

Algebra and Coalgebra in Computer Science (Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

Algebra and Coalgebra in Computer Science (Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Alexander Kurz, Marina Lenisa, Andrzej Tarlecki

£46.25

Reasoning Web. Semantic Technologies for Information Systems (5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture ..)

By Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez

Reasoning Web. Semantic Technologies for Information Systems (5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture ..)

By Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez

£46.25

CONCUR 2009 - Concurrency Theory (20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in Computer Science))

By Mario Bravetti, Gianluigi Zavattaro

CONCUR 2009 - Concurrency Theory (20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in Computer Science))

By Mario Bravetti, Gianluigi Zavattaro

£91.14

View:
Safe Search(?):