Home Advanced Search

Advanced Search - Page 1

Analytical causatives: from ‘give’ and ‘come’ to ‘let’ and ‘make’

PDF
English
Author: Leino J., von Waldenfels R. (eds.)

The grammaticalization of 'give' + infinite. A comparative study of Russian, Polish and Czech

PDF
English
Author: Waldenfels Ruprecht von.

The Grammaticalization of 'Give' + Infinitive: A Comparative Study of Russian, Polish, and Czech

PDF
English
Year: 2012
Author: Ruprecht von Waldenfels

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

PDF
English
Year: 2011
Author: Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

PDF
English
Year: 2011
Author: K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings

PDF
English
Year: 2013
Author: Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Diseases of the Chest and Heart 2015–2018: Diagnostic Imaging and Interventional Techniques

PDF
English
Year: 2015
Author: J. Hodler, G. K. von Schulthess, R. A. Kubik-Huch, Ch. L. Zollikofer (eds.)

Diseases of the Abdomen and Pelvis 2014–2017: Diagnostic Imaging and Interventional Techniques

PDF
English
Year: 2014
Author: J. Hodler, G. K. von Schulthess, R. A. Kubik-Huch, Ch. L. Zollikofer (eds.)

Hyvää suomea

DJVU
Finnish
Year: 2006
Author: Pirkko Leino

Hyvää suomea

PDF
Finnish
Year: 2006
Author: Leino Pirkko