|
|
Medical Imaging Systems : An Introductory Guide.
by Maier, Andreas | Steidl, Stefan | Christlein, Vincent | Hornegger, Joachim. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2018Copyright date: �2018Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications.
by Berthold, Michael R. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2012Copyright date: �2012Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Telecommunication Economics : Selected Results of the COST Action IS0605 Econ@Tel.
by Hadjiantonis, Antonis M | Stiller, Burkhard. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2012Copyright date: �2012Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
The Future Internet : Future Internet Assembly 2013: Validated Results and New Horizons.
by Galis, Alex | Gavras, Anastasius. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2013Copyright date: �2013Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Semantic Systems. in the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, the Netherlands, September 7-10, 2020, Proceedings.
by Blomqvist, Eva | Groth, Paul | de Boer, Victor | Pellegrini, Tassilo | Alam, Mehwish | K�afer, Tobias | Kieseberg, Peter | Kirrane, Sabrina | Mero�no-Pe�nuela, Albert | Pandit, Harshvardhan J. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Haptics : 12th International Conference, EuroHaptics 2020, Leiden, the Netherlands, September 6-9, 2020, Proceedings.
by Nisky, Ilana | Hartcher-O'Brien, Jess | Wiertlewski, Micha�el | Smeets, Jeroen | Nisky, Ilana | Hartcher-O'Brien, Jess | Wiertlewski, Micha�el | Smeets, Jeroen. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 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.
by Yoshida, Nobuko. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 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, Part II.
by Groote, Jan Friso | Larsen, Kim Guldstrand. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL 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.
by Kiefer, Stefan | Tasson, Christine. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 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.
by Guerra, Esther | Stoelinga, Mari�elle. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 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, Part I.
by Groote, Jan Friso | Larsen, Kim Guldstrand. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers.
by Cochez, Michael | Croitoru, Madalina | Marquis, Pierre | Rudolph, Sebastian. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
The Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises.
by Domingue, John | Galis, Alex | Gavras, Anastasius | Zahariadis, Theodore | Lambert, Dave | Cleary, Frances | Daras, Petros | Krco, Srdjan | M�uller, Henning | Li, Man-Sze. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2011Copyright date: �2011Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
The Future Internet : Future Internet Assembly 2012: from Promises to Reality.
by Alvarez, Federico | Cleary, Frances | Daras, Petros | Domingue, John | Galis, Alex | Garcia, Ana | Gavras, Anastasius | Karnourskos, Stamatis | Krco, Srdjan | Li, Man-Sze. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2012Copyright date: �2012Online access: Click to View Availability: Items available for loan: IUKL 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.
by Goubault-Larrecq, Jean | K�onig, Barbara. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers.
by Amunts, Katrin | Grandinetti, Lucio | Lippert, Thomas | Petkov, Nicolai. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.
by Silva, Alexandra | Leino, K. Rustan M. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.
by Silva, Alexandra | Leino, K. Rustan M. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
The Once-Only Principle : The TOOP Project.
by Krimmer, Robert | Prentza, Andriana | Mamrot, Szymon. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|
|
|
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings.
by Platzer, Andr�e | Sutcliffe, Geoff. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: Items available for loan: IUKL Library (1).
|