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

£46.13

Formal Techniques in Real-Time and Fault-Tolerant Systems (7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings (Lecture Notes in Computer Science))

By Werner Damm, Ernst-Rudiger Olderog

Formal Techniques in Real-Time and Fault-Tolerant Systems (7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings (Lecture Notes in Computer Science))

By Werner Damm, Ernst-Rudiger Olderog

£46.82

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

£46.51

Parallel Computation: First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings (1st: International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 - Proceedings (Lecture Notes in Computer Science)

By Hans P. Zima

Parallel Computation: First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings (1st: International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 - Proceedings (Lecture Notes in Computer Science)

By Hans P. Zima

£46.82

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings (v. 1: Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Gentzsch, Uwe Harms

High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings (v. 1: Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Gentzsch, Uwe Harms

£46.24

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

£31

All About Maude - A High-Performance Logical Framework (How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Clavel, Manuel, Durán, Francisco, Steven Eker, Patrick Lincoln

All About Maude - A High-Performance Logical Framework (How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Clavel, Manuel, Durán, Francisco, Steven Eker, Patrick Lincoln

£81.23

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

£46.20

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

£46.24

Logic Programming (24th International Conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Maria Garcia de la Banda, Enrico Pontelli

Logic Programming (24th International Conference, ICLP 2008, Udine, Italy, December 9-13, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Maria Garcia de la Banda, Enrico Pontelli

£102

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

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

£46.77

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

£46.22

FM 2009: Formal Methods (Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science))

By Ana Cavalcanti, Dennis Dams

FM 2009: Formal Methods (Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science))

By Ana Cavalcanti, Dennis Dams

£102

Formal Modeling (Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Programming and Software Engineering))

By Gul Agha, Olivier Danvy, Jose Meseguer

Formal Modeling (Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Programming and Software Engineering))

By Gul Agha, Olivier Danvy, Jose Meseguer

£46.25

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

£43.14

Software Engineering for Self-Adaptive Systems II (International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : Revised Selected and Invited Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rogerio de Lemos, Holger Giese, Hausi A. Muller, Mary Shaw

Software Engineering for Self-Adaptive Systems II (International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : Revised Selected and Invited Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rogerio de Lemos, Holger Giese, Hausi A. Muller, Mary Shaw

£46.18

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

£46.22

Membrane Computing Models (Implementations)

By Gexiang Zhang, Mario J. Perez-Jimenez, Augustin Riscos Nunes, Sergey Verlan

Membrane Computing Models (Implementations)

By Gexiang Zhang, Mario J. Perez-Jimenez, Augustin Riscos Nunes, Sergey Verlan

Currently
Unavailable

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

CONCUR 2010 - Concurrency Theory (21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Theoretical Computer Science and General Issues))

By Paul Gastin, Francois Laroussinie

CONCUR 2010 - Concurrency Theory (21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings (Theoretical Computer Science and General Issues))

By Paul Gastin, Francois Laroussinie

Currently
Unavailable

Model Checking Software (17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Theoretical Computer Science and General Issues))

By Jaco van der Pol, Michael Weber

Model Checking Software (17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Theoretical Computer Science and General Issues))

By Jaco van der Pol, Michael Weber

Currently
Unavailable

Advanced Intelligent Computing Theories and Applications with Aspects of Artificial Intelligence (Fourth International Conference on Intelligent Computing, Icic 2008 Shanghai, China, September 15-18, 2008, Proceedings (Lecture Notes in Computer Science /)

By De-Shuang Huang, Don Wunsch, Daniel S. Levine, Kang-Hyun Jo

Advanced Intelligent Computing Theories and Applications with Aspects of Artificial Intelligence (Fourth International Conference on Intelligent Computing, Icic 2008 Shanghai, China, September 15-18, 2008, Proceedings (Lecture Notes in Computer Science /)

By De-Shuang Huang, Don Wunsch, Daniel S. Levine, Kang-Hyun Jo

Currently
Unavailable

Membrane Computing Models (Implementations)

By Zhang, Gexiang, Pérez-Jiménez, Mario J.

Membrane Computing Models (Implementations)

By Zhang, Gexiang, Pérez-Jiménez, Mario J.

Currently
Unavailable

View:
Safe Search(?):