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