نتایج جستجو

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]](http://cdn.ketabkoo.com/covers/1/122647-n.jpg)
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
CMOS cellular receiver front-ends : from specification to realization
Johan Janssens; Michiel Steyaert, 2002
CMOS Cellular Receiver Front-Ends: from Specification to Realization (The Springer International Series in Engineering and Computer Science)
Johan Janssens, Michiel Steyaert, 2002