OMDoc, an open markup format for mathematical documents (version 1.2) /

by Kohlhase, Michael, 1964-
Published 2006

Introduction to geometric computing

by Ghali, Sherif
Published 2008

Computational linguistics and intelligent text processing 6th international conference, CICLing 2005, Mexico City, Mexico, Februray 13-19, 2005 : proceedings /

Published 2005

Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /

Published 2006

Transactions on computational science III

Published 2009

Algorithms and computation 17th international symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006 : proceedings /

Published 2006

Computational discovery of scientific knowledge introduction, techniques, and applications in environmental and life sciences /

Published 2007

VOCUS a visual attention system for object detection and goal-directed search /

by Frintrop, Simone
Published 2006

Computational geometry algorithms and applications /

Published 2008

Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings /

Published 2006

Graph-theoretic concepts in computer science 32nd international workshop, WG 2006, Bergen, Norway, June 22-24, 2006 : revised papers /

Published 2006

Computational methods in systems biology International conference CMSB 2006, Trento, Italy, October 18-19, 2006 : proceedings /

Published 2006

Evolutionary computation in combinatorial optimization 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings /

Published 2008

Algebraic informatics second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers /

Published 2007

Computational linguistics and intelligent text processing 8th international conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007 : proceedings /

Published 2007

Transactions on computational science II

Published 2008

Mathematical knowledge management 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers /

Published 2006

Automated deduction in geometry 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers /

Published 2007

Graph-theoretic concepts in computer science 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers /

Published 2007

Location- and context-awareness third international symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007 : proceedings /

Published 2007