انتشارات Springer.
کتاب های انتشارات
صفحه ۴۱۳ از ۶,۳۴۰ در بین ۱۵۸,۴۸۳ کتاب.
PDF
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
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
Load-Pull Techniques with Applications to Power Amplifier Design
Fadhel M. Ghannouchi, Mohammad S. Hashmi (auth.), 2013PDF
Multiband RF Circuits and Techniques for Wireless Transmitters
Wenhua Chen, Karun Rawat, Fadhel M. Ghannouchi (auth.), 2016PDF
RF Transceiver Design for MIMO Wireless Communications
Abbas Mohammadi, Fadhel M. Ghannouchi (auth.), 2012PDF
RF Transceiver Design for MIMO Wireless Communications
Abbas Mohammadi, Fadhel M. Ghannouchi (auth.), 2012PDF
Coded Modulation Systems
John B. Anderson, Arne Svensson (auth.), Jack Keil Wolf, Robert J. McEliece, John Proakis, William H. Tranter (eds.), 2002PDF
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
