کتاب های Eds.
کتاب های نویسنده
صفحه ۲۳۸ از ۱,۵۵۸ در بین ۳۸,۹۳۱ کتاب.
PDF
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
Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Johan Jeuring, Alex Gerdes, Bastiaan Heeren (auth.), Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer (eds.), 2012PDF
Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Johan Jeuring, Alex Gerdes, Bastiaan Heeren (auth.), Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer (eds.), 2012PDF
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Jesse Alama, Lionel Mamane, Josef Urban (auth.), Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (eds.), 2012PDF
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Jesse Alama, Lionel Mamane, Josef Urban (auth.), Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (eds.), 2012PDF
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
David Harel (auth.), Johan Jeuring (eds.), 1998PDF
ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Simon Peyton Jones (auth.), Sophia Drossopoulou (eds.), 2009PDF
ECOOP 2009 – Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Simon Peyton Jones (auth.), Sophia Drossopoulou (eds.), 2009PDF
Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
Guy Argo (auth.), Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst (eds.), 1991PDF
Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991
Gert Akerholt, Kevin Hammond, Simon Peyton Jones (auth.), Rogardt Heldal BSc, Carsten Kehler Holst cand. Scient., Philip Wadler PhD (eds.), 1992PDF
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
Coded Modulation Systems
John B. Anderson, Arne Svensson (auth.), Jack Keil Wolf, Robert J. McEliece, John Proakis, William H. Tranter (eds.), 2002PDF
Advances in Gene Technology: Molecular Genetics of Plants and Animals
Kathleen Downey, Richard W. Voellmy and Fazal Ahmad (Eds.), 1983PDF
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
Intelligent Information and Database Systems: 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II
Long Thanh Ngo, Binh Huy Pham (auth.), Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen (eds.), 2012PDF
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
