Home Advanced Search

Advanced Search - Page 1

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

PDF
English
Year: 2017
Author: Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

PDF
English
Year: 2013
Author: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

PDF
English
Year: 2013
Author: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

PDF
English
Year: 2013
Author: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

PDF
English
Year: 2013
Author: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)

Spiritul morometian

DJVU
Romanian
Year: 2014
Author: Radu Straton

Spiritul moromețian

PDF
Romanian
Year: 2014
Author: Radu Straton

Model risk in financial markets : from financial engineering to risk management

EPUB
English
Year: 2015
Author: Tunaru, Radu

Negotiating Internet Governance

PDF
English
Year: 2019
Author: Roxana Radu

Ultimele poeme

PDF
Romanian
Year: 1994
Author: Radu Gyr