Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /

Հրապարակվել է 2005

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

Հրապարակվել է 2007

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

Հրապարակվել է 2008

Bioinformatics problem solving paradigms /

‌ Sperschneider, Volker
Հրապարակվել է 2008

Deep structure, singularities, and computer vision first International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005 : revised selected papers /

Հրապարակվել է 2005

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

Հրապարակվել է 2008

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

Հրապարակվել է 2006

Geometric algebra for computer graphics

‌ Vince, John (John A.)
Հրապարակվել է 2008

Historical encyclopedia of natural and mathematical sciences

‌ Ben-Menahem, Ari
Հրապարակվել է 2009

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

Հրապարակվել է 2018

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

Հրապարակվել է 2018

Mathematical foundations of computer science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : proceedings /

Հրապարակվել է 2005

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

Հրապարակվել է 2007

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

Հրապարակվել է 2008

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

Հրապարակվել է 2006

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

Հրապարակվել է 2008

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

Հրապարակվել է 2008

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

Հրապարակվել է 2009

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

Հրապարակվել է 2006

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

Հրապարակվել է 2008