نتایج جستجو
برای Exit International، صفحه ۱۴۵ از ۱,۲۷۵ در بین ۳۱,۸۵۷ کتاب.
PDF
Adaptive Control of Chemical Processes 1985
International Federation of Automatic Control, Heinz Unbehauen, 1986PDF
IEEE International Conference on Fuzzy Systems: March 8-12, 1992, Town & Country Hotel, San Diego, California
S.N. Sivanandam, S. Sumathi, S. N. Deepa, 2006PDF
Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures
Richard Bird, Jeremy Gibbons (auth.), Johan Jeuring, Simon L. Peyton Jones (eds.), 2003PDF
Algorithmic Languages and Calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17–22 February 1997, Alsace, France
Richard S. Bird, Lambert Meertens (eds.), 1997PDF
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
