Suggested Topics within your search (to browse all results for a topic, do a new Subject search).
Showing 1 - 20 results of 71 for search '"Mathematics"', query time: 0.09s Refine Results
1
Theory and applications of models of computation : 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 ; proceedings / Jan Kratochvil [and others] (eds.).
Published 2010
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
3
Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : proceedings / Deepak Kapur (eds.).
Published 2008
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
4
Coalgebraic methods in computer science : 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012, Revised selected papers / Dirk Pattinson, Lutz Schröder (eds.).
Published 2012
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
5
Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / Johan Jeuring [and others] (eds.).
Published 2012
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
6
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.).
Published 2003
Subjects: “...Mathematics Data processing Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
7
Mathematical foundations of computer science 2005 : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29- September 2, 2005 : proceedings / Joanna Je̦drzejowicz, Andrzej Szepietowski (eds.).
Published 2005
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
8
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
Published 2011
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
9
Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011, Rotterdam, the Netherlands, May 30 - June 3, 2011 : proceedings / Harrie de Swart (ed.).
Published 2011
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
10
Theoretical and mathematical foundations of computer science : second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / Qihai Zhou (ed.).
Published 2011
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
11
Relational and algebraic methods in computer science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings / Wolfram Kahl, Timothy G. Griffin (eds.).
Published 2012
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
12
Formal concept analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings / Léonard Kwuida, Bariş Sertkaya (Eds.).
Published 2010
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
13
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.).
Published 2007
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
14
Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.).
Published 2009
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
15
Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / Jose Luiz Fiadeiro [and others] (eds.).
Published 2005
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
16
Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.).
Published 2011
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
17
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / Renate A. Schmidt (ed.).
Published 2006
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
18
Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings / Tarmo Uustalu (ed.).
Published 2006
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
20
Design and analysis of algorithms : first Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / Guy Even, Dror Rawitz (eds.).
Published 2012
Subjects: “...Computer science Mathematics Congresses....”
Electronic book from Springer Complete
Conference Proceeding eBook
Save to List
Saved in:
Search Tools: Email this Search — Save Search