Your search returned 46 results.

Not what you expected? Check for suggestions
Sort
Results
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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: No items available.

Medical Imaging Systems : An Introductory Guide.

by Maier, Andreas | Steidl, Stefan | Christlein, Vincent | Hornegger, Joachim.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2018Copyright date: �2018Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2012Copyright date: �2012Online access: Click to View Availability: No items available.

Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications.

by Berthold, Michael R.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2012Copyright date: �2012Online access: Click to View Availability: No items available.

Telecommunication Economics : Selected Results of the COST Action IS0605 Econ@Tel.

by Hadjiantonis, Antonis M | Stiller, Burkhard.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2012Copyright date: �2012Online access: Click to View Availability: No items available.

The Future Internet : Future Internet Assembly 2013: Validated Results and New Horizons.

by Galis, Alex | Gavras, Anastasius.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2013Copyright date: �2013Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2011Copyright date: �2011Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.

by Silva, Alexandra | Leino, K. Rustan M.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

by Silva, Alexandra | Leino, K. Rustan M.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

The Once-Only Principle : The TOOP Project.

by Krimmer, Robert | Prentza, Andriana | Mamrot, Szymon.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings.

by Platzer, Andr�e | Sutcliffe, Geoff.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: {copy}2021Online access: Click to View Availability: No items available.

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.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: No items available.

Pages