Graph-Based Representation and Reasoning (26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez

Graph-Based Representation and Reasoning (26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez

£64.75

Database Theory _ ICDT 2003 (9th International Conference, Siena, Italy, January 8-10, 2003 : Proceedings (Lecture Notes in Computer Science))

By Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani

Database Theory _ ICDT 2003 (9th International Conference, Siena, Italy, January 8-10, 2003 : Proceedings (Lecture Notes in Computer Science))

By Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani

£45.06

Automata, Languages and Programming (14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987, Proceeding: v. 267 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Ottmann

Automata, Languages and Programming (14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987, Proceeding: v. 267 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Ottmann

£88.76

Functional Programming Languages and Computer Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Kahn

Functional Programming Languages and Computer Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Kahn

£43.08

Fundamentals of Computation Theory (International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings (Lecture Notes in Computer Science))

By Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

Fundamentals of Computation Theory (International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings (Lecture Notes in Computer Science))

By Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

£45.08

Colloquium on Trees in Algebra and Programming Caap '88 1988 (13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Max Dauchet, Maurice Nivat

Colloquium on Trees in Algebra and Programming Caap '88 1988 (13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Max Dauchet, Maurice Nivat

£45.02

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

£44.99

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

£45.03

Theory of Cryptography (Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Joe Kilian

Theory of Cryptography (Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Joe Kilian

£88.81

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

£45.71

Integer Programming and Combinatorial Optimization (8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Karen Aardal, Bert Gerards

Integer Programming and Combinatorial Optimization (8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Karen Aardal, Bert Gerards

£45.80

Model Driven Engineering Languages and Systems (9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Oscar M. Nierstrasz, Jon Whittle, David Harel, Gianna Reggio

Model Driven Engineering Languages and Systems (9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Oscar M. Nierstrasz, Jon Whittle, David Harel, Gianna Reggio

£89.14

Concurrency - Theory, Language, and Architecture (UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings (Lecture Notes in Computer Science))

By Akinori Yonezawa, Takayasu Ito

Concurrency - Theory, Language, and Architecture (UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings (Lecture Notes in Computer Science))

By Akinori Yonezawa, Takayasu Ito

£45.08

Real-Time - Theory in Practice (REX Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings (Lecture Notes in Computer Science))

By J. W. de Bakker, C. Huizing, W. P. De Roever, Grzegorz Rozenberg

Real-Time - Theory in Practice (REX Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings (Lecture Notes in Computer Science))

By J. W. de Bakker, C. Huizing, W. P. De Roever, Grzegorz Rozenberg

£88.94

Computer Aided Systems Theory - Eurocast '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993, Proceedings (3rd: EUROCAST '93 - A Selection of Papers from the Third In)

By Franz Pichler, Roberto Moreno Diaz

Computer Aided Systems Theory - Eurocast '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993, Proceedings (3rd: EUROCAST '93 - A Selection of Papers from the Third In)

By Franz Pichler, Roberto Moreno Diaz

£45.64

Computer Aided Systems Theory - Eurocast '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995, Proceedings (5th: EUROCAST '95 - A Selection of Papers from the Fifth Intern)

By Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht

Computer Aided Systems Theory - Eurocast '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995, Proceedings (5th: EUROCAST '95 - A Selection of Papers from the Fifth Intern)

By Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht

£45.10

SOFSEM '96: Theory and Practice of Informatics (23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings (Lecture Notes in Computer Science))

By Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek

SOFSEM '96: Theory and Practice of Informatics (23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings (Lecture Notes in Computer Science))

By Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek

£45.07

Concurrency and Parallelism, Programming, Networking and Security (Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joxan Jaffar, Roland H. C. Yap

Concurrency and Parallelism, Programming, Networking and Security (Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joxan Jaffar, Roland H. C. Yap

£45.03

Automata, Languages and Programming (27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ugo Montanari, Jose D. P. Rolim, Emo Welzl

Automata, Languages and Programming (27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ugo Montanari, Jose D. P. Rolim, Emo Welzl

£101

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

SOFSEM 2007 (Theory and Practice of Computer Science: 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Sc ..)

By Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel

SOFSEM 2007 (Theory and Practice of Computer Science: 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Sc ..)

By Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel

£89.25

Embedded Software and Systems (Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park

Embedded Software and Systems (Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park

£89.20

SOFSEM 2008 - Theory and Practice of Computer Science (34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By V. Geffert, Juhani Karhumaki, A. Bertoni, Bart Preneel

SOFSEM 2008 - Theory and Practice of Computer Science (34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By V. Geffert, Juhani Karhumaki, A. Bertoni, Bart Preneel

£89.18

Engineering Interactive Systems (EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jan Gulliksen, Morten Borup Harning, Philippe Palanque, Gerrit C. van der Veer

Engineering Interactive Systems (EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jan Gulliksen, Morten Borup Harning, Philippe Palanque, Gerrit C. van der Veer

£88.82

View:
Safe Search(?):