Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Proceedings of the GM R & D Workshop, Bangalore, India, January 2007)

By S. Ramesh, P. Sampath

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Proceedings of the GM R & D Workshop, Bangalore, India, January 2007)

By S. Ramesh, P. Sampath

HK$1,340

Transactions on Computational Collective Intelligence XVII (Lecture Notes in Computer Science)

By Ngoc Thanh Nguyen, Ryszard Kowalczyk, Ana Fred, Filipe Joaquim

Transactions on Computational Collective Intelligence XVII (Lecture Notes in Computer Science)

By Ngoc Thanh Nguyen, Ryszard Kowalczyk, Ana Fred, Filipe Joaquim

HK$740

Numerical Simulation in Tunnelling

By Gernot Beer

Numerical Simulation in Tunnelling

By Gernot Beer

HK$975

Analytical Modeling of Wireless Communication Systems

By Chiasserini, Carla-Fabiana, Gribaudo, Marco, Daniele Manini

Analytical Modeling of Wireless Communication Systems

By Chiasserini, Carla-Fabiana, Gribaudo, Marco, Daniele Manini

HK$1,160 Elsewhere ~~HK$1,429.96~~ Save HK$269.96 (19%)

PEM Fuel Cells with Bio-Ethanol Processor Systems (A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Control (Green Energy and Technology))

By Marta S. Basualdo, Diego Feroldi, Rachid Outbib

PEM Fuel Cells with Bio-Ethanol Processor Systems (A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Control (Green Energy and Technology))

By Marta S. Basualdo, Diego Feroldi, Rachid Outbib

HK$1,400

Security by Design (Innovative Perspectives on Complex Problems (Advanced Sciences and Technologies for Security Applications))

By Anthony J. Masys

Security by Design (Innovative Perspectives on Complex Problems (Advanced Sciences and Technologies for Security Applications))

By Anthony J. Masys

HK$1,100

Formal Methods and Software Engineering (21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Yamine Ait-Ameur, Shengchao Qin

Formal Methods and Software Engineering (21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Yamine Ait-Ameur, Shengchao Qin

HK$559

Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness (The PAAMS Collection: 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings (Lecture Notes in Computer Science))

By Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini

Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness (The PAAMS Collection: 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings (Lecture Notes in Computer Science))

By Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini

HK$553

Computer Aided Verification (33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alexandra Silva, K. Rustan M. Leino

Computer Aided Verification (33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Alexandra Silva, K. Rustan M. Leino

HK$560

Introduction to Crowd Management (Managing Crowds in the Digital Era: Theory and Practice)

By Feliciani, Claudio, Nishinari, Katsuhiro, Katsuhiro Nishinari

Introduction to Crowd Management (Managing Crowds in the Digital Era: Theory and Practice)

By Feliciani, Claudio, Nishinari, Katsuhiro, Katsuhiro Nishinari

HK$1,140 Elsewhere ~~HK$1,234.84~~ Save HK$94.84 (8%)

Introduction to Crowd Management (Managing Crowds in the Digital Era: Theory and Practice)

By Claudio Feliciani, Kenichiro Shimura, Katsuhiro Nishinari

Introduction to Crowd Management (Managing Crowds in the Digital Era: Theory and Practice)

By Claudio Feliciani, Kenichiro Shimura, Katsuhiro Nishinari

HK$797 Elsewhere ~~HK$926.10~~ Save HK$129.10 (14%)

Simulation and Gaming for Social Impact (53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers (Lecture Notes in Computer Science))

By Casper Harteveld, Steven Sutherland, Giovanni Troiano, Heide Lukosch

Simulation and Gaming for Social Impact (53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers (Lecture Notes in Computer Science))

By Casper Harteveld, Steven Sutherland, Giovanni Troiano, Heide Lukosch

HK$540 Elsewhere ~~HK$617.37~~ Save HK$77.37 (13%)

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

HK$536

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

HK$1,100

Computational Science and High Performance Computing (Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 (Notes on Numerical Fluid Mechanics and Multidisciplinary Design))

By Egon Krause, Yurii I. Shokin, Nina Shokina, Nina Shokina

Computational Science and High Performance Computing (Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 (Notes on Numerical Fluid Mechanics and Multidisciplinary Design))

By Egon Krause, Yurii I. Shokin, Nina Shokina, Nina Shokina

HK$1,783 Elsewhere ~~HK$1,852.31~~ Save HK$69.31 (4%)

Modeling Decisions for Artificial Intelligence (Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Vincenc Torra, Yasuo Narukawa, Sadaaki Miyamoto

Modeling Decisions for Artificial Intelligence (Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Vincenc Torra, Yasuo Narukawa, Sadaaki Miyamoto

HK$659

Computer Aided Systems Theory - Eurocast '97 (A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 24-28, 1997, Proceedings (Lecture Notes in Computer Science / Lecture N)

By Franz Pichler, Roberto Moreno-Diaz

Computer Aided Systems Theory - Eurocast '97 (A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 24-28, 1997, Proceedings (Lecture Notes in Computer Science / Lecture N)

By Franz Pichler, Roberto Moreno-Diaz

HK$994

Virtual Worlds (First International Conference, VW'98, Paris, France, July 1-3, 1998 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Claude Heudin

Virtual Worlds (First International Conference, VW'98, Paris, France, July 1-3, 1998 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Claude Heudin

HK$500

Algorithms and Architectures for Parallel Processing (7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Haj Jin, Omer F. Rana, Yi Pan, Victor K. Prasanna

Algorithms and Architectures for Parallel Processing (7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Haj Jin, Omer F. Rana, Yi Pan, Victor K. Prasanna

HK$560

Digital Human Modeling (First International Conference, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HC)

By Vincent D. Duffy

Digital Human Modeling (First International Conference, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HC)

By Vincent D. Duffy

HK$1,500

Model Driven Engineering Languages and Systems (10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank. Weil

Model Driven Engineering Languages and Systems (10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank. Weil

HK$1,000

Leveraging Applications of Formal Methods, Verification and Validation (Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in Computer and Information Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation (Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in Computer and Information Science))

By Tiziana Margaria, Bernhard Steffen

HK$1,457

Numerical Simulation in Tunnelling

By Gernot Beer

Numerical Simulation in Tunnelling

By Gernot Beer

HK$1,540

View:
Safe Search(?):