Name: CONCUR '93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science)
Brand: Springer
SKU: 12572208
Price: 560 HKD
Availability: InStock

FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

HK$1,040

Fundamentals of Sketch-Based Passwords (A General Framework (SpringerBriefs in Computer Science))

By Riggan, Benjamin S., Snyder, Wesley E., Cliff Wang

Fundamentals of Sketch-Based Passwords (A General Framework (SpringerBriefs in Computer Science))

By Riggan, Benjamin S., Snyder, Wesley E., Cliff Wang

HK$459

Polysemy (Theoretical and Computational Approaches)

By Yael Ravin, Claudia Leacock

Polysemy (Theoretical and Computational Approaches)

By Yael Ravin, Claudia Leacock

HK$1,354 Elsewhere ~~HK$2,007.99~~ Save HK$653.99 (33%)

Polysemy (Theoretical and Computational Approaches)

By Yael Ravin, Claudia Leacock

Polysemy (Theoretical and Computational Approaches)

By Yael Ravin, Claudia Leacock

HK$463 Elsewhere ~~HK$586.95~~ Save HK$123.95 (21%)

The Oxford Handbook of Linguistic Analysis (Oxford Handbooks)

By Bernd Heine, Heiko Narrog

The Oxford Handbook of Linguistic Analysis (Oxford Handbooks)

By Bernd Heine, Heiko Narrog

HK$1,700

GPU Computing Gems Jade Edition (Applications of GPU Computing Series)

By Wen-Mei W. Hwu

GPU Computing Gems Jade Edition (Applications of GPU Computing Series)

By Wen-Mei W. Hwu

HK$600

1

Facets of Systems Science (IFSR International Series in Systems Science and Systems Engineering)

By Klir, George J.

Facets of Systems Science (IFSR International Series in Systems Science and Systems Engineering)

By Klir, George J.

HK$2,940 Elsewhere ~~HK$3,429.03~~ Save HK$489.03 (14%)

The Future of National Infrastructure (A System-Of-Systems Approach)

By Jim W. Hall, Robert J. Nicholls, Adrian J. Hickford

The Future of National Infrastructure (A System-Of-Systems Approach)

By Jim W. Hall, Robert J. Nicholls, Adrian J. Hickford

HK$1,100 Elsewhere ~~HK$1,204.79~~ Save HK$104.79 (9%)

Pervasive Information Systems

By Panos E. Kourouthanassis, George M. Giaglis

Pervasive Information Systems

By Panos E. Kourouthanassis, George M. Giaglis

HK$800 Elsewhere ~~HK$1,132.71~~ Save HK$332.71 (29%)

Assertion-Based Design

By Foster, Harry D., Krolnik, Adam C., David J. Lacey

Assertion-Based Design

By Foster, Harry D., Krolnik, Adam C., David J. Lacey

HK$1,358

Web Services (Theory and Practice)

By Anura Guruge

Web Services (Theory and Practice)

By Anura Guruge

HK$530

Assertion-Based Design (Information Technology (Transmission, Processing and Storage))

By Foster, Harry D., Krolnik, Adam C., David J. Lacey

Assertion-Based Design (Information Technology (Transmission, Processing and Storage))

By Foster, Harry D., Krolnik, Adam C., David J. Lacey

HK$1,340

Impossible Minds (My Neurons, My Consciousness (Revised Edition))

By Aleksander, Igor

Impossible Minds (My Neurons, My Consciousness (Revised Edition))

By Aleksander, Igor

HK$798 Elsewhere ~~HK$834.09~~ Save HK$36.09 (4%)

Impossible Minds (My Neurons, My Consciousness (Revised Edition))

By Aleksander, Igor

Impossible Minds (My Neurons, My Consciousness (Revised Edition))

By Aleksander, Igor

HK$424

Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)

By Reisig, Wolfgang

Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)

By Reisig, Wolfgang

HK$500

Powers of Two (The Information Universe -- Information as the Building Block of Everything)

By Edwin A. Valentijn, Robbert Dijkgraaf

Powers of Two (The Information Universe -- Information as the Building Block of Everything)

By Edwin A. Valentijn, Robbert Dijkgraaf

HK$400 Elsewhere ~~HK$514.77~~ Save HK$114.77 (22%)

Intelligent Internet of Things for Healthcare and Industry (Internet of Things)

By Uttam Ghosh, Chinmay Chakraborty, Lalit Garg, Gautam Srivastava

Intelligent Internet of Things for Healthcare and Industry (Internet of Things)

By Uttam Ghosh, Chinmay Chakraborty, Lalit Garg, Gautam Srivastava

HK$1,160 Elsewhere ~~HK$1,338.56~~ Save HK$178.56 (13%)

Intelligent Internet of Things for Healthcare and Industry (Internet of Things)

By Uttam Ghosh, Chinmay Chakraborty, Lalit Garg, Gautam Srivastava

Intelligent Internet of Things for Healthcare and Industry (Internet of Things)

By Uttam Ghosh, Chinmay Chakraborty, Lalit Garg, Gautam Srivastava

HK$1,140 Elsewhere ~~HK$1,338.56~~ Save HK$198.56 (15%)

Computer Vision ECCV 2022

HK$1,000

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LV (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LV (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

HK$740

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LXXXV (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

Computer Vision – ECCV 2024 (18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LXXXV (Lecture Notes in Computer Science))

By Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky

HK$740

mural (A Formal Development Support System)

By C.B. Jones, J. Bicarregui, M. Elvang-Goransson, K.D. Jones

mural (A Formal Development Support System)

By C.B. Jones, J. Bicarregui, M. Elvang-Goransson, K.D. Jones

HK$558

Fme '93 Industrial-Strength Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James C.P. Woodcock, Peter G. Larsen

Fme '93 Industrial-Strength Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James C.P. Woodcock, Peter G. Larsen

HK$1,100

CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))

By Eike Best

CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))

By Eike Best

HK$560

View:
Safe Search(?):