Your search returned 13 results.

Not what you expected? Check for suggestions
Sort
Results
Distributed computing : 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings / Fabian Kuhn (Ed.).

by DISC (Symposium) (28th : 2014 : Austin, Texas) | Kuhn, Fabian [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8784. | Lecture notes in computer science. Advanced research in computing and software science. | 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, [2014]Copyright date: ©2014Other title: DISC 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computational structures : 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings / Martin Hofmann (ed.).

by FOSSACS (Conference) (14th : 2011 : Saarbrücken, Germany) | Hofmann, Martin | ETAPS (Conference) (2011 : Saarbrücken, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 6604. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: FOSSACS 2011 | ETAPS 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Frank Pfenning (ed.).

by FOSSACS (Conference) (16th : 2013 : Rome, Italy) | Pfenning, Frank | ETAPS (Conference) (16th : 2013 : Rome, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 7794. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: FOSSACS 2013 | ETAPS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.

by FOSSACS (Conference) (17th : 2014 : Grenoble, France) | Muscholl, Anca [editor.] | ETAPS (Conference) (17th : 2014 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 8412. | Lecture notes in computer science. Advanced research in computing and software science. | 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: FOSSACS.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Andrew Pitts (ed.).

by FOSSACS (Conference) (18th : 2015 : London, England) | Pitts, A. M. (Andrew M.) [editor.] | ETAPS (Conference) (18th : 2015 : London, England).

Series: Serienbezeichnung | Lecture notes in computer science ; 9034. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2015Other title: FOSSACS 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings / Bart Jacobs, Christof Löding (eds.).

by FOSSACS (Conference) (19th : 2016 : Eindhoven, Netherlands) | Jacobs, Bart [editor.] | Löding, Christof [editor.] | ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands).

Series: Serienbezeichnung | Lecture notes in computer science ; 9634. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2016Other title: FOSSACS 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / Javier Esparza, Andrzej S. Murawski, editors.

by FOSSACS (Conference) (20th : 2017 : Uppsala, Sweden) | Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | ETAPS (Conference) jointly held conference (20th : 2017 : Uppsala, Sweden) [].

Series: Serienbezeichnung | Lecture notes in computer science ; 10203. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Germany : Springer, 2017Other title: FOSSACS 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings / Christel Baier, Ugo Dal Lago (eds.).

by FOSSACS (Conference) (21st : 2018 : Thessalonikē, Greece) | Baier, Christel [editor.] | Dal Lago, Ugo (Computer scientist) [editor.] | ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece).

Series: Serienbezeichnung | Lecture notes in computer science ; 10803. | Lecture notes in computer science. Advanced research in computing and software science. | 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, 2018Other title: FOSSACS 2018 | ETAPS 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web and internet economics : 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018, proceedings / George Christodoulou, Tobias Harks (eds.).

by WINE (Conference) (14th : 2018 : Oxford, England) | Christodoulou, George [editor.] | Harks, Tobias [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11316. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI ; ; 11316.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: [Cham, Switzerland] : Springer, [2018]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / Mikołaj Bojańczyk, Alex Simpson (eds.).

by FOSSACS (Conference) (22nd : 2019 : Prague, Czech Republic) | Bojańczyk, Mikołaj [editor.] | Simpson, Alex [editor.] | ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic).

Series: Serienbezeichnung | Lecture notes in computer science ; 11425. | Lecture notes in computer science. Advanced research in computing and software science. | 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: FOSSACS 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings / Jean Goubault-Larrecq, Barbara König (eds.).

by FOSSACS (Conference) (23rd : 2020 : Dublin, Ireland) | Goubault-Larrecq, Jean [editor.] | König, Barbara (Professor of Information Engineering) [editor.] | ETAPS (Conference) (23rd : 2020 : Dublin, Ireland).

Series: Serienbezeichnung | Lecture notes in computer science ; 12077. | Lecture notes in computer science. Advanced research in computing and software science. | 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 Open, 2020Other title: FOSSACS 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 24th international conference, FOSSACS 2021 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, proceedings / Stefan Kiefer, Christine Tasson (eds.).

by FOSSACS (Conference) (24th : 2021: Online) | Kiefer, Stefan [editor.] | Tasson, Christine [editor.] | ETAPS (Conference) (24th : 2021 : Online).

Series: Serienbezeichnung | Lecture notes in computer science ; 12650. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2021]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Lars Birkedal (ed.).

by FOSSACS (Conference) (15th : 2012 : Tallinn, Estonia) | Birkedal, Lars | ETAPS (Conference) (2012 : Tallinn, Estonia).

Series: Serienbezeichnung | Lecture notes in computer science ; 7213. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: FOSSACS 2012 | ETAPS 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha