Advances in Natural Language Processing (4th International Conference, Estal 2004, Alicante, Spain, October 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jose Luis Vicedo, Particio Martinez-Barco, Particio Martinez-Barco, Maximiliano Saiz Noeda

Advances in Natural Language Processing (4th International Conference, Estal 2004, Alicante, Spain, October 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jose Luis Vicedo, Particio Martinez-Barco, Particio Martinez-Barco, Maximiliano Saiz Noeda

£89.48

Membrane Computing (5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Giancarlo Mauri, Gheorghe Paun, Mario J. Perez-Jimenez, Grzegorz Rozenberg

Membrane Computing (5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Giancarlo Mauri, Gheorghe Paun, Mario J. Perez-Jimenez, Grzegorz Rozenberg

£45.02

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

Formal Methods for Mobile Computing (5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science) ( ..)

By Marco Bernardo, Alessandro Bogliolo

£45.21

DNA Computing (10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Claudio Ferretti, Giancarlo Mauri, Claudio Zandron

DNA Computing (10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Claudio Ferretti, Giancarlo Mauri, Claudio Zandron

£45.05

Innovations in Applied Artificial Intelligence (18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings (Lecture Notes in Artificia ..)

By Floriana Esposito

Innovations in Applied Artificial Intelligence (18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings (Lecture Notes in Artificia ..)

By Floriana Esposito

£99.86

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

Logic Based Program Synthesis and Transformation (14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sandro Etalle

£45

Advances in Multimedia Information Systems (11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By K. Selçuk Candan, Augusto Celentano

Advances in Multimedia Information Systems (11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By K. Selçuk Candan, Augusto Celentano

£45.20

Computer Security - ESORICS 2005 (10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings (Lecture Notes in Computer Science / Security and Cryptology))

By Sabrina De Capitani Di Vimercati, Paul Syverson, Dieter Gollmann

Computer Security - ESORICS 2005 (10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings (Lecture Notes in Computer Science / Security and Cryptology))

By Sabrina De Capitani Di Vimercati, Paul Syverson, Dieter Gollmann

£45.69

High Performance Computing and Communications (First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Jack Dongarra, Laurence Tianruo Yang, Omer F. Rana, Beniamino Di Martino

High Performance Computing and Communications (First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Jack Dongarra, Laurence Tianruo Yang, Omer F. Rana, Beniamino Di Martino

£129

AI*IA 2005: Advances in Artificial Intelligence (9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings (Lecture Notes in Computer Science))

By Stefania Bandini, Sara Manzoni

AI*IA 2005: Advances in Artificial Intelligence (9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings (Lecture Notes in Computer Science))

By Stefania Bandini, Sara Manzoni

£88.77

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

Formal Methods for Hardware Verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science / Progr)

By Marco Bernardo, Alessandro Cimatti

£45.16

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

Formal Methods for Open Object-Based Distributed Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Roberto Gorrieri, Heike Wehrheim

£45.21

From Animals to Animats (9th International Conference on Simulation of Adaptive Behavior, SAB 2006 Rome, Italy, September 25-29, 2006 Proceedings: No. 9 (Lecture Notes in Computer Science))

By Stefano Nolfi, Gianluca Baldassare, Raffaele Calabretta, John Hallam

From Animals to Animats (9th International Conference on Simulation of Adaptive Behavior, SAB 2006 Rome, Italy, September 25-29, 2006 Proceedings: No. 9 (Lecture Notes in Computer Science))

By Stefano Nolfi, Gianluca Baldassare, Raffaele Calabretta, John Hallam

£100

Information Extraction in the Web Era (Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents (Lecture Notes in Computer Science))

By Maria Teresa Pazienza

Information Extraction in the Web Era (Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents (Lecture Notes in Computer Science))

By Maria Teresa Pazienza

£32.29

Theorem Proving in Higher Order Logics (16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : Proceedings (Lecture Notes in Computer Science))

By David Basin, Burkhart Wolff

Theorem Proving in Higher Order Logics (16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : Proceedings (Lecture Notes in Computer Science))

By David Basin, Burkhart Wolff

£45.55

Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))

By Laszlo Boszormenyi, Peter Schojer

Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))

By Laszlo Boszormenyi, Peter Schojer

£44.92

FME 2003: Formal Methods (International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science))

By Keijiro Araki, Stefania Gnesi, Dion Mandrioli

FME 2003: Formal Methods (International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science))

By Keijiro Araki, Stefania Gnesi, Dion Mandrioli

£99.93

Compiler Construction (10th International Conference, CC 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001: Proceedings (Lecture Notes in Computer Science))

By Wilhelm, Reinhard

Compiler Construction (10th International Conference, CC 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001: Proceedings (Lecture Notes in Computer Science))

By Wilhelm, Reinhard

£45.66

Programming Languages and Systems (10th European Symposium on Programming, Esop 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings: ESOP 2001 - 10th European Sympos)

By David Sands

Programming Languages and Systems (10th European Symposium on Programming, Esop 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings: ESOP 2001 - 10th European Sympos)

By David Sands

£45.66

Fundamental Approaches to Software Engineering (4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings (Lecture Notes in Computer Sci)

By Heinrich Hussmann

Fundamental Approaches to Software Engineering (4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings (Lecture Notes in Computer Sci)

By Heinrich Hussmann

£45.66

Foundations of Software Science and Computation Structures (4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Lecture No ..)

By Furio Honsell, Marino Miculan

Foundations of Software Science and Computation Structures (4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Lecture No ..)

By Furio Honsell, Marino Miculan

£45.86

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

Hybrid Systems - Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli

£89.31

Lectures on Information Retrieval (Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000. Revised Lectures (Lecture Notes in Computer Science))

By Maristella Agosti, Fabio Crestani, Gabriella Pasi

Lectures on Information Retrieval (Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000. Revised Lectures (Lecture Notes in Computer Science))

By Maristella Agosti, Fabio Crestani, Gabriella Pasi

£44.94

Cross-Language Information Retrieval and Evaluation (Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers (Lecture Notes in Computer Science))

By Peters, Carol

Cross-Language Information Retrieval and Evaluation (Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers (Lecture Notes in Computer Science))

By Peters, Carol

£45.02

View:
Safe Search(?):