System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

£45.06

Languages and Compilers for Parallel Computing (14th International Workshop, Lcpc 2001, Cumberland Falls, Ky, USA, August 1-3, 2001, Revised Papers: v. 2624 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henry Gordon Dietz

Languages and Compilers for Parallel Computing (14th International Workshop, Lcpc 2001, Cumberland Falls, Ky, USA, August 1-3, 2001, Revised Papers: v. 2624 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henry Gordon Dietz

£45.04

Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

£43.08

Programming Languages and Systems (First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings (Lecture Notes in Computer Science))

By Atsushi Ohori

Programming Languages and Systems (First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings (Lecture Notes in Computer Science))

By Atsushi Ohori

£45.02

Programming Languages and System Architectures (International Conference, Zurich, Switzerland, March 2-4, 1994 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jürg Gutknecht

Programming Languages and System Architectures (International Conference, Zurich, Switzerland, March 2-4, 1994 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jürg Gutknecht

£45.03

Languages and Compilers for Parallel Computing (7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings (Lecture Notes in Computer Science))

By Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau

Languages and Compilers for Parallel Computing (7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings (Lecture Notes in Computer Science))

By Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau

£45.68

Languages and Compilers for Parallel Computing (9th International Workshop, Lcpc'96, San Jose, California, USA, August 8 - 10, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David Sehr, David Gelernter, Utpal Banerjee, Alex Nicolau

Languages and Compilers for Parallel Computing (9th International Workshop, Lcpc'96, San Jose, California, USA, August 8 - 10, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David Sehr, David Gelernter, Utpal Banerjee, Alex Nicolau

£88.76

Languages and Compilers for Parallel Computing: 11th International Workshop, LCPC '98, Chapel Hill, NC, USA August 7-9, 1998 : Proceedings (11th: International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 - Proceedings (Lecture Notes in Comp)

By Siddharta Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante

Languages and Compilers for Parallel Computing: 11th International Workshop, LCPC '98, Chapel Hill, NC, USA August 7-9, 1998 : Proceedings (11th: International Workshop, LCPC '98, Chapel Hill, NC, USA, August 7-9, 1998 - Proceedings (Lecture Notes in Comp)

By Siddharta Chatterjee, Jan F. Prins, Larry Carter, Jeanne Ferrante

£45.56

Internet Programming Languages (ICCL '98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henri E. Bal, Boumediened Belkhouche, Luca Cardelli

Internet Programming Languages (ICCL '98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henri E. Bal, Boumediened Belkhouche, Luca Cardelli

£44.95

Languages and Compilers for Parallel Computing (19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gheorghe Almasi, Calin Cascaval, Peng Wu

Languages and Compilers for Parallel Computing (19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gheorghe Almasi, Calin Cascaval, Peng Wu

£45.01

Developments in Language Theory (11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Tero Harju, Juhani Karhumaki, Arto Lepisto

Developments in Language Theory (11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Tero Harju, Juhani Karhumaki, Arto Lepisto

£45.05

Developments in Language Theory (12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Masami Ito, Masafumi Toyama

Developments in Language Theory (12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Masami Ito, Masafumi Toyama

£45.13

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

£52.41

Declarative Agent Languages and Technologies X (10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers (Lecture Notes in Computer Science))

By Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos

Declarative Agent Languages and Technologies X (10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers (Lecture Notes in Computer Science))

By Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos

£42.05

Providing Integrity, Awareness, and Consciousness in Distributed Dynamic Systems

By Peter Simon Sapaty

Providing Integrity, Awareness, and Consciousness in Distributed Dynamic Systems

By Peter Simon Sapaty

£102 Elsewhere ~~£120.00~~ Save £18.00 (15%)

Research Advances in Intelligent Computing (Volume 2)

By Anshul Verma, Pradeepika Verma

Research Advances in Intelligent Computing (Volume 2)

By Anshul Verma, Pradeepika Verma

£96.12 Elsewhere ~~£110.00~~ Save £13.88 (13%)

Unity of Logic and Computation (19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science))

By Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea

Unity of Logic and Computation (19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science))

By Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea

£49.96 Elsewhere ~~£59.99~~ Save £10.03 (17%)

Recent Trends in Algebraic Development Techniques (16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Recent Trends in Algebraic Development Techniques (16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Dirk Pattinson, Rolf Hennicker

£45.04

Latin 2004 - Theoretical Informatics (6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Farach-Colton

Latin 2004 - Theoretical Informatics (6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Farach-Colton

£88.80

Automated Reasoning (Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ulrich Furbach, Natarajan Shankar

Automated Reasoning (Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ulrich Furbach, Natarajan Shankar

£89.47

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

£89.31

Concur 2001 Concurrency Theory (12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kim G. Larsen, Mogens Nielsen

Concur 2001 Concurrency Theory (12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kim G. Larsen, Mogens Nielsen

£45.76

Temporal Logic (First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Dov M. Gabbay, Hans Jurgen Ohlbach

Temporal Logic (First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Dov M. Gabbay, Hans Jurgen Ohlbach

£89.35

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming, Linkoping, Sweden, April, 22 - 24, 1996. Proceedings (6th European Symposium on Programming, Linkoping, Sweden, April 22-24, 1996, Proceedings: 6th European Symposium on)

By Hanne Riis Nielson

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming, Linkoping, Sweden, April, 22 - 24, 1996. Proceedings (6th European Symposium on Programming, Linkoping, Sweden, April 22-24, 1996, Proceedings: 6th European Symposium on)

By Hanne Riis Nielson

£45.01

View:
Safe Search(?):