Numerical Analysis and Its Applications (First International Workshop, Wnaa'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubin Vulkov, Jerzy Wasniewski, Plamen Yalamov

Numerical Analysis and Its Applications (First International Workshop, Wnaa'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubin Vulkov, Jerzy Wasniewski, Plamen Yalamov

£91.11

Static Analysis (4th International Symposium, SAS '97, Paris, France, September 8-10, 1997: Proceedings (Lecture Notes in Computer Science))

By Pascal Van Hentenryck

Static Analysis (4th International Symposium, SAS '97, Paris, France, September 8-10, 1997: Proceedings (Lecture Notes in Computer Science))

By Pascal Van Hentenryck

£46.77

Formal Concept Analysis (5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sergei O. Kuznetsov, Stefan Schmidt

Formal Concept Analysis (5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sergei O. Kuznetsov, Stefan Schmidt

£46.52

Independent Component Analysis and Signal Separation (7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Mike E. Davies, Christopher C. James, Samer A. Abdallah, Mark D. Plumbley

Independent Component Analysis and Signal Separation (7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Mike E. Davies, Christopher C. James, Samer A. Abdallah, Mark D. Plumbley

£91.54

Formal Concept Analysis (6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Raoul Medina, Sergei Obiedkov

Formal Concept Analysis (6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Raoul Medina, Sergei Obiedkov

£46.22

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

Numerical Analysis and its Applications (4th International Conference, NAA 2008 Lozenetz, Bulgaria, June 16-20, 2008, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Svetozar Margenov, Lubin Vulkov, Jerzy Wasniewski

Numerical Analysis and its Applications (4th International Conference, NAA 2008 Lozenetz, Bulgaria, June 16-20, 2008, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Svetozar Margenov, Lubin Vulkov, Jerzy Wasniewski

£91.12

Independent Component Analysis and Signal Separation (8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Tulay Adali, Christian Jutten, Joao Marcos Travassos Romano, Allan Kardec Barros

Independent Component Analysis and Signal Separation (8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Tulay Adali, Christian Jutten, Joao Marcos Travassos Romano, Allan Kardec Barros

£91.51

Formal Modeling and Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Joel Ouaknine, Frits W. Vaandrager

Formal Modeling and Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Joel Ouaknine, Frits W. Vaandrager

£46.20

Combinatorial Image Analysis (13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (Lecture Notes in Computer Science))

By Petra Wiederhold, Reneta P. Barneva

Combinatorial Image Analysis (13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics) (Lecture Notes in Computer Science))

By Petra Wiederhold, Reneta P. Barneva

£46.24

Constructive Side-Channel Analysis and Secure Design (4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Proceedings (Lecture Notes in Computer Science / Security and Cryptology))

By Emmanuel Prouff

Constructive Side-Channel Analysis and Secure Design (4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Proceedings (Lecture Notes in Computer Science / Security and Cryptology))

By Emmanuel Prouff

£41.13

Formal Modeling and Analysis of Timed Systems (11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Víctor Braberman, Laurent Fribourg

Formal Modeling and Analysis of Timed Systems (11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Víctor Braberman, Laurent Fribourg

£41.11

Numerical Analysis and Its Applications (5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ivan Dimov, István Faragó, Lubin Vulkov

Numerical Analysis and Its Applications (5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ivan Dimov, István Faragó, Lubin Vulkov

£46.30

Specification and Analysis of Concurrent Systems (The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series))

By Janicki, Ryszard, Lauer, Peter E.

Specification and Analysis of Concurrent Systems (The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series))

By Janicki, Ryszard, Lauer, Peter E.

£91.10

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

Formal Modeling and Analysis of Timed Systems (12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues))

By Legay, Axel, Bozga, Marius

Formal Modeling and Analysis of Timed Systems (12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues))

By Legay, Axel, Bozga, Marius

£42.68

Numeric Computation and Statistical Data Analysis on the Java Platform (Advanced Information and Knowledge Processing)

By Chekanov, Sergei V.

Numeric Computation and Statistical Data Analysis on the Java Platform (Advanced Information and Knowledge Processing)

By Chekanov, Sergei V.

£91.48

Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Cyrille Artho, Axel Legay, Doron Peled

Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Cyrille Artho, Axel Legay, Doron Peled

£49.10

Numerical Analysis and Its Applications (6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Ivan Dimov, István Faragó, Lubin Vulkov

Numerical Analysis and Its Applications (6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Ivan Dimov, István Faragó, Lubin Vulkov

£46.69

Formal Concept Analysis (14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings (Lecture Notes in Artificial Intelligence))

By Peggy Cellier, Sebastien Ferre, Peggy Cellier

Formal Concept Analysis (14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings (Lecture Notes in Artificial Intelligence))

By Peggy Cellier, Sebastien Ferre, Peggy Cellier

£47.75

Numeric Computation and Statistical Data Analysis on the Java Platform (Advanced Information and Knowledge Processing)

By Chekanov, Sergei V.

Numeric Computation and Statistical Data Analysis on the Java Platform (Advanced Information and Knowledge Processing)

By Chekanov, Sergei V.

£94.52 Elsewhere ~~£99.99~~ Save £5.47 (5%)

Handbook of Logic in Computer Science (Volume 4. Semantic Modelling (Handbook of Logic in Computer Science))

By Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Handbook of Logic in Computer Science (Volume 4. Semantic Modelling (Handbook of Logic in Computer Science))

By Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum

£246 Elsewhere ~~£390.00~~ Save £144.00 (37%)

MATLAB for Neuroscientists (An Introduction to Scientific Computing in MATLAB)

By Wallisch, Pascal, Lusignan, Michael E., Marc D. Benayoun

MATLAB for Neuroscientists (An Introduction to Scientific Computing in MATLAB)

By Wallisch, Pascal, Lusignan, Michael E., Marc D. Benayoun

£56.46 Elsewhere ~~£70.99~~ Save £14.53 (20%)

38

Ecological Models and Data in R

By Benjamin M. Bolker

Ecological Models and Data in R

By Benjamin M. Bolker

£52.58 Elsewhere ~~£62.00~~ Save £9.42 (15%)

48

View:
Safe Search(?):