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

Declarative Agent Languages and Technologies (First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni

Declarative Agent Languages and Technologies (First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni

£44.92

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

£45.61

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

£45.69

Adaptive Agents and Multi-agent Systems (Adaptation and Multi-agent Learning: v.2636 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov

Adaptive Agents and Multi-agent Systems (Adaptation and Multi-agent Learning: v.2636 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov

£45.35

Grammatical Inference, Algorithms and Applications (5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Arlindo L. Oliveira

Grammatical Inference, Algorithms and Applications (5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Arlindo L. Oliveira

£44.94

Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

Grammatical Inference - Algorithms and Applications (6th International Colloquium - ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pieter Adriaans, Henning Fernau, M. Van Zaanen

£45.33

25 Years of Model Checking (History, Achievements, Perspectives (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Orna Grumberg, Helmut Veith

25 Years of Model Checking (History, Achievements, Perspectives (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Orna Grumberg, Helmut Veith

£30.21

Advances in Artificial Intelligence - SBIA 2008 (19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Gerson Zaverucha, Augusto Loureiro da Costa

Advances in Artificial Intelligence - SBIA 2008 (19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Gerson Zaverucha, Augusto Loureiro da Costa

£45.01

Automated Technology for Verification and Analysis (6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Sungdeok, Jin-Young Choi, Moonzoo Kim, Insup Lee

Automated Technology for Verification and Analysis (6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Sungdeok, Jin-Young Choi, Moonzoo Kim, Insup Lee

£45.06

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

£47.55

Leveraging Applications of Formal Methods, Verification and Validation (Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Lecture Notes in Computer Science)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation (Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Lecture Notes in Computer Science)

By Tiziana Margaria, Bernhard Steffen

£45.59

Software Engineering for Self-Adaptive Systems (Lecture Notes in Computer Science / Programming and Software Engineering)

By Betty H. C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi

Software Engineering for Self-Adaptive Systems (Lecture Notes in Computer Science / Programming and Software Engineering)

By Betty H. C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi

£45.04

Hardware and Software (Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers (Programming and Software Engineering))

By Kerstin Eder, Joao Lourenco, Onn Shehory

Hardware and Software (Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers (Programming and Software Engineering))

By Kerstin Eder, Joao Lourenco, Onn Shehory

£42.03

Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose-Manuel Colom, Jörg Desel

Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose-Manuel Colom, Jörg Desel

£45.04

Programs, Proofs, Processes (6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science))

By Fernando Ferreira, Benedikt Lowe, Elvira Mayordomo, Luis Mendes Gomes

Programs, Proofs, Processes (6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science))

By Fernando Ferreira, Benedikt Lowe, Elvira Mayordomo, Luis Mendes Gomes

Currently
Unavailable

Static Analysis (17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings (Programming and Software Engineering))

By Radhia Cousot, Matthieu Martel

Static Analysis (17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings (Programming and Software Engineering))

By Radhia Cousot, Matthieu Martel

Currently
Unavailable

View:
Safe Search(?):