36 results Refine Results
  1. 1
    Published 2006
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Theoretical computer science essays in memory of Shimon Even /
  2. 2
    Published 2008
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday /
  3. 3
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Graph transformations 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 : proceedings /
  4. 4
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Informatics education, the bridge between using and understanding computers International Conference in Informatics in Secondary Schools, Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006 : proceedings /
  5. 5
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Stochastic algorithms foundations and applications : third international symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 ; proceedings /
  6. 6
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Logical foundations of computer science international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
  7. 7
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Algebra and coalgebra in computer science second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
  8. 8
    Published 2008
    Connect to electronic resource
    Conference Proceeding eBook
    Save to List
    Saved in:
    LATIN 2008 theoretical informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008 : proceedings /
  9. 9
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Algebraic informatics second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers /
  10. 10
    Published 2008
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Transactions on computational science II
  11. 11
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings /
  12. 12
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Computing and combinatorics 13th annual international conference, COCOON 2007, Banff, Canada, July 16-19, 2007 : proceedings /
  13. 13
    Published 2009
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Numerical validation in current hardware architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers /
  14. 14
    Published 2009
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    WALCOM, algorithms and computation third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009 : proceedings /
  15. 15
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Graph-theoretic concepts in computer science 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers /
  16. 16
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings /
  17. 17
    Published 2009
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Logical foundations of computer science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings /
  18. 18
    Published 2008
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Mathematical methods in computer science essays in memory of Thomas Beth /
  19. 19
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Advances in computation and intelligence third international symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 : proceedings /
  20. 20
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FSTTCS 2007 foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings /

Search Tools: