Your search returned 51 results.

Not what you expected? Check for suggestions
41.
Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers / Walter Didimo, Maurizio Patrignani (eds.).

by GD (Symposium) (20th : 2012 : Redmond, Wash.) | Didimo, Walter | Patrignani, Maurizio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: GD 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
42.
Information theory, combinatorics, and search theory : in memory of Rudolf Ahlswede / Harout Aydinian, Ferdinando Cicalese, Christian Deppe (eds.).

by Aydinian, Harout | Cicalese, Ferdinando | Deppe, Christian.

Material type: Text Text; Format: available online remote festschrift ; 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 .
43.
Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013. Proceedings / Masahito Hasegawa (ed.).

by International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands) | Hasegawa, Masahito, 1970- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: TLCA 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
44.
Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / Reiko Heckel, Stefan Milius (eds.).

by CALCO (Conference) (5th : 2013 : Warsaw, Poland) | Heckel, Reiko [editor.] | Milius, Stefan [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: CALCO 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
45.
Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz (eds.).

by AADIOS (Meeting) (5th : 2012 : Sofia, Bulgaria) | Barkatou, Moulay [editor.] | Cluzeau, Thomas [editor.] | Regensburger, Georg [editor.] | Rosenkranz, Markus [editor.] | Applications of Computer Algebra Conference (2012 : Sofia, Bulgaria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
46.
Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.

by CPP (Conference) (3rd : 2013 : Melbourne, Vic.) | Gonthier, Georges [editor.] | Norrish, Michael [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2013Other title: CPP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
47.
Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings / Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile) | Kohlenbach, U. (Ulrich) [editor.] | Barceló, Pablo [editor.] | Queiroz, Ruy J. G. B. de [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2014]Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
48.
Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.).

by CASC (Workshop : 2001- ) (16th : 2014 : Poland, Warsaw) | Gerdt, V. P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: CASC 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
49.
Computer algebra and polynomials : applications of algebra and number theory / Jaime Gutierrez, Josef Schicho, Martin Weimann (eds.).

by Gutierrez, Jaime, 1959- [edt] | Schicho, Josef, 1964- [editor.] | Weimann, Martin [editor.] | Workshop on Computer Algebra and Polynomials (2013 : Radon Institute for Computational and Applied Mathematics).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
50.
Algebraic informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / Andreas Maletti (ed.).

by CAI (Conference) (6th : 2015 : Stuttgart, Germany) | Maletti, Andreas [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: CAI 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
51.
Algebraic informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings / Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).

by CAI (Conference) (8th : 2019 : Niš , Serbia) | Ćirić, Miroslav [editor.] | Droste, Manfred, 1956- [editor.] | Pin, Jean Eric [editor.].

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

Powered by Koha