Formal Concept Analysis (Foundations and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bernhard Ganter, Gerd Stumme, Rudolf Wille

Formal Concept Analysis (Foundations and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bernhard Ganter, Gerd Stumme, Rudolf Wille

£65.28 Elsewhere ~~£69.99~~ Save £4.71 (7%)

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

£45.55

Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts

Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts

£40.60

Engineering Societies in the Agents World VII (7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Gregory O'Hare, Alessandro Ricci, Michael O'Grady, Oguz Dikenelli

Engineering Societies in the Agents World VII (7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Gregory O'Hare, Alessandro Ricci, Michael O'Grady, Oguz Dikenelli

£45.03

Automated Deduction in Geometry (9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Tetsuo Ida, Jacques Fleuriot

Automated Deduction in Geometry (9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Tetsuo Ida, Jacques Fleuriot

£40.06

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

£45.67

Quality of Communication-Based Systems

By Gunter Hommel

Quality of Communication-Based Systems

By Gunter Hommel

£40.16

CONCUR 2014 – Concurrency Theory (25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Paolo Baldan, University of Roma "La Sapienza"

CONCUR 2014 – Concurrency Theory (25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Paolo Baldan, University of Roma "La Sapienza"

£48.32

Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Manfred Morari, Lothar Thiele, Francesca Rossi

Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Manfred Morari, Lothar Thiele, Francesca Rossi

£89.48

Theoretical Aspects of Computing - ICTAC 2006 (Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone

Theoretical Aspects of Computing - ICTAC 2006 (Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone

£45.56

FSTTCS 2007 - Foundations of Software Technology and Theoretical Computer Science (27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By V. Arvind, Sanjiva Prasad

FSTTCS 2007 - Foundations of Software Technology and Theoretical Computer Science (27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By V. Arvind, Sanjiva Prasad

£45.15

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

£45.03

Advances in Conceptual Modeling - Challenging Perspectives (ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Carlos A. Heuser, Gunther Pernul

Advances in Conceptual Modeling - Challenging Perspectives (ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Carlos A. Heuser, Gunther Pernul

£45.07

Applications of Graph Transformations with Industrial Relevance (4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers (Programming and Software Engineering))

By Andy Schurr, Daniel Varro, Gergely Varro

Applications of Graph Transformations with Industrial Relevance (4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers (Programming and Software Engineering))

By Andy Schurr, Daniel Varro, Gergely Varro

£42.03

Foundations of Software Science and Computation Structures (16th International Conference, FOSSACS 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 N)

By Frank Pfenning

Foundations of Software Science and Computation Structures (16th International Conference, FOSSACS 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 N)

By Frank Pfenning

£45.08

Formal Methods and Software Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))

By Lindsay Groves, Jing Sun

Formal Methods and Software Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))

By Lindsay Groves, Jing Sun

£45.06

Trends in Real-time Systems

By Connie Heitmeyer, Dino Mandrioli

Trends in Real-time Systems

By Connie Heitmeyer, Dino Mandrioli

Currently
Unavailable

Resource Allocation in Wireless Networks (Theory and Algorithms (Lecture Notes in Computer Science))

By Slawomir Stanczak, Marcin Wiczanowski, Holger Boche

Resource Allocation in Wireless Networks (Theory and Algorithms (Lecture Notes in Computer Science))

By Slawomir Stanczak, Marcin Wiczanowski, Holger Boche

Currently
Unavailable

Logic at Work (Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing))

By Ewa S. Orlowska

Logic at Work (Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing))

By Ewa S. Orlowska

Currently
Unavailable

Computational Logic - CL 2000 (First International Conference London, UK, July 24-28, 2000 Proceedings (Lecture Notes in Artificial Intelligence))

By John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber

Computational Logic - CL 2000 (First International Conference London, UK, July 24-28, 2000 Proceedings (Lecture Notes in Artificial Intelligence))

By John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber

Currently
Unavailable

Parallel and Distributed Processing (15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings (Lecture Notes in Computer Science))

By Jose D. P. Rolim

Parallel and Distributed Processing (15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings (Lecture Notes in Computer Science))

By Jose D. P. Rolim

Currently
Unavailable

Automata, Languages and Programming (32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings (Lecture Notes in Computer Science))

By Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi

Automata, Languages and Programming (32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings (Lecture Notes in Computer Science))

By Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi

Currently
Unavailable

Automata, Languages and Programming (30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, G. J. Woeginger

Automata, Languages and Programming (30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, G. J. Woeginger

Currently
Unavailable

Object-Oriented Implementation of Numerical Methods (An Introduction with Java and Smalltalk (The Morgan Kaufmann Series in Software Engineering and Programming))

By Didier H. Besset

Object-Oriented Implementation of Numerical Methods (An Introduction with Java and Smalltalk (The Morgan Kaufmann Series in Software Engineering and Programming))

By Didier H. Besset

Currently
Unavailable

View:
Safe Search(?):