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$560

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,060

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$500

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$560

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$500

Product-Focused Software Process Improvement (12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings (Lecture Notes in Computer Science))

By Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio

Product-Focused Software Process Improvement (12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings (Lecture Notes in Computer Science))

By Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio

HK$575

ENTERprise Information Systems (International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part III (Communications in Computer and Information Science))

By Maria Manuela Cruz-Cunha, Joao Varajao, Philip Powell, Ricardo Martinho

ENTERprise Information Systems (International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part III (Communications in Computer and Information Science))

By Maria Manuela Cruz-Cunha, Joao Varajao, Philip Powell, Ricardo Martinho

HK$540

ENTERprise Information Systems (International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part II (Communications in Computer and Information Science))

By Maria Manuela Cruz-Cunha, Joao Varajao, Philip Powell, Ricardo Martinho

ENTERprise Information Systems (International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part II (Communications in Computer and Information Science))

By Maria Manuela Cruz-Cunha, Joao Varajao, Philip Powell, Ricardo Martinho

HK$540

ENTERprise Information Systems (International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part I (Communications in Computer and Information Science))

By Maria Manuela Cruz-Cunha, Joao Varajao, Philip Powell, Ricardo Martinho

ENTERprise Information Systems (International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part I (Communications in Computer and Information Science))

By Maria Manuela Cruz-Cunha, Joao Varajao, Philip Powell, Ricardo Martinho

HK$540

Resource Discovery (Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Seleted Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Zoe Lacroix, Maria Esther Vidal

Resource Discovery (Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Seleted Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Zoe Lacroix, Maria Esther Vidal

HK$496

SOFSEM 2012 (Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012, Proceedings (Lecture Notes in Computer Science))

By Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser

SOFSEM 2012 (Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012, Proceedings (Lecture Notes in Computer Science))

By Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser

HK$593

Software and Data Technologies (5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers (Communications in Computer and Information Science))

By Jose Cordeiro, Maria Virvou, Boris Shishkov

Software and Data Technologies (5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers (Communications in Computer and Information Science))

By Jose Cordeiro, Maria Virvou, Boris Shishkov

HK$797

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$553

Virtual and Networked Organizations, Emergent Technologies and Tools (First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers (Communications in Computer and Information Science))

By Goran D. Putnik, Maria Manuela Cruz-Cunha

Virtual and Networked Organizations, Emergent Technologies and Tools (First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers (Communications in Computer and Information Science))

By Goran D. Putnik, Maria Manuela Cruz-Cunha

HK$536

Software and Data Technologies (6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers (Communications in Computer and Information Science))

By Maria Jose Escalona, Jose Cordeiro, Boris Shishkov

Software and Data Technologies (6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers (Communications in Computer and Information Science))

By Maria Jose Escalona, Jose Cordeiro, Boris Shishkov

HK$500

Euro-Par 2012 (Parallel Processing Workshops: BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 27-31, 2012. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer S ..)

By Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Marco Danelutto

Euro-Par 2012 (Parallel Processing Workshops: BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 27-31, 2012. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer S ..)

By Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Marco Danelutto

HK$576

Automated Deduction -- CADE-24 (24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Maria Paola Bonacina

Automated Deduction -- CADE-24 (24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Maria Paola Bonacina

HK$560

SDL 2013: Model Driven Dependability Engineering (16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science))

By Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed

SDL 2013: Model Driven Dependability Engineering (16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science))

By Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed

HK$500

Product-Focused Software Process Improvement (14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013, Proceedings (Programming and Software Engineering))

By Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre

Product-Focused Software Process Improvement (14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013, Proceedings (Programming and Software Engineering))

By Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre

HK$539

Computational Science and Its Applications -- ICCSA 2013 (13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V (Lecture Notes in Computer Science/Theoretical Computer Science and General Issues))

By Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre

Computational Science and Its Applications -- ICCSA 2013 (13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V (Lecture Notes in Computer Science/Theoretical Computer Science and General Issues))

By Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre

HK$600

Computational Science and Its Applications -- ICCSA 2013 (13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV (Lecture Notes in Computer Science/Theoretical Computer Science and General Issues))

By Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre

Computational Science and Its Applications -- ICCSA 2013 (13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV (Lecture Notes in Computer Science/Theoretical Computer Science and General Issues))

By Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre

HK$631

Computer Performance Engineering (10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings (Programming and Software Engineering))

By Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin

Computer Performance Engineering (10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings (Programming and Software Engineering))

By Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin

HK$533

Resource Discovery (5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Zoe Lacroix, Maria Esther Vidal, Maria-Esther Vidal

Resource Discovery (5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI))

By Zoe Lacroix, Maria Esther Vidal, Maria-Esther Vidal

HK$447

Multimedia Tools for Communicating Mathematics (Mathematics and Visualization)

By Jonathan M. Borwein, Maria H. Morales, Konrad Polthier, Jose Francisco Rodrigues

Multimedia Tools for Communicating Mathematics (Mathematics and Visualization)

By Jonathan M. Borwein, Maria H. Morales, Konrad Polthier, Jose Francisco Rodrigues

HK$1,735 Elsewhere ~~HK$1,823.33~~ Save HK$88.33 (5%)

View:
Safe Search(?):