Model Theory (Oxford Logic Guides)

By Maria Manzano, Ruy J. G. B. de Queiroz, R.D. Queiroz

Model Theory (Oxford Logic Guides)

By Maria Manzano, Ruy J. G. B. de Queiroz, R.D. Queiroz

£161 Elsewhere ~~£190.00~~ Save £29.00 (15%)

FPGAs (Fundamentals, Advanced Features, and Applications in Industrial Electronics (Industrial Electronics))

By Andina, Juan Jose Rodriguez, Arnanz, Eduardo de la Torre, Maria Dolores Valdes Pena

FPGAs (Fundamentals, Advanced Features, and Applications in Industrial Electronics (Industrial Electronics))

By Andina, Juan Jose Rodriguez, Arnanz, Eduardo de la Torre, Maria Dolores Valdes Pena

£54.44 Elsewhere ~~£56.99~~ Save £2.55 (4%)

Rigorous Software Development (An Introduction to Program Verification (Undergraduate Topics in Computer Science))

By Almeida, José Bacelar, Frade, Maria João, Jorge Sousa Pinto

Rigorous Software Development (An Introduction to Program Verification (Undergraduate Topics in Computer Science))

By Almeida, José Bacelar, Frade, Maria João, Jorge Sousa Pinto

£27.95

FPGAs (Fundamentals, Advanced Features, and Applications in Industrial Electronics (Industrial Electronics))

By Andina, Juan Jose Rodriguez, Arnanz, Eduardo de la Torre (Universidad Politecnica de Madrid, , Maria Dolores Valdes

FPGAs (Fundamentals, Advanced Features, and Applications in Industrial Electronics (Industrial Electronics))

By Andina, Juan Jose Rodriguez, Arnanz, Eduardo de la Torre (Universidad Politecnica de Madrid, , Maria Dolores Valdes

£158

Swarm Intelligence Applications for the Cities of the Future

By Leonor Marques Mano Domingos, Maria José Sousa

Swarm Intelligence Applications for the Cities of the Future

By Leonor Marques Mano Domingos, Maria José Sousa

£124 Elsewhere ~~£130.00~~ Save £6.00 (5%)

Field-Programmable Gate Array (FPGA) Technologies for High Performance Instrumentation (Advances in Computer and Electrical Engineering)

By Julio Daniel Dondo Gazzano, Maria Liz Crespo, Andres Cicuttin, Fernando Rincon Calle

Field-Programmable Gate Array (FPGA) Technologies for High Performance Instrumentation (Advances in Computer and Electrical Engineering)

By Julio Daniel Dondo Gazzano, Maria Liz Crespo, Andres Cicuttin, Fernando Rincon Calle

£140 Elsewhere ~~£184.00~~ Save £44.00 (24%)

Computational Intelligence in Music, Sound, Art and Design (8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in ..)

By Anikó Ekárt, Antonios Liapis, María Luz Castro Pena

Computational Intelligence in Music, Sound, Art and Design (8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in ..)

By Anikó Ekárt, Antonios Liapis, María Luz Castro Pena

£51.28

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

£46.24

SOFSEM 2004 (Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 (Lecture Notes in Computer Science))

By Peter van Emde Boas, Jaroslav Pokorny, Mária Bieliková

SOFSEM 2004 (Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 (Lecture Notes in Computer Science))

By Peter van Emde Boas, Jaroslav Pokorny, Mária Bieliková

£46.19

Scientific Applications of Grid Computing (First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Pilar Herrero Martin, Maria S. Perez, Victor Robles

Scientific Applications of Grid Computing (First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Pilar Herrero Martin, Maria S. Perez, Victor Robles

£46.18

Dependable Computing (Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Alberto Maziero, Joao Gabriel Silva, Aline Maria Santos Andrade, Flavio Morais de Assis Silva

Dependable Computing (Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Alberto Maziero, Joao Gabriel Silva, Aline Maria Santos Andrade, Flavio Morais de Assis Silva

£45.03

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

£91.63

Neural Nets (13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri Sul Mare, Italy, May 30-June 1, 2002. Revised Papers (Lecture Notes in Computer Science))

By Maria Marinaro, Roberto Tagliaferri

Neural Nets (13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri Sul Mare, Italy, May 30-June 1, 2002. Revised Papers (Lecture Notes in Computer Science))

By Maria Marinaro, Roberto Tagliaferri

£46.36

Static Analysis (15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science))

By Maria Alpuente, German Vidal

Static Analysis (15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science))

By Maria Alpuente, German Vidal

£46.19

Formal Methods and Software Engineering (9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

Formal Methods and Software Engineering (9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007,Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

£56.38

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

£99.59

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

£45

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

Logic, Language and Meaning (17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz

£55.26

Logic-Based Program Synthesis and Transformation (20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Maria Alpuente

Logic-Based Program Synthesis and Transformation (20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Maria Alpuente

£45.03

Logic, Language and Meaning (18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit Sassoon

Logic, Language and Meaning (18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit Sassoon

£46.23

High-Performance Computing on Complex Environments (Wiley Series on Parallel and Distributed Computing)

By Emmanuel Jeannot, Julius Zilinskas

High-Performance Computing on Complex Environments (Wiley Series on Parallel and Distributed Computing)

By Emmanuel Jeannot, Julius Zilinskas

£103

Oussalah, M (Software Architecture 1)

By Mourad Chabane Oussalah

Oussalah, M (Software Architecture 1)

By Mourad Chabane Oussalah

£123 Elsewhere ~~£138.95~~ Save £15.95 (11%)

New Developments in Legal Reasoning and Logic (From Ancient Law to Modern Legal Systems (Logic, Argumentation & Reasoning))

By Shahid Rahman, Matthias Armgardt, Hans Christian Nordtveit Kvernenes

New Developments in Legal Reasoning and Logic (From Ancient Law to Modern Legal Systems (Logic, Argumentation & Reasoning))

By Shahid Rahman, Matthias Armgardt, Hans Christian Nordtveit Kvernenes

£50.28

View:
Safe Search(?):