FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

£89.15

Programming Languages with Applications to Biology and Security (Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues))

By Chiara Bodei, Gianluigi Ferrari, Corrado Priami

Programming Languages with Applications to Biology and Security (Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues))

By Chiara Bodei, Gianluigi Ferrari, Corrado Priami

£47.19

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

£47.04

SOFSEM 2017 (Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues))

By Bernhard Steffen, Christel Baier, Mark Van Den Brand, Johann Eder

SOFSEM 2017 (Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues))

By Bernhard Steffen, Christel Baier, Mark Van Den Brand, Johann Eder

£47.96

Algorithmic Intelligence (Towards an Algorithmic Foundation for Artificial Intelligence (Artificial Intelligence: Foundations, Theory, and Algorithms))

By Stefan Edelkamp

Algorithmic Intelligence (Towards an Algorithmic Foundation for Artificial Intelligence (Artificial Intelligence: Foundations, Theory, and Algorithms))

By Stefan Edelkamp

£259

Bidirectional Transformations (International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures (Programming and Software Engineering))

By Jeremy Gibbons, Perdita Stevens

Bidirectional Transformations (International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures (Programming and Software Engineering))

By Jeremy Gibbons, Perdita Stevens

£44.99

Mathematical and Engineering Methods in Computer Science (8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Programming and Software Engineering))

By Antonin Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomas Vojnar

Mathematical and Engineering Methods in Computer Science (8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Programming and Software Engineering))

By Antonin Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomas Vojnar

£45.01

Inductive Logic Programming (22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Fabrizio Riguzzi, Filip Zelezny

Inductive Logic Programming (22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Fabrizio Riguzzi, Filip Zelezny

£40.12

Multi-source, Multilingual Information Extraction and Summarization (Theory and Applications of Natural Language Processing)

By Thierry Poibeau, Horacio Saggion, Jakub Piskorski, Roman Yangarber

Multi-source, Multilingual Information Extraction and Summarization (Theory and Applications of Natural Language Processing)

By Thierry Poibeau, Horacio Saggion, Jakub Piskorski, Roman Yangarber

£46.97

Intelligent Computing Theories and Application (15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By De-Shuang Huang, Kang-Hyun Jo, Zhi-Kai Huang

Intelligent Computing Theories and Application (15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By De-Shuang Huang, Kang-Hyun Jo, Zhi-Kai Huang

£89.17

Language and Automata Theory and Applications (14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron

Language and Automata Theory and Applications (14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron

£45.07

Numerical Computations (Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Yaroslav D. Sergeyev, Dmitri E. Kvasov

Numerical Computations (Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Yaroslav D. Sergeyev, Dmitri E. Kvasov

£46.16

Foundations of Software Science and Computation Structures (27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proce ..)

By Naoki Kobayashi, James Worrell

Foundations of Software Science and Computation Structures (27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proce ..)

By Naoki Kobayashi, James Worrell

£35.94

Fundamental Approaches to Software Engineering (27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings (Lecture ..)

By Dirk Beyer, Ana Cavalcanti

Fundamental Approaches to Software Engineering (27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings (Lecture ..)

By Dirk Beyer, Ana Cavalcanti

£35.98

Fundamentals of Computation Theory (Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985 (Lecture Notes in Computer Science))

By Lothar Budach

Fundamentals of Computation Theory (Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985 (Lecture Notes in Computer Science))

By Lothar Budach

£43.13

CONCUR 2004 - Concurrency Theory (15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Philippa Gardner, Nobuko Yoshida

CONCUR 2004 - Concurrency Theory (15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Philippa Gardner, Nobuko Yoshida

£45.11

Applications and Theory of Petri Nets 2005 (26th International Conference, ICATPN 2005 Miami, USA, June 20-25, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Gianfranco Ciardo, Philippe Darondeau

Applications and Theory of Petri Nets 2005 (26th International Conference, ICATPN 2005 Miami, USA, June 20-25, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Gianfranco Ciardo, Philippe Darondeau

£45.66

Advances in Cryptology – ASIACRYPT 2005 (11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Bimal Kumar Roy

Advances in Cryptology – ASIACRYPT 2005 (11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Bimal Kumar Roy

£45.52

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

£88.73

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

£89.60

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 (Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A)

By Josep Diaz, Fernando Orejas

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 (Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A)

By Josep Diaz, Fernando Orejas

£46.65

Fundamentals of Computation Theory (8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Proceedings: International Conference Proceedings, 8th, 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lothar Budach

Fundamentals of Computation Theory (8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Proceedings: International Conference Proceedings, 8th, 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lothar Budach

£45.03

Fundamentals of Computation Theory (9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings: 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings (Lecture Notes in Computer Science))

By Zoltan Esik

Fundamentals of Computation Theory (9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings: 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings (Lecture Notes in Computer Science))

By Zoltan Esik

£45.06

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

£45.69

View:
Safe Search(?):