Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Ulrich Furbach
Download - Immediately Available
Format: eBook (PDF)
Algorithms and Computation : 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings
D.T. Lee
Download - Immediately Available
Format: eBook (PDF)
CONCUR 2002 - Concurrency Theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings
Lubos Brim
Download - Immediately Available
Format: eBook (PDF)
Algorithms and Computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings
Tetsuo Asano
Download - Immediately Available
Format: eBook (PDF)
Digital Mammography : 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings
Elizabeth Krupinski
Download - Immediately Available
Format: eBook (PDF)
Embedded and Ubiquitous Computing : IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings
Tei-Wei Kuo
Download - Immediately Available
Format: eBook (PDF)
Kommunikation in Verteilten Systemen : Anwendungen, Betrieb, Grundlagen GI/NTG-Fachtagung, Aachen, 16.-20. Februar 1987 Proceedings
Nina Gerner
Download - Immediately Available
Format: eBook (PDF)
The Geospatial Web : How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society
Arno Scharl
Download - Immediately Available
Format: eBook (PDF)
High Performance Computing -- HiPC 2003 : 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings
Timothy Mark Pinkston
Download - Immediately Available
Format: eBook (PDF)
Algorithms and Computation : 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings
Rudolf Fleischer
Download - Immediately Available
Format: eBook (PDF)
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Thomas Ball
Download - Immediately Available
Format: eBook (PDF)
Computing and Combinatorics : 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings
Jie Wang
Download - Immediately Available
Format: eBook (PDF)
Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
Markus Endler
Download - Immediately Available
Format: eBook (PDF)
Foundations of Intelligent Systems : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
Aijun An
Download - Immediately Available
Format: eBook (PDF)
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Aarti Gupta
Download - Immediately Available
Format: eBook (PDF)
High Performance Computing - HiPC 2008 : 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings
P. Sadayappan
Download - Immediately Available
Format: eBook (PDF)
Internet and Network Economics : 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings
Christos Papadimitriou
Download - Immediately Available
Format: eBook (PDF)
Bioinformatics and Biomedical Engineering : 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings
Francisco Ortuno
Download - Immediately Available
Format: eBook (PDF)
OOIS' 95 : 1995 International Conference on Object Oriented Information Systems, 18-20 December 1995, Dublin. Proceedings
John Murphy
Download - Immediately Available
Format: eBook (PDF)
CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Mario Bravetti
Download - Immediately Available
Format: eBook (PDF)
Algorithms and Computation : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
Ying Fei Dong
Download - Immediately Available
Format: eBook (PDF)
Experimental Algorithms : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings
Paola Festa
Download - Immediately Available
Format: eBook (PDF)
Transport Systems Telematics : 10th Conference, TST 2010, Katowice - Ustron, Poland, October 20-23, 2010. Selected Papers
Jerzy Mikulski
Download - Immediately Available
Format: eBook (PDF)
Advanced Information Systems Engineering Workshops : CAiSE 2011 International Workshops, London, UK, June 20-24, 2011, Proceedings
Camille Salinesi
Download - Immediately Available
Format: eBook (PDF)