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; Format:
available online
 ; 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).
|
|
|
|
|
|
|
|
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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).
|
|
|
|
|
|
|
|
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; Format:
available online
; 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; Format:
available online
; 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 : 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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; Format:
available online
; 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).
|