Your search returned 15 results.

Not what you expected? Check for suggestions
1.
Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / Raoul Medina, Sergei Obiedkov (eds.).

by International Conference on Formal Concept Analysis (6th : 2008 : Montréal, Québec) | Medina, Raoul | Obiedkov, Sergei.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: ICFCA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Concept lattices and their applications : fourth international conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006 ; selected papers / Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek (eds.).

by CLA 2006 (2006 : Ḥammāmāt, Tunisia) | Ben Yahia, Sadok | Nguifo, Engelbert Mephu | Bělohlávek, Radim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Other title: CLA 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.).

by AISC (Conference) (8th : 2006 : Beijing, China) | Calmet, Jacques | Ida, Tetsuo | Wang, Dongming, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: AISC 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy.

by Kohlhase, Michael, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings / Serge Autexier [and others] (eds.).

by AISC (Conference) (10th : 2010 : Paris, France) | Autexier, Serge | Calculemus 2010 (2010 : Paris, France) | MKM (Conference) (9th : 2010 : Paris, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Other title: AISC 2010 | Calculemus 2010 | MKM 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Recent advances in constraints : 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / Javier Larrosa, Barry O'Sullivan (eds.).

by Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (14th : 2009 : Barcelona, Spain) | Larrosa, Javier | O'Sullivan, B. (Barry).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2011Other title: CSCLP 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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.).

by AISC (Conference) (11th : 2012 : Bremen, Germany) | Jeuring, Johan, 1965- | Calculemus (Symposium) (19th : 2012 : Bremen, Germany) | DML 2012 (2012 : Bremen, Germany) | MKM 2012 (2012 : Bremen, Germany) | CICM (Conference) (5th : 2012 : Bremen, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: AISC 2012 | Calculemus 2012 | DML 2012 | MKM 2012 | CICM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings / Peggy Cellier, Felix Distel, Bernhard Ganter (eds.).

by International Conference on Formal Concept Analysis (11th : 2013 : Dresden, Germany) | Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Mathematics and computation in music : 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013 : proceedings / Jason Yust, Jonathan Wild, John Ashley Burgoyne (eds.).

by MCM (Conference) (4th : 2013 : Montréal, Québec) | Yust, Jason | Wild, Jonathan | Burgoyne, John Ashley.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: MCM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.).

by CICM (Conference) (6th : 2013 : Bath, England) | Carette, Jacques (Computer scientist) [editor.] | Aspinall, D [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | MKM (Conference) (12th : 2013 : Bath, England) | Calculemus (Symposium) (20th : 2013 : Bath, England) | DML (Workshop) (6th : 2013 : Bath, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (Eds.).

by CICM (Conference) (2014 : Coimbra, Portugal) | Watt, Stephen M [editor.] | Davenport, James H [editor.] | Sexton, Alan P [editor.] | Sojka, Petr [editor.] | Urban, Josef [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: CICM 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings / Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martin-Mateos (eds.).

by AISC (Conference) (12th : 2014 : Seville, Spain) | Aranda-Corral, Gonzalo A [editor.] | Calmet, Jacques [editor.] | Martín-Mateos, Francisco, J [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham ; New York : Springer, [2014]Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego (eds.).

by International Conference on Formal Concept Analysis (13th : 2015 : Nerja, Spain) | Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel, 1967- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICFCA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Mathematics and computation in music : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / Tom Collins, David Meredith, Anja Volk (eds.).

by MCM (Conference) (5th : 2015 : London, England) | Collins, Tom [editor.] | Meredith, David [editor.] | Volk, Anja [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: MCM 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers / Francisco Botana, Pedro Quaresma (eds.).

by International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal) | Botana, Francisco [editor.] | Quaresma, Pedro [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ADG 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha