Verification of Sequential and Concurrent Programs

By Krzysztof Apt (Centre for Mathematics and Computer Science, Amst, Ernst-Rudiger Olderog

Verification of Sequential and Concurrent Programs

By Krzysztof Apt (Centre for Mathematics and Computer Science, Amst, Ernst-Rudiger Olderog

£38.68

Scalable Network Monitoring in High Speed Networks

By Baek-Young Choi, Zhi-Li, Zhang (Department of Computer Science & Engineering, Uni, David Hung Du

Scalable Network Monitoring in High Speed Networks

By Baek-Young Choi, Zhi-Li, Zhang (Department of Computer Science & Engineering, Uni, David Hung Du

£44.96

Call-By-Push-Value (A Functional/Imperative Synthesis (Semantics Structures in Computation))

By Levy, Paul Blain (School of Computer Science, The University of

Call-By-Push-Value (A Functional/Imperative Synthesis (Semantics Structures in Computation))

By Levy, Paul Blain (School of Computer Science, The University of

£104

Berechenbarkeit, Komplexitï¿½t, Logik [German] (Eine Einfï¿½hrung in Algorithmen, Sprachen Und Kalkï¿½le Unter Besonderer Berï¿½cksichtigung Ihrer Komplexitï¿½t)

By Professor of Computer Science Department of Information Egon Bor, Egon Borger

Berechenbarkeit, Komplexitï¿½t, Logik [German] (Eine Einfï¿½hrung in Algorithmen, Sprachen Und Kalkï¿½le Unter Besonderer Berï¿½cksichtigung Ihrer Komplexitï¿½t)

By Professor of Computer Science Department of Information Egon Bor, Egon Borger

£45.07

Algebraic Design Theory and Hadamard Matrices (ADTHM, Lethbridge, Alberta, Canada, July 2014 (Springer Proceedings in Mathematics & Statistics))

By Department of Computer Science Charles J Colbourn

Algebraic Design Theory and Hadamard Matrices (ADTHM, Lethbridge, Alberta, Canada, July 2014 (Springer Proceedings in Mathematics & Statistics))

By Department of Computer Science Charles J Colbourn

£90.16

Beyond Two (Theory and Applications of Multiple-Valued Logic)

By Department of Mathematics and Computer Science Lehman College Me, Ewa Orlowska

Beyond Two (Theory and Applications of Multiple-Valued Logic)

By Department of Mathematics and Computer Science Lehman College Me, Ewa Orlowska

£38.62

String Processing and Information Retrieval

By Computer Science Department Purdue University and Dipartimento D, Massimo Melucci

String Processing and Information Retrieval

By Computer Science Department Purdue University and Dipartimento D, Massimo Melucci

£38.60

Applied Probability-Computer Science (v. 1: Interface (Progress in Theoretical Computer Science))

By Springer

Applied Probability-Computer Science (v. 1: Interface (Progress in Theoretical Computer Science))

By Springer

£45.81

Emerging Trends in Computational Biology, Bioinformatics, and Systems Biology (Algorithms and Software Tools (Emerging Trends in Computer Science and Applied Computing))

By Arabnia, Hamid R (Professor of Computer Science, University of G, Tran, Quoc Nam (Chair and Professor of Computer Science, Univers

Emerging Trends in Computational Biology, Bioinformatics, and Systems Biology (Algorithms and Software Tools (Emerging Trends in Computer Science and Applied Computing))

By Arabnia, Hamid R (Professor of Computer Science, University of G, Tran, Quoc Nam (Chair and Professor of Computer Science, Univers

£85.13 Elsewhere ~~£90.00~~ Save £4.87 (5%)

Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology (Systems and Applications (Emerging Trends in Computer Science and Applied Computing))

By Arabnia, Hamid R (Professor of Computer Science, University of G, Tran, Quoc Nam (Chair and Professor of Computer Science, Univers

Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology (Systems and Applications (Emerging Trends in Computer Science and Applied Computing))

By Arabnia, Hamid R (Professor of Computer Science, University of G, Tran, Quoc Nam (Chair and Professor of Computer Science, Univers

£86.12 Elsewhere ~~£90.00~~ Save £3.88 (4%)

High-Density Integrated Electrocortical Neural Interfaces (Low-Noise Low-Power System-On-Chip Design Methodology)

By Ha, Sohmyung (Assistant Professor, Electrical and Computer Engin, Kim, Chul, Patrick P. Mercier

High-Density Integrated Electrocortical Neural Interfaces (Low-Noise Low-Power System-On-Chip Design Methodology)

By Ha, Sohmyung (Assistant Professor, Electrical and Computer Engin, Kim, Chul, Patrick P. Mercier

£80.84 Elsewhere ~~£95.95~~ Save £15.11 (16%)

Perspectives in the Development of Mobile Medical Information Systems (Life Cycle, Management, Methodological Approach and Application)

By Keikhosrokiani, Pantea (Senior Lecturer, School of Computer Scie

Perspectives in the Development of Mobile Medical Information Systems (Life Cycle, Management, Methodological Approach and Application)

By Keikhosrokiani, Pantea (Senior Lecturer, School of Computer Scie

£97.60 Elsewhere ~~£118.00~~ Save £20.40 (17%)

Biological Network Analysis (Trends, Approaches, Graphical Theory and Algorithms)

By Guzzi, Pietro Hiram (Associate Professor of Computer Engineering, Roy, Swarup (Associate Professor in Computer Applications, Sikki

Biological Network Analysis (Trends, Approaches, Graphical Theory and Algorithms)

By Guzzi, Pietro Hiram (Associate Professor of Computer Engineering, Roy, Swarup (Associate Professor in Computer Applications, Sikki

£87.19 Elsewhere ~~£91.95~~ Save £4.76 (5%)

Biomedical Sensors and Smart Sensing (A Beginner's Guide (Primers in Biomedical Imaging Devices and Systems))

By Panja, Ayan Kumar (Assistant Professor, Computer Science, Instit, Mukherjee, Amartya (Department of Computer Science and Engineeri, Nilanjan Dey

Biomedical Sensors and Smart Sensing (A Beginner's Guide (Primers in Biomedical Imaging Devices and Systems))

By Panja, Ayan Kumar (Assistant Professor, Computer Science, Instit, Mukherjee, Amartya (Department of Computer Science and Engineeri, Nilanjan Dey

£67.13 Elsewhere ~~£76.95~~ Save £9.82 (13%)

Magnetic Resonance Imaging (Recording, Reconstruction and Assessment (Primers in Biomedical Imaging Devices and Systems))

By Rajinikanth, V. (Professor, Department of Electronics and Instru, Dey, Nilanjan (Department of Computer Science & Engineering, Mau

Magnetic Resonance Imaging (Recording, Reconstruction and Assessment (Primers in Biomedical Imaging Devices and Systems))

By Rajinikanth, V. (Professor, Department of Electronics and Instru, Dey, Nilanjan (Department of Computer Science & Engineering, Mau

£51.86 Elsewhere ~~£76.95~~ Save £25.09 (33%)

Bloom Filter (A Data Structure for Computer Networking, Big Data, Cloud Computing, Internet of Things, Bioinformatics and Beyond)

By Patgiri, Ripon (Assistant Professor, Department of Computer Scie, Nayak, Sabuzima (Research Scholar, Department of Computer Scienc, Naresh Babu Muppalaneni

Bloom Filter (A Data Structure for Computer Networking, Big Data, Cloud Computing, Internet of Things, Bioinformatics and Beyond)

By Patgiri, Ripon (Assistant Professor, Department of Computer Scie, Nayak, Sabuzima (Research Scholar, Department of Computer Scienc, Naresh Babu Muppalaneni

£110 Elsewhere ~~£131.00~~ Save £21.00 (16%)

Deep Learning in Bioinformatics (Techniques and Applications in Practice)

By Izadkhah, Habib (Associate Professor, Department of Computer Sci

Deep Learning in Bioinformatics (Techniques and Applications in Practice)

By Izadkhah, Habib (Associate Professor, Department of Computer Sci

£109 Elsewhere ~~£131.00~~ Save £22.00 (17%)

Microgrids

By Padmanaban, Sanjeevikumar (Center for Bioenergy and Green Engine, Nithiyananthan, K. (Department of Electrical and Computer Engine, S. Prabhakar Karthikeyan, Jens Bo Holm-Nielsen

Microgrids

By Padmanaban, Sanjeevikumar (Center for Bioenergy and Green Engine, Nithiyananthan, K. (Department of Electrical and Computer Engine, S. Prabhakar Karthikeyan, Jens Bo Holm-Nielsen

£55.76

Algebraic Theory for True Concurrency

By Wang, Yong (Associate Professor of Computer Science and Technolo

Algebraic Theory for True Concurrency

By Wang, Yong (Associate Professor of Computer Science and Technolo

£124 Elsewhere ~~£138.00~~ Save £14.00 (10%)

Handbook of Truly Concurrent Process Algebra

By Wang, Yong (Associate Professor of Computer Science and Technolo

Handbook of Truly Concurrent Process Algebra

By Wang, Yong (Associate Professor of Computer Science and Technolo

£172 Elsewhere ~~£230.00~~ Save £58.00 (25%)

Agent-Based Models with MATLAB

By Cuevas, Erik (Professor, Department of Computer Science, Univers, Avila, Karla (Research Associate, Department of Computer Science, Miguel Islas Toski

Agent-Based Models with MATLAB

By Cuevas, Erik (Professor, Department of Computer Science, Univers, Avila, Karla (Research Associate, Department of Computer Science, Miguel Islas Toski

£123 Elsewhere ~~£145.99~~ Save £22.99 (16%)

Fundamentals of Data Science (Theory and Practice)

By Kalita, Jugal K. (Professor of Computer Science, University of C, Bhattacharyya, Dhruba K. (Senior Professor, Department of Comput, Swarup Roy

Fundamentals of Data Science (Theory and Practice)

By Kalita, Jugal K. (Professor of Computer Science, University of C, Bhattacharyya, Dhruba K. (Senior Professor, Department of Comput, Swarup Roy

£79.39 Elsewhere ~~£95.95~~ Save £16.56 (17%)

Lyapunov-Based Control of Mechanical Systems (Control Engineering)

By Marcio S. de Queiroz, Darren (Department of Electrical and Computer Engineering Dawson, Siddharth P. Nagarkatti, Siddharth (Department of Electrical and Computer Engineering Nag

Lyapunov-Based Control of Mechanical Systems (Control Engineering)

By Marcio S. de Queiroz, Darren (Department of Electrical and Computer Engineering Dawson, Siddharth P. Nagarkatti, Siddharth (Department of Electrical and Computer Engineering Nag

£88.62 Elsewhere ~~£96.50~~ Save £7.88 (8%)

Call-by-push-value (A Functional / Imperative Synthesis (Semantics Structures in Computation))

By Levy, Paul Blain (School of Computer Science, The University of

Call-by-push-value (A Functional / Imperative Synthesis (Semantics Structures in Computation))

By Levy, Paul Blain (School of Computer Science, The University of

£147

View:
Safe Search(?):