Theory and applications of satisfiability testing - SAT 2009 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 : proceedings /

Autor SAT 2009, Kullmann, Oliver.
Vydáno 2009.

Static analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /

Autor International Static Analysis Symposium, Yahav, Eran.
Vydáno 2011.

Theory and applications of satisfiability testing - SAT 2006 9th international conference, Seattle, WA, USA, August 12-15, 2006: proceedings /

Autor SAT 2006, Biere, Armin., Gomes, Carla P.
Vydáno 2006.

Theory and applications of satisfiability testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /

Autor SAT 2008, Kleine Büning, H., Zhao, Xishun
Vydáno c2008

Theory and application of satisfiability testing 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /

Autor SAT 2011, Sakallah, Karem A., Simon, Laurent.
Vydáno 2011.

Architecting dependable systems III

Autor Lemos, Rogério de, Gacek, Cristina., Romanovsky, Alexander
Vydáno 2005.

Security in ad-hoc and sensor networks First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004 : revised selected papers /

Autor European Workshop on Security in Ad-Hoc and Sensor Networks, Castelluccia, Claude.
Vydáno 2005.

Massively multi-agent systems I First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004 : revised selected and invited papers /

Autor MMAS 2004, Ishida, Toru., Gasser, Leslie George, Nakashima, Hideyuki.
Vydáno 2005.

Text, speech and dialogue 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005 : proceedings /

Autor TSD 2005, Matoušek, Václav., Mautner, Pavel., Pavelka, Tomáš.
Vydáno 2005.

Web and communication technologies and internet-related social issues - HSI 2005 3rd International Conference on Human-Society@Internet, Tokyo, Japan, July 27-29, 2005 : proceeding...

Autor International Conference Human.Society@Internet, Shimojo, Shinji.
Vydáno 2005.

Algorithms and data structures 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005 : proceedings /

Autor WADS, Dehne, Frank., López-Ortiz, Alejandro., Sack, Jörg-Rüdiger.
Vydáno 2005.

Independent component analysis and signal separation : 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 proceedings /

Autor ICA 2009, Adali, Tülay.
Vydáno c2009

Independent component analysis and signal separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 : proceedings /

Autor ICA 2009, Adali, Tulay.
Vydáno 2009.

Abstraction, reformulation and approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings /

Autor SARA 2005, Zucker, Jean-Daniel., Saitta, Lorenza.
Vydáno 2005.

Formal modeling and analysis of timed systems Third International Conference, FORMATS 2005, Uppsala, Sweden, september 26-28, 2005 : proceedings /

Autor FORMATS 2005, Pettersson, Paul., Yi, Wang.
Vydáno 2005.

Public key infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005 : revised selected papers /

Autor European PKI Workshop, Chadwick, David., Zhao, Gansen.
Vydáno 2005.

Theory of cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005 : proceedings /

Autor Theory of Cryptography Conference, Kilian, Joe.
Vydáno 2005.

Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /

Autor LPAR (Conferência), Sutcliffe, Geoff., Voronkov, Andrei
Vydáno 2005.

Unconventional programming paradigms International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004 : revised selected and invited papers /

Autor UPP 2004, Banâtre, Jean-Pierre.
Vydáno 2005.

Artificial immune systems 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005 : proceedings /

Autor ICARIS 2005, Jacob, Christian.
Vydáno 2005.