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

HK$498

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

HK$472

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

HK$1,100

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

HK$479

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

HK$471

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

HK$556

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

HK$1,200

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

HK$700

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

HK$900 Elsewhere ~~HK$1,050.16~~ Save HK$150.16 (14%)

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

HK$900

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

HK$800 Elsewhere ~~HK$987.87~~ Save HK$187.87 (19%)

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

HK$1,000 Elsewhere ~~HK$1,214.89~~ Save HK$214.89 (18%)

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

HK$1,100

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

HK$660 Elsewhere ~~HK$792.25~~ Save HK$132.25 (17%)

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

HK$483 Elsewhere ~~HK$792.25~~ Save HK$309.25 (39%)

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

HK$1,155 Elsewhere ~~HK$1,348.73~~ Save HK$193.73 (14%)

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

HK$1,159 Elsewhere ~~HK$1,348.73~~ Save HK$189.73 (14%)

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

HK$600 Elsewhere ~~HK$926.51~~ Save HK$326.51 (35%)

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

HK$1,478

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

HK$1,900 Elsewhere ~~HK$2,368.00~~ Save HK$468.00 (20%)

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

HK$1,183 Elsewhere ~~HK$1,503.06~~ Save HK$320.06 (21%)

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

HK$887 Elsewhere ~~HK$987.87~~ Save HK$100.87 (10%)

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

HK$952 Elsewhere ~~HK$993.53~~ Save HK$41.53 (4%)

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

HK$1,540

View:
Safe Search(?):