Knygos pagal Sandro Etalle

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Sandro Etalle, Miroslav Truszczynski

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

Pierpaolo Degano, Sandro Etalle, Joshua Guttman

Turime sandėlyje pas mūsų tiekėją

Į krepšelį

Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Gilles Barthe, Anupam Datta, Sandro Etalle

Turime sandėlyje pas mūsų tiekėją

Į krepšelį