Home Advanced Search

Advanced Search - Page 1

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)
Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)
Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Amir Pnueli (auth.), Oded Maler (eds.)
程序设计语言的形式语义
  • PDF
  • Chinese
  • Year: 2004
  • Author: Glynn Winskel
Set Theory for Computer Science [lecture notes]
  • PDF
  • English
  • Year: 2010
  • Author: Glynn Winskel
Discrete Mathematics II: Set Theory for Computer Science, Part IA Comp. Sci. Lecture Notes
  • PDF
  • English
  • Year: 2012
  • Author: Glynn Winskel
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
  • PDF
  • English
  • Year: 1993
  • Author: Glynn Winskel
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
search