Algebra and coalgebra in computer science second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /

Published 2007

Algorithms in bioinformatics 8th international workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008 : proceedings /

Published 2008

Bioinformatics problem solving paradigms /

by Sperschneider, Volker
Published 2008

FM 2008: formal methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /

Published 2008

Foundations of information and knowledge systems 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : proceedings /

Published 2006

Geometric algebra for computer graphics

by Vince, John (John A.)
Published 2008

Historical encyclopedia of natural and mathematical sciences

by Ben-Menahem, Ari
Published 2009

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /

Published 2018

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /

Published 2018

Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings /

Published 2007

Mathematical foundations of computer science 2008 33rd international symposium, MFCS 2008, Toruń, Poland, August 25-29, 2008 : proceedings /

Published 2008

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

Published 2006

Mathematical methods in computer science essays in memory of Thomas Beth /

Published 2008

Mathematics of program construction 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /

Published 2008

Numerical validation in current hardware architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 : revised papers /

Published 2009

Parallel processing and applied mathematics 6th international conference, PPAM 2005, Poznań, Poland, September 11-14, 2005 : revised selected papers /

Published 2006

Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 : revised selected papers /

Published 2008

Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene...

Published 2008

Scale space methods in computer vision 5th international conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005 : proceedings /

Published 2005

Stochastic algorithms foundations and applications : third international symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 ; proceedings /

Published 2005