Home Advanced Search
Advanced Search - Page 1
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
- English
- Year: 2009
- Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
- English
- Year: 2018
- Author: Isil Dillig,Jens Palsberg (eds.)
A Combined Data and Power Management Infrastructure: For Small Satellites
- English
- Year: 2013
- Author: Jens Eickhoff (auth.), Jens Eickhoff (eds.)
Úvod do politickej filozofie I. Utópie, eutópie, dystópie a Machiavelli
- Slovak
- Year: 2019
- Author: Rastislav Nemec
Uvod do politickej filozofie II.
- Slovak
- Year: 2020
- Author: Nemec Rastislav
JavaScript : programujeme internetové aplikace
- Czech
- Year: 2004
- Author: Rastislav Škultéty
Základy politológie
- Slovak
- Author: Rastislav Tóth
Chinese Handwriting Recognition: An Algorithmic Perspective
- English
- Year: 2013
- Author: Tonghua Su (auth.)
Single-sensor imaging: methods and applications for digital cameras
- English
- Year: 2009
- Author: Lukac, Rastislav (ed.)
