نتایج جستجو
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
Johan van Benthem, Benedikt Lowe, Dov M. Gabbay, 2008
Johan Van Benthem on Logic and Information Dynamics
Alexandru Baltag, Sonja Smets (eds.), 2014
Language in Action: Categories, Lambdas and Dynamic Logic
Johan van Benthem, 1991
Language in Action: Categories, Lambdas and Dynamic Logic
Johan van Benthem (Eds.), 1991
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.), 1989
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.), 1989
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.), 2009
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.), 2009
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.), 1997
Logic in Games
Johan van van Benthem, 2014
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.), 1991
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.), 2002
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.), 2002
Biological Psychiatry [2 Vols]
Hugo D'Haenen, Johan A. Den Boer, Paul Willner, 2002
4G: LTE LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall, Johan Skold, 2011
4G: LTE LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall, Johan Skold, 2011
4G: LTE/LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall, Johan Skold, 2011
4G: LTE/LTE-Advanced for Mobile Broadband
Erik Dahlman, Stefan Parkvall and Johan Skold (Auth.), 2014
HSPA Evolution: The Fundamentals for Mobile Broadband
Thomas Chapman, Erik Larsson, PETER von Wrycza, Erik Dahlman, Stefan Parkvall, Johan Skold, 2014
Integrated watershed management in rainfed agriculture
SP Wani; Johan Rockström; KL Sahrawat, 2011
Integrated Watershed Management in Rainfed Agriculture
Suhas P. Wani, Johan Rockstrom, Kanwar Lal Sahrawat, 2011
Advances in Quantitative Coronary Arteriography
Michael J. Davies (auth.), Johan H. C. Reiber, Patrick W. Serruys (eds.), 1993
Cmos Cellular Receiver Front-Ends
Johan Janssens, 1999
