Model Driven Engineering Languages and Systems (10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank. Weil

Model Driven Engineering Languages and Systems (10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank. Weil

£91.17

Logic for Programming, Artificial Intelligence, and Reasoning (14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Artificial Intelligence))

By Nachum Dershowitz, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning (14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Artificial Intelligence))

By Nachum Dershowitz, Andrei Voronkov

£46.34

High Performance Computing - HiPC 2007 (14th International Conference, Goa, India, December 18-21, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Srinivas Aluru, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna

High Performance Computing - HiPC 2007 (14th International Conference, Goa, India, December 18-21, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Srinivas Aluru, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna

£91.16

2

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet (7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings (Computer Communication Networks and Telecommunications))

By Amitabha Das, H.K. Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet (7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings (Computer Communication Networks and Telecommunications))

By Amitabha Das, H.K. Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong

£132

Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jose Meseguer, Grigore Rosu

Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jose Meseguer, Grigore Rosu

£46.25

Theoretical Aspects of Computing - ICTAC 2008 (5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun

Theoretical Aspects of Computing - ICTAC 2008 (5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun

£55.06

Transactions on Computational Science II (Transactions on Computational Science)

By Marina Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao

Transactions on Computational Science II (Transactions on Computational Science)

By Marina Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao

£46.23

Software Process and Product Measurement (International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Reiner R. Dumke, Rene Braungarten, Günter Büren, Alain Abran

Software Process and Product Measurement (International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Reiner R. Dumke, Rene Braungarten, Günter Büren, Alain Abran

£46.20

Advances in Software Engineering (Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Egon Borger, Antonio Cisternino

Advances in Software Engineering (Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Egon Borger, Antonio Cisternino

£46.19

Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

£46.31

Biometrics in the New World (The Cloud, Mobile Technology and Pervasive Identity)

By Ashbourn, Julian

Biometrics in the New World (The Cloud, Mobile Technology and Pervasive Identity)

By Ashbourn, Julian

£46.22

Software Engineering and Formal Methods (SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering))

By Steve Counsell, Manuel Nunez

Software Engineering and Formal Methods (SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering))

By Steve Counsell, Manuel Nunez

£48.74

Risk Assessment and Risk-Driven Testing (First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen

Risk Assessment and Risk-Driven Testing (First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen

£36.11

Integrated Formal Methods (11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Elvira Albert, Emil Sekerinski

Integrated Formal Methods (11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Elvira Albert, Emil Sekerinski

£48.47

Service-Oriented Computing (15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings (Programming and Software Engineering))

By Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol

Service-Oriented Computing (15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings (Programming and Software Engineering))

By Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol

£91.51

Human-Computer Interaction. Interaction in Context (20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By Masaaki Kurosu

Human-Computer Interaction. Interaction in Context (20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By Masaaki Kurosu

£81.25

Social, Cultural, and Behavioral Modeling (11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Robert Thomson, Christopher Dancy, Ayaz Hyder, Halil Bisgin

Social, Cultural, and Behavioral Modeling (11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Robert Thomson, Christopher Dancy, Ayaz Hyder, Halil Bisgin

£46.23

Business Process Management (16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings (Lecture Notes in Computer Science))

By Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke

Business Process Management (16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings (Lecture Notes in Computer Science))

By Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke

£46.31

Integrated Formal Methods (7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Michael Leuschel, Heike Wehrheim

Integrated Formal Methods (7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Michael Leuschel, Heike Wehrheim

£46.20

Formal Methods for Industrial Critical Systems (13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science))

By Darren Cofer, Alessandro Fantechi

Formal Methods for Industrial Critical Systems (13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science))

By Darren Cofer, Alessandro Fantechi

£46.21

Distributed Computing (23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Idit Keidar

Distributed Computing (23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Idit Keidar

£91.10

Formal Methods for Industrial Critical Systems (14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maria Alpuente, Byron Cook, Christophe Joubert

Formal Methods for Industrial Critical Systems (14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maria Alpuente, Byron Cook, Christophe Joubert

£46.20

Relations and Kleene Algebra in Computer Science (11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceed)

By Rudolf Berghammer, Ali Jaoua, Bernhard Möller

Relations and Kleene Algebra in Computer Science (11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceed)

By Rudolf Berghammer, Ali Jaoua, Bernhard Möller

£46.26

Advanced Functional Programming (6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures (Theoretical Computer Science and General Issues))

By Pieter Koopman, Doaitse Swierstra

Advanced Functional Programming (6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures (Theoretical Computer Science and General Issues))

By Pieter Koopman, Doaitse Swierstra

£46.24

View:
Safe Search(?):