Home Advanced Search

Advanced Search - Page 1

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.)
A Systolic Array Optimizing Compiler
  • PDF
  • English
  • Year: 1988
  • Author: Monica S. Lam (auth.)
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
Nonmonotonic Logic: Context-Dependent Reasoning
  • PDF
  • English
  • Year: 1993
  • Author: V. Wiktor Marek, Mirosław Truszczyński (auth.)
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Mihhail Aizatulin, François Dupressoir (auth.), Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Learning and Reasoning with Complex Representations: PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26–30, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Srinivas Padmanabhuni, Aditya K. Ghose (auth.), Grigoris Antoniou, Aditya K. Ghose, Mirosław Truszczyński (eds.)
Learning and Reasoning with Complex Representations: PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26–30, 1996 Selected Papers
  • PDF
  • English
  • Year: 1998
  • Author: Srinivas Padmanabhuni, Aditya K. Ghose (auth.), Grigoris Antoniou, Aditya K. Ghose, Mirosław Truszczyński (eds.)
search