Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

£49.62

Theory, Practice, and Applications of Rules on the Web (7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering))

By Leora Morgenstern, Petros Stefaneas, Francois Levy, Adam Wyner

Theory, Practice, and Applications of Rules on the Web (7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering))

By Leora Morgenstern, Petros Stefaneas, Francois Levy, Adam Wyner

£40.11

Automata, Languages, and Programming (41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Javier Esparza, Pierre Fraigniaud, Thore Husfeldt

Automata, Languages, and Programming (41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Javier Esparza, Pierre Fraigniaud, Thore Husfeldt

£48.50

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.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

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

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.19

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

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

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.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.65

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.51

Spatial Cognition (Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications: v. 2 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender

Spatial Cognition (Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications: v. 2 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender

£45.08

Applications and Theory of Petri Nets (29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Kees van Hee, Rudiger Valk

Applications and Theory of Petri Nets (29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Kees van Hee, Rudiger Valk

£45.05

Spatial Information Theory (9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings (Lecture Notes in Computer Science))

By Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gerard Ligozat

Spatial Information Theory (9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings (Lecture Notes in Computer Science))

By Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gerard Ligozat

£45.10

Fundamental Approaches to Software Engineering (16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Lecture Notes in Compu ..)

By Vittorio Cortellessa, Dániel Varró

Fundamental Approaches to Software Engineering (16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Lecture Notes in Compu ..)

By Vittorio Cortellessa, Dániel Varró

£45.02

Language and Automata Theory and Applications (7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Adrian-Horia Dediu, Carlos Martin-Vide, Bianca Truthe

Language and Automata Theory and Applications (7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Adrian-Horia Dediu, Carlos Martin-Vide, Bianca Truthe

£45.16

Algorithmic Decision Theory (Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Patrice Perny, Marc Pirlot, Alexis Tsoukiàs

Algorithmic Decision Theory (Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Patrice Perny, Marc Pirlot, Alexis Tsoukiàs

£45.03

Foundations of Intelligent Systems (14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Zbigniew W. Ras, Ning Zhong, Shusaku Tsumoto, Einoshin Suzuku

Foundations of Intelligent Systems (14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Zbigniew W. Ras, Ning Zhong, Shusaku Tsumoto, Einoshin Suzuku

£89.49

Discovery Science (6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings (Lecture Notes in Computer Science))

By Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto

Discovery Science (6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings (Lecture Notes in Computer Science))

By Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto

£45.68

Information Retrieval Technology (Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Sung Hyon Myaeng, Ming Zhou, Kam-Fai Wong, Hong-Jiang Zhang

Information Retrieval Technology (Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Sung Hyon Myaeng, Ming Zhou, Kam-Fai Wong, Hong-Jiang Zhang

£45.03

View:
Safe Search(?):