نتایج جستجو
![Generic Programming: Advanced Lectures](http://cdn.ketabkoo.com/covers/0/95915-n.jpg)
Generic Programming: Advanced Lectures
Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.), 2003![Generic Programming: Advanced Lectures](http://cdn.ketabkoo.com/covers/0/95916-n.jpg)
Generic Programming: Advanced Lectures
Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.), 2003![Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany](http://cdn.ketabkoo.com/covers/0/95917-n.jpg)
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Thorsten Altenkirch, Conor Mcbride (auth.), Jeremy Gibbons, Johan Jeuring (eds.), 2003![Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers](http://cdn.ketabkoo.com/covers/0/95923-n.jpg)
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.), 2012![Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers](http://cdn.ketabkoo.com/covers/0/95924-n.jpg)
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.), 2012![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](http://cdn.ketabkoo.com/covers/0/95925-n.jpg)
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.), 2012![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](http://cdn.ketabkoo.com/covers/0/95926-n.jpg)
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.), 2012![Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings](http://cdn.ketabkoo.com/covers/0/95927-n.jpg)
Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings
David Harel (auth.), Johan Jeuring (eds.), 1998![Evolving Psychosis: Different Stages, Different Treatments](http://cdn.ketabkoo.com/covers/1/100442-n.jpg)
Evolving Psychosis: Different Stages, Different Treatments
Jan Olav Johannessen, Brian Martindale, Johan Cullberg, 2006![Evolving Psychosis: Different Stages, Different Treatments (International Society for the Psychological Treatment of Schizophrenia and Other Psychoses)](http://cdn.ketabkoo.com/covers/1/100443-n.jpg)
Evolving Psychosis: Different Stages, Different Treatments (International Society for the Psychological Treatment of Schizophrenia and Other Psychoses)
Jan Olav Johannessen, Brian Martindale, Johan Cullberg, 2006![Architectures and Synthesizers for Ultra-low Power Fast Frequency-Hopping WSN Radios](http://cdn.ketabkoo.com/covers/1/101435-n.jpg)
Architectures and Synthesizers for Ultra-low Power Fast Frequency-Hopping WSN Radios
Emanuele Lopelli, Johan van der Tang, Arthur H.M. van Roermund (auth.), 2011![Circuit Design For RF Transceivers](http://cdn.ketabkoo.com/covers/1/101436-n.jpg)
Circuit Design For RF Transceivers
Domine Leenaerts, Johan van der Tang, Cicero S. Vaucher (auth.), 2003![High-Frequency Oscillator Design for Integrated Transceivers](http://cdn.ketabkoo.com/covers/1/101437-n.jpg)
High-Frequency Oscillator Design for Integrated Transceivers
Johan van der Tang, Dieter Kasperkovitz, Arthur H. M. van Roermund, 2003![High-Frequency Oscillator Design for Integrated Transceivers](http://cdn.ketabkoo.com/covers/1/101438-n.jpg)
High-Frequency Oscillator Design for Integrated Transceivers
Johan van der Tang, Dieter Kasperkovitz, Arthur van Roermund (auth.), 2005![High-Frequency Oscillator Design for Integrated Transceivers (The Springer International Series in Engineering and Computer Science)](http://cdn.ketabkoo.com/covers/1/101439-n.jpg)
High-Frequency Oscillator Design for Integrated Transceivers (The Springer International Series in Engineering and Computer Science)
Johan van der Tang, Dieter Kasperkovitz, Arthur H. M. van Roermund, 2003![Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/109259-n.jpg)
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.), 2011![Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/109260-n.jpg)
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.), 2011![Categorial Grammar](http://cdn.ketabkoo.com/covers/1/110557-n.jpg)
Categorial Grammar
Dr. Wojciech Buszkowski, Dr. Witold Marciszewski, Prof. Dr. Johan van Benthem, 1988![Diamonds and Defaults: Studies in Pure and Applied Intensional Logic](http://cdn.ketabkoo.com/covers/1/110558-n.jpg)
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic
Johan van Benthem (auth.), Maarten de Rijke (eds.), 1993![Essays in Logical Semantics](http://cdn.ketabkoo.com/covers/1/110559-n.jpg)
Essays in Logical Semantics
Johan Van Benthem (auth.), 1986![Handbook of Logic and Language](http://cdn.ketabkoo.com/covers/1/110560-n.jpg)
Handbook of Logic and Language
Johan van Benthem, Alice ter Meulen (eds.), 1997![Handbook of Spatial Logics](http://cdn.ketabkoo.com/covers/1/110564-n.jpg)
Handbook of Spatial Logics
Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem (eds.), 2007![Handbook of Spatial Logics](http://cdn.ketabkoo.com/covers/1/110565-n.jpg)
Handbook of Spatial Logics
Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem (eds.), 2007![Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London](http://cdn.ketabkoo.com/covers/1/110566-n.jpg)
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
Johan van Benthem, Benedikt Lowe, Dov M. Gabbay, 2008![Johan Van Benthem on Logic and Information Dynamics](http://cdn.ketabkoo.com/covers/1/110567-n.jpg)