Your search returned 24 results.

Not what you expected? Check for suggestions
Sort
Results
Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jrg Kreowski, Grzegorz Rozenberg.

by Corradini, Andrea | Ehrig, Hartmut | Kreowski, Hans -Jrg | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 2505,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18-20, 1992 Proceedings / edited by Ernst W. Mayr.

by Mayr, Ernst W.

Series: Serienbezeichnung | Lecture notes in computer science ; 657.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89 Castle Rolduc, the Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl.

by Nagl, Manfred.

Series: Serienbezeichnung | Lecture notes in computer science ; 411.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
The Munich Project CIP : Volume II: The Program Transformation System CIP-S / edited by F.L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper.

by Bauer, F. L | Ehler, H | Horsch, A | Möller, B | Partsch, H | Paukner, O | Pepper, P.

Series: Serienbezeichnung | Lecture notes in computer science ; 292.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical Foundations of Computer Science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / edited by Jiří Fiala, Václav Koubek, Jan Kratochvíl.

by Fiala, Jiří | Koubek, Václav | Kratochvíl, Jan.

Series: Serienbezeichnung | Lecture notes in computer science ; 3153.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28-October 1, 2004. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg.

by Ehrig, Hartmut | Engels, Gregor | Parisi-Presicce, Francesco | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 3256.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30-September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M | Sokołowski, Stefan.

Series: Serienbezeichnung | Lecture notes in computer science ; 711.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / edited by Jay McCarthy.

by International Symposium on Trends in Functional Programming (14th : 2013 : Provo, Utah) | McCarthy, Jay (Computer scientist) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8322. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014Other title: TFP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised selected papers / David Van Horn, John Hughes (eds.).

by International Symposium on Trends in Functional Programming (17th : 2016 : College Park, Md.) | Van Horn, David [editor.] | Hughes, John, 1958- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10447. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019Other title: TFP 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers / Viktória Zsók, John Hughes (eds.).

by International Symposium on Trends in Functional Programming (22nd : 2021 : Online) | Zsók, Viktória [editor.] | Hughes, John [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12834. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2021]Copyright date: ©2021Other title: TFP 2021.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers / Viktória Zsók, John Hughes (eds.).

by International Symposium on Trends in Functional Programming (22nd : 2021 : Online) | Zsók, Viktória [editor.] | Hughes, John [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12834. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2021]Copyright date: ©2021Other title: TFP 2021.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph structures for knowledge representation and reasoning : second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / Madalina Croitoru [and others] (eds.).

by GKR (Conference) (2nd : 2011 : Barcelona, Spain) | Croitoru, Madalina.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7205. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: GKR 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers / [edited by] Ricardo Peña, Rex Page.

by International Symposium on Trends in Functional Programming (12th : 2011 : Madrid, Spain) | Peña, Ricardo, 1950- | Page, Rex, 1944-.

Series: Serienbezeichnung | Lecture notes in computer science ; 7193. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2012Other title: TFP 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web reasoning and rule systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / Wolfgang Faber, Domenico Lembo (eds.).

by RR (Conference) (7th : 2013 : Mannheim, Germany) | Faber, Wolfgang [editor.] | Lembo, Domenico [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7994. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: RR 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers / Hans-Wolfgang Loidl, Ricardo Peña (Eds.).

by International Symposium on Trends in Functional Programming (13th : 2012 : St. Andrews, Scotland) | Loidl, Hans-Wolfgang [editor.] | Peña, Ricardo, 1950- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7829, | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: TFP 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 15th International Symposium, TFP 2014, Soesterberg, the Netherlands, May 26-28, 2014. Revised selected papers / Jurriaan Hage, Jay McCarthy (eds.).

by International Symposium on Trends in Functional Programming (15th : 2014 : Soesterberg, Netherlands) | Hage, Jurriaan [editor.] | McCarthy, Jay (Computer scientist) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8843. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: TFP 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers / Manuel Serrano, Jurriaan Hage (eds.).

by International Symposium on Trends in Functional Programming (16th : 2015 : Sophia-Antipolis, France) | Serrano, Manuel [editor.] | Hage, Jurriaan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9547. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Other title: TFP 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers / edited by Meng Wang, Scott Owens.

by International Symposium on Trends in Functional Programming (18th : 2017 : Canterbury, Great Britain) | Wang, Meng [editor.] | Owens, Scott [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10788. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint : Springer, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Developments in language theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings / Piotrek Hofman, Michał Skrzypczak (eds.).

by Conference on Developments in Language Theory (23rd : 2019 : Warsaw, Poland) | Hofman, Piotrek [editor.] | Skrzypczak, Michał [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11647. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2019]Other title: DLT 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers / William J. Bowman, Ronald Garcia (eds.).

by International Symposium on Trends in Functional Programming (20th : 2019 : Vancouver, B.C.) | Bowman, William J | Garcia, Ronald.

Series: Serienbezeichnung | Lecture notes in computer science ; 12053. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cham : Springer, 2020Other title: TFP 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha