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

HK$1,178 Elsewhere ~~HK$1,911.10~~ Save HK$733.10 (38%)

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

HK$451 Elsewhere ~~HK$573.23~~ Save HK$122.23 (21%)

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

HK$292

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

HK$1,378 Elsewhere ~~HK$1,609.35~~ Save HK$231.35 (14%)

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

HK$1,490 Elsewhere ~~HK$1,850.75~~ Save HK$360.75 (19%)

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

HK$883 Elsewhere ~~HK$1,307.60~~ Save HK$424.60 (32%)

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

HK$540

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

HK$500

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á

HK$500

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

HK$483

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

HK$496

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

HK$1,100

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

HK$560

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

HK$500

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

HK$540

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

HK$1,039

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

HK$487

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

HK$557

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

HK$494

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

HK$536

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

HK$1,093

Oussalah, M (Software Architecture 1)

By Mourad Chabane Oussalah

Oussalah, M (Software Architecture 1)

By Mourad Chabane Oussalah

HK$1,200 Elsewhere ~~HK$1,397.62~~ Save HK$197.62 (14%)

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

HK$589 Elsewhere ~~HK$1,106.33~~ Save HK$517.33 (47%)

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

HK$572 Elsewhere ~~HK$1,106.33~~ Save HK$534.33 (48%)

View:
Safe Search(?):