Automated technology for verification and analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /

od ATVA 2011 (Simpósio), Bultan, Tevfik., Hsiung, Pao-Ann.
Izdano 2011.

Search based software engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings /

od SSBSE 2011 (Simpósio), Cohen, Myra B., O Cinneide, Mel.
Izdano 2011.

Applied cryptography and network security 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 : proceedings /

od ACNS 2011 (Conferência), López, Javier., Tsudik, G.
Izdano 2011.

Practical aspects of declarative languages 9th international symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings /

od PADL 2007, Hanus, Michael.
Izdano 2007.

Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /

od International Conference on Formal Engineering Methods, Butler, Michael., Hinchey, Michael G., Larrondo-Petrie, Maria M.
Izdano 2007.

Trustworthy software development processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 : proceedings /

od International Conference on the Software Process, Wang, Qing.
Izdano 2009.

The internet of the future 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009 : proceedings /

od EUNICE 2009, Oliver, Miquel., Sallent, Sebastià.
Izdano 2009.

KI 2009 advances in artificial intelligence : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009 : proceedings /

od German Conference on Artificial Intelligence, Mertsching, Bärbel., Hund, Marcus., Aziz, Zaheer.
Izdano 2009.

Engineering stochastic local search algorithms designing, implementing and analyzing effective heuristics : International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009...

od SLS 2009, Stützle, Thomas., Birattari, Mauro., Hoos, Holger H.
Izdano 2009.

Wireless sensor networks 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /

od EWSN 2011 (Conferência), Marrón, Pedro José., Whitehouse, Kamin.
Izdano 2011.

Combinatorial algorithms 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011 : revised selected papers /

od IWOCA 2011 (Workshop), Iliopoulos, C. S., Smyth, William F.
Izdano 2011.

System analysis and modeling about models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /

od SAM 2010 (Workshop), Kraemer, Frank Alexander., Herrmann, Peter.
Izdano 2011.

Pattern recognition Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011 : proceedings /

od MCPR 2011 (Conferência), Martínez-Trinidad, José Francisco.
Izdano 2011.

Persuasive technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008 : proceedings /

od International Conference on Persuasive Technology for Human Well-Being, Oinas-Kukkonen, Harri.
Izdano c2008

Cryptology and network security 6th international conference, CANS 2007, Singapore, December 8-10, 2007 : proceedings /

od International Conference on Cryptology and Network Security, Bao, Feng.
Izdano 2007.

Compiler construction 6th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 2...

od CC 2007, Krishnamurthi, Shriram., Odersky, Martin.
Izdano 2007.

Software technologies for embedded and ubiquitous systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007 : revised papers /

od SEUS (Workshop), Obermaisser, Roman.
Izdano 2007.

Grid economics and business models 4th international workshop, GECON 2007, Rennes, France, August 28, 2007 : proceedings /

od International Workshop on Grid Economics and Business Models, Altmann, Jorn., Veit, Daniel J.
Izdano 2007.

Ubiquitous convergence technology first international conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006 : revised selected papers /

od ICUCT 2006, Stajano, Frank.
Izdano 2007.

Managing virtualization of networks and services 18th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM 2007, San José, CA, USA, October 29-...

od IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, Clemm, Alexander., Zambenedetti Granville, Lisandro., Stadler, Rolf.
Izdano 2007.