Home Advanced Search

Advanced Search - Page 1

Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Viviana Bono, Sara Capecchi, Ilaria Castellani (auth.), Roberto Bruni, Vladimiro Sassone (eds.)
CONCUR '96: Concurrency Theory: 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Samson Abramsky (auth.), Ugo Montanari, Vladimiro Sassone (eds.)
Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Bart Jacobs (auth.), Cristian S. Calude, Vladimiro Sassone (eds.)
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
  • PDF
  • English
  • Year: 2006
  • Author: Cynthia Dwork (auth.), Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.)
Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Georg Gottlob, Marco Manna, Michael Morak (auth.), Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.)
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
  • PDF
  • English
  • Year: 2006
  • Author: Noga Alon, Asaf Shapira, Benny Sudakov (auth.), Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.)
STACS 93: 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Ilaria Castellani (auth.), P. Enjalbert, A. Finkel, K. W. Wagner (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
search