نتایج جستجو
برای International Code Council.، صفحه ۲۹۳ از ۱,۴۲۰ در بین ۳۵,۴۹۰ کتاب.
PDF
International Handbook Of Land And Property Taxation
Richard Miller Bird (Editor), Enid Slack (Editor), N. E. Slack (Editor), 2004PDF
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.), 2002PDF
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007PDF
Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Jeremy Gibbons (auth.), Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.), 2007PDF
Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Pei-Hsuan Tsai, Jane W. S. Liu (auth.), Jeremy Gibbons, Wendy MacCaull (eds.), 2014PDF
Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Nate Foster, Kazutaka Matsuda, Janis Voigtländer (auth.), Jeremy Gibbons (eds.), 2012PDF
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.), 2007PDF
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.), 2012PDF
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.), 2009PDF
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.), 2009PDF
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Jeffrey Kramer (auth.), Jeremy Gibbons, José Nuno Oliveira (eds.), 2009PDF
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
David Harel (auth.), Johan Jeuring (eds.), 1998PDF
Implementation of Functional Languages: 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers
Simon Peyton Jones, Thomas Nordin, Dino Oliva (auth.), Chris Clack, Kevin Hammond, Tony Davie (eds.), 1998PDF
Principles and Practice of Declarative Programming: International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings
Simon Peyton Jones, Norman Ramsey (auth.), Gopalan Nadathur (eds.), 1999PDF
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Simon Peyton-Jones (auth.), Masahito Hasegawa (eds.), 2013PDF
Biological and Medical Data Analysis: 5th International Symposium, ISBMDA 2004, Barcelona, Spain, November 18-19, 2004. Proceedings
Juan A. Hernández, Martha L. Mora, Emanuele Schiavi, Pablo Toharia (auth.), José María Barreiro, Fernando Martín-Sánchez, Víctor Maojo, Ferran Sanz (eds.), 2004PDF
Biological and Medical Data Analysis: 5th International Symposium, ISBMDA 2004, Barcelona, Spain, November 18-19, 2004. Proceedings
Juan A. Hernández, Martha L. Mora, Emanuele Schiavi, Pablo Toharia (auth.), José María Barreiro, Fernando Martín-Sánchez, Víctor Maojo, Ferran Sanz (eds.), 2004PDF
Active Networks: IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers
Hoa-Binh Nguyen, Andrzej Duda (auth.), Gary J. Minden, Kenneth L. Calvert, Marcin Solarski, Miki Yamamoto (eds.), 2007PDF
Advanced Computational Methods for Knowledge Engineering: Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria
Thanh Binh Nguyen, Tien van Do, Hoai An Le Thi, Ngoc Thanh Nguyen (eds.), 2016PDF
Ad Hoc Networks: 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers
Natalie Mitton, Antoine Gallais, Melike Erol Kantarci, Symeon Papavassiliou (eds.), 2014PDF
Ad Hoc Networks: 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings
Nathalie Mitton, Melike Erol Kantarci, Antoine Gallais, Symeon Papavassiliou (eds.), 2015PDF
Ad-hoc Networks and Wireless: ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers
Miguel Garcia Pineda, Jaime Lloret, Symeon Papavassiliou, Stefan Ruehrup, Carlos Becker Westphall (eds.), 2015PDF
Ad-hoc, Mobile, and Wireless Networks: 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
Jacek Cichoń, Jakub Lemiesz, Marcin Zawada (auth.), Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup (eds.), 2012PDF
Ad-hoc, Mobile, and Wireless Networks: 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
Jacek Cichoń, Jakub Lemiesz, Marcin Zawada (auth.), Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup (eds.), 2012PDF
