کتاب های Johan Yu
کتاب های نویسنده
صفحه ۵ از ۳۰ در بین ۷۳۸ کتاب.
PDF
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.), 2011PDF
Categorial Grammar
Dr. Wojciech Buszkowski, Dr. Witold Marciszewski, Prof. Dr. Johan van Benthem, 1988PDF
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic
Johan van Benthem (auth.), Maarten de Rijke (eds.), 1993PDF
Essays in Logical Semantics
Johan Van Benthem (auth.), 1986PDF
Handbook of Logic and Language
Johan van Benthem, Alice ter Meulen (eds.), 1997PDF
Handbook of Spatial Logics
Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem (eds.), 2007DJVU
Handbook of Spatial Logics
Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem (eds.), 2007PDF
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
Johan van Benthem, Benedikt Lowe, Dov M. Gabbay, 2008DJVU
Language in Action: Categories, Lambdas and Dynamic Logic
Johan van Benthem, 1991PDF
Language in Action: Categories, Lambdas and Dynamic Logic
Johan van Benthem (Eds.), 1991DJVU
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1989PDF
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1989PDF
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.), 2009PDF
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.), 2009PDF
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.), 1997PDF
Logic in Games
Johan van van Benthem, 2014PDF
Achieving Competitive Edge Getting Ahead Through Technology and People: Proceedings of the OMA-UK Sixth International Conference
Henk A. Akkermans, Johan E. Van Aken (auth.), David Bennett, Colin Lewis (eds.), 1991PDF
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.), 2002PDF
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.), 2002PDF
![Biological Psychiatry [2 Vols]](http://cdn.ketabkoo.com/covers/1/122647-n.jpg)
Biological Psychiatry [2 Vols]
Hugo D'Haenen, Johan A. Den Boer, Paul Willner, 2002PDF
4G: LTE LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall, Johan Skold, 2011PDF
4G: LTE LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall, Johan Skold, 2011PDF
4G: LTE/LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall, Johan Skold, 2011PDF
4G: LTE/LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall and Johan Skold (Auth.), 2014PDF
