Tools and Methods of Program Analysis (4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science))

By Vladimir Itsykson, Andre Scedrov, Victor Zakharov

Tools and Methods of Program Analysis (4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science))

By Vladimir Itsykson, Andre Scedrov, Victor Zakharov

HK$500

Recent Trends in Algebraic Development Techniques (23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (Lecture Notes in Computer Science))

By Phillip James, Markus Roggenbach

Recent Trends in Algebraic Development Techniques (23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (Lecture Notes in Computer Science))

By Phillip James, Markus Roggenbach

HK$680

Guide to Scientific Computing in C++ (Undergraduate Topics in Computer Science)

By Pitt-Francis, Joe, Whiteley, Jonathan

Guide to Scientific Computing in C++ (Undergraduate Topics in Computer Science)

By Pitt-Francis, Joe, Whiteley, Jonathan

HK$270 Elsewhere ~~HK$463.36~~ Save HK$193.36 (42%)

Advanced Hybrid Information Processing (First International Conference, ADHIP 2017, Harbin, China, July 17-18, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By Guanglu Sun, Shuai Liu

Advanced Hybrid Information Processing (First International Conference, ADHIP 2017, Harbin, China, July 17-18, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By Guanglu Sun, Shuai Liu

HK$583

Integrated Formal Methods (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlo A. Furia, Kirsten Winter

Integrated Formal Methods (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlo A. Furia, Kirsten Winter

HK$551

Models in Software Engineering (Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (Lecture Notes in Computer Science))

By Michel R.V. Chaudron

Models in Software Engineering (Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (Lecture Notes in Computer Science))

By Michel R.V. Chaudron

HK$540

Trustworthy Software Development Processes (International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Qing Wang, Vahid Garousi, Raymond Madachy, Dietmar Pfahl

Trustworthy Software Development Processes (International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Qing Wang, Vahid Garousi, Raymond Madachy, Dietmar Pfahl

HK$551

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

HK$540

Engineering Psychology and Cognitive Ergonomics (8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Sc ..)

By Donald Harris

Engineering Psychology and Cognitive Ergonomics (8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Sc ..)

By Donald Harris

HK$1,000

Advances in Computation and Intelligence (4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Gene ..)

By Zhihua Cai, Li Zhenhua, Zhuo Kang, Yong Liu

Advances in Computation and Intelligence (4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Gene ..)

By Zhihua Cai, Li Zhenhua, Zhuo Kang, Yong Liu

HK$1,000

Artificial Life (Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Kevin B. Korb, Marcus Randall, Tim Hendtlass

Artificial Life (Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Kevin B. Korb, Marcus Randall, Tim Hendtlass

HK$500

Membrane Computing (10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg

Membrane Computing (10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg

HK$578

Software Language Engineering (Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mark Van den Brand, Dragan Gasevic, Jeff Gray

Software Language Engineering (Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mark Van den Brand, Dragan Gasevic, Jeff Gray

HK$560

Computer and Computing Technologies in Agriculture (Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers: III (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Chunjiang Zhao

Computer and Computing Technologies in Agriculture (Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers: III (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Chunjiang Zhao

HK$1,050

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

HK$1,079

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Part II, Selected Papers (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Part II, Selected Papers (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

HK$1,072

Multi-Agent-Based Simulation (International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers: v. 11 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Tibor Bosse, Armando Geller, Catholijn M. Jonker

Multi-Agent-Based Simulation (International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers: v. 11 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Tibor Bosse, Armando Geller, Catholijn M. Jonker

HK$493

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part III (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part III (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

HK$1,081

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

Computer and Computing Technologies in Agriculture IV (4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yande Liu, Yingyi Chen

HK$1,085

Computer and Computing Technologies in Agriculture (5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yingyi Chen

Computer and Computing Technologies in Agriculture (5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yingyi Chen

HK$1,040

Computer and Computing Technologies in Agriculture (5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yingyi Chen

Computer and Computing Technologies in Agriculture (5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yingyi Chen

HK$1,060

Computer and Computing Technologies in Agriculture (5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yingyi Chen

Computer and Computing Technologies in Agriculture (5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I (IFIP Advances in Information and Communication Technology))

By Daoliang Li, Yingyi Chen

HK$1,040

Model Driven Engineering Languages and Systems (15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Robert B. France, Jurgen Kazmeier, Ruth Breu, Colin Atkinson

Model Driven Engineering Languages and Systems (15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Robert B. France, Jurgen Kazmeier, Ruth Breu, Colin Atkinson

HK$635

Neural Information Processing (19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : Proceedings: Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung

Neural Information Processing (19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : Proceedings: Part I (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung

HK$600

View:
Safe Search(?):