Results
|
|
Networked systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, proceedings / Chryssis Georgiou, Rupak Majumdar (eds.). by NETYS (Conference) (8th : 2020 : Online) | Georgiou, Chryssis [editor.] | Majumdar, Rupak [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12129. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Source: Springer Nature eBookMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2021]Other title: NETYS 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Ad-Hoc, mobile, and wireless networks : 19th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2020, Bari, Italy, October 19-21, 2020, Proceedings / Luigi Alfredo Grieco, Gennaro Boggia, Giuseppe Piro, Yaser Jararweh, Claudia Campolo (eds.). by ADHOC-NOW (Conference) (19th : 2020 : Online) | Grieco, Luigi Alfredo [editor] | Boggia, Gennaro [editor] | Piro, Giuseppe [editor] | Jararweh, Yaser [editor] | Campolo, Claudia [editor]. Series: Serienbezeichnung | Lecture notes in computer science ; 12338. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020Other title: ADHOC-NOW 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Graph-theoretic concepts in computer science : 46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020, Revised selected papers / Isolde Adler, Haiko Müller (eds.). by International Workshop WG (46th : 2020 : Online) | Adler, Isolde [editor] | Müller, Haiko [editor]. Series: Serienbezeichnung | Lecture notes in computer science ; 12301. | 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 : Springer, 2020Other title: WG 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Graph-theoretic concepts in computer science : 46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020, Revised selected papers / Isolde Adler, Haiko Müller (eds.). by International Workshop WG (46th : 2020 : Online) | Adler, Isolde [editor] | Müller, Haiko [editor]. Series: Serienbezeichnung | Lecture notes in computer science ; 12301. | 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 : Springer, 2020Other title: WG 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Ad-Hoc, mobile, and wireless networks : 19th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2020, Bari, Italy, October 19-21, 2020, Proceedings / Luigi Alfredo Grieco, Gennaro Boggia, Giuseppe Piro, Yaser Jararweh, Claudia Campolo (eds.). by ADHOC-NOW (Conference) (19th : 2020 : Online) | Grieco, Luigi Alfredo [editor] | Boggia, Gennaro [editor] | Piro, Giuseppe [editor] | Jararweh, Yaser [editor] | Campolo, Claudia [editor]. Series: Serienbezeichnung | Lecture notes in computer science ; 12338. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020Other title: ADHOC-NOW 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Reachability problems : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / Sylvain Schmitz, Igor Potapov (eds.). by International Conference on Reachability Problems (14th : 2020 : online) | Schmitz, Sylvain [editor.] | Potapov, Igor [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12448. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020Other title: RP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Reachability problems : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / Sylvain Schmitz, Igor Potapov (eds.). by International Conference on Reachability Problems (14th : 2020 : online) | Schmitz, Sylvain [editor.] | Potapov, Igor [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12448. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020Other title: RP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Dang Van Hung, Oleg Sokolsky (eds.). by ATVA (Symposium) (18th : 2020 : Hanoi, Vietnam) | Dang, Hung Van, 1950- [editor.] | Sokolsky, Oleg [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12302. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020Other title: ATVA 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Dang Van Hung, Oleg Sokolsky (eds.). by ATVA (Symposium) (18th : 2020 : Hanoi, Vietnam) | Dang, Hung Van, 1950- [editor.] | Sokolsky, Oleg [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12302. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020Other title: ATVA 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Theory and applications of models of computation : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings / Jianer Chen, Qilong Feng, Jinhui Xu (eds.). by TAMC (Conference) (16th : 2020 : Changsha Shi, China) | Chen, Jianer [editor.] | Feng, Qilong [editor.] | Xu, Jinhui, 1970- [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12337. | 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 : Springer, 2020Other title: TAMC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Theory and applications of models of computation : 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings / Jianer Chen, Qilong Feng, Jinhui Xu (eds.). by TAMC (Conference) (16th : 2020 : Changsha Shi, China) | Chen, Jianer [editor.] | Feng, Qilong [editor.] | Xu, Jinhui, 1970- [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12337. | 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 : Springer, 2020Other title: TAMC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Combinatorial algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / edited by Zsuzsanna Lipták, William F. Smyth. by International Workshop on Combinatorial Algorithms (26th : 2015 : Verona, Italy) | Lipták, Zsuzsanna [editor.] | Smyth, William F [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 9538. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016Other title: IWOCA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings. Part III / Meikang Qiu (ed.). by International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.) | Qiu, Meikang [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12454. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2020]Other title: ICA3PP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
SOFSEM 2021: theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings / Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdziński, Claus Pahl, Florian Sikora, Prudence W.H. Wong (eds.). by SOFSEM (Conference) (47th : 2021 : Online) | Bures, Tomas [editor.] | Dondi, Riccardo [editor.] | Gamper, Johann [editor.] | Guerrini, Giovanna, 1969- [editor.] | Jurdzinski, Tomasz [editor.] | Pahl, Claus [editor.] | Sikora, Florian [editor.] | Wong, Prudence W.H [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 12607. | 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 : Springer, [2021]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi. by CAAP '83 (8th : 1983 : L'Aquila, Italy) | Ausiello, G. (Giorgio), 1941- | Protasi, M. (Marco), 1950-. Series: Serienbezeichnung | Lecture notes in computer science ; 159.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English, French Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings / Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia (eds.). by WADS 2001 (2001 : Providence, R.I.) | Dehne, F. (Frank), 1960- | Sack, J.-R. (Jörg-Rüdiger), 1954- | Tamassia, Roberto, 1960-. Series: Serienbezeichnung | Lecture notes in computer science ; 2125.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings / Olivier Danvy, Andrzej Filinski (eds.). by PADO 2001 (2001 : Aarhus, Denmark) | Danvy, Olivier | Filinski, Andrzej, 1965-. Series: Serienbezeichnung | Lecture notes in computer science ; 2053.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|