|
|
|
Semantics in Data and Knowledge Bases [electronic resource] : 5th International Workshop, SDKB 2011, Z�urich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim.
by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Collective Intelligence XVII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Ana Fred, Filipe Joaquim.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Fred, Ana [editor.] | Joaquim, Filipe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / edited by Borzoo Bonakdarpour, Franck Petit.
by Bonakdarpour, Borzoo [editor.] | Petit, Franck [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Web and Internet Economics [electronic resource] : 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings / edited by Evangelos Markakis, Guido Sch�afer.
by Markakis, Evangelos [editor.] | Sch�afer, Guido [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science XXVI [electronic resource] : Special Issue on Cyberworlds and Cybersecurity / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Andr�es Iglesias, Mikio Shinya, Akemi Galvez, Alexei Sourin.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Iglesias, Andr�es [editor.] | Shinya, Mikio [editor.] | Galvez, Akemi [editor.] | Sourin, Alexei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Ubiquitous Computing and Ambient Intelligence [electronic resource] : 10th International Conference, UCAmI 2016, San Bartolom�e de Tirajana, Gran Canaria, Spain, November 29 - December 2, 2016, Proceedings, Part I / edited by Carmelo R. Garc�ia, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia.
by Garc�ia, Carmelo R [editor.] | Caballero-Gil, Pino [editor.] | Burmester, Mike [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Image Analysis and Processing - ICIAP 2013 [electronic resource] : 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II / edited by Alfredo Petrosino.
by Petrosino, Alfredo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri.
by Dondi, Riccardo [editor.] | Fertin, Guillaume [editor.] | Mauri, Giancarlo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch.
by Gurevych, Iryna [editor.] | Biemann, Chris [editor.] | Zesch, Torsten [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.
by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Controlled Natural Language [electronic resource] : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedings / edited by Brian Davis, Kaarel Kaljurand, Tobias Kuhn.
by Davis, Brian [editor.] | Kaljurand, Kaarel [editor.] | Kuhn, Tobias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings / edited by Frank Ortmeier, Antoine Rauzy.
by Ortmeier, Frank [editor.] | Rauzy, Antoine [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Hybrid Systems Biology [electronic resource] : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings / edited by Eugenio Cinquemani, Alexandre Donz�e.
by Cinquemani, Eugenio [editor.] | Donz�e, Alexandre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss.
by Keller, Rainer [editor.] | Kramer, David [editor.] | Weiss, Jan-Philipp [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.
by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Service-Oriented Computing [electronic resource] : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / edited by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam.
by Barros, Alistair [editor.] | Grigori, Daniela [editor.] | Narendra, Nanjangud C [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Game Theory [electronic resource] : 8th International Symposium, SAGT 2015, Saarbr�ucken, Germany, September 28-30, 2015. Proceedings / edited by Martin Hoefer.
by Hoefer, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligence and Security Informatics [electronic resource] : 11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen.
by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 25th International Conference, DEXA 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part II / edited by Hendrik Decker, Lenka Lhotsk�a, Sebastian Link, Marcus Spies, Roland R. Wagner.
by Decker, Hendrik [editor.] | Lhotsk�a, Lenka [editor.] | Link, Sebastian [editor.] | Spies, Marcus [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / edited by Balder ten Cate, Alessandra Mileo.
by ten Cate, Balder [editor.] | Mileo, Alessandra [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
