|
|
|
Verification of Business Rules Programs [electronic resource] / by Bruno Berstel-Da Silva.
by Berstel-Da Silva, Bruno [author.] | 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
|
|
|
|
New Trends in Database and Information Systems II [electronic resource] : Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II / edited by Nick Bassiliades, Mirjana Ivanovic, Margita Kon-Popovska, Yannis Manolopoulos, Themis Palpanas, Goce Trajcevski, Athena Vakali.
by Bassiliades, Nick [editor.] | Ivanovic, Mirjana [editor.] | Kon-Popovska, Margita [editor.] | Manolopoulos, Yannis [editor.] | Palpanas, Themis [editor.] | Trajcevski, Goce [editor.] | Vakali, Athena [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
|
|
|
|
Autonomic Road Transport Support Systems [electronic resource] / edited by Thomas Leo McCluskey, Apostolos Kotsialos, J�org P. M�uller, Franziska Kl�ugl, Omer Rana, Ren�e Schumann.
by McCluskey, Thomas Leo [editor.] | Kotsialos, Apostolos [editor.] | M�uller, J�org P [editor.] | Kl�ugl, Franziska [editor.] | Rana, Omer [editor.] | Schumann, Ren�e [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Birkh�auser, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery [electronic resource] : 12th International Conference, BDAS 2016, Ustroń, Poland, May 31 - June 3, 2016, Proceedings / edited by Stanis�aw Kozielski, Dariusz Mrozek, Pawe� Kasprowski, Bożena Ma�ysiak-Mrozek, Daniel Kostrzewa.
by Kozielski, Stanis�aw [editor.] | Mrozek, Dariusz [editor.] | Kasprowski, Pawe� [editor.] | Ma�ysiak-Mrozek, Bożena [editor.] | Kostrzewa, Daniel [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
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers / edited by Jeffrey Parsons, Dickson Chiu.
by Parsons, Jeffrey [editor.] | Chiu, Dickson [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
|
|
|
|
Geographic Information Science [electronic resource] : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / edited by Jennifer A. Miller, David O'Sullivan, Nancy Wiegand.
by Miller, Jennifer A [editor.] | O'Sullivan, David [editor.] | Wiegand, Nancy [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 Reasoning and Rule Systems [electronic resource] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / edited by Magdalena Ortiz, Stefan Schlobach.
by Ortiz, Magdalena [editor.] | Schlobach, Stefan [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] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II / edited by Sven Hartmann, Hui Ma.
by Hartmann, Sven [editor.] | Ma, Hui [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
|
|
|
|
New Trends in Databases and Information Systems [electronic resource] : ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings / edited by Mirjana Ivanović, Bernhard Thalheim, Barbara Catania, Klaus-Dieter Schewe, Mārīte Kirikova, Petr Šaloun, Ajantha Dahanayake, Tania Cerquitelli, Elena Baralis, Pietro Michiardi.
by Ivanović, Mirjana [editor.] | Thalheim, Bernhard [editor.] | Catania, Barbara [editor.] | Schewe, Klaus-Dieter [editor.] | Kirikova, Mārīte [editor.] | Šaloun, Petr [editor.] | Dahanayake, Ajantha [editor.] | Cerquitelli, Tania [editor.] | Baralis, Elena [editor.] | Michiardi, Pietro [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
|
|
|
|
Information Technology in Bio- and Medical Informatics [electronic resource] : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings / edited by M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri.
by Renda, M. Elena [editor.] | Bursa, Miroslav [editor.] | Holzinger, Andreas [editor.] | Khuri, Sami [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
|
|
|
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings / edited by Petra Perner.
by Perner, Petra [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 Systems for Advanced Applications [electronic resource] : DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings / edited by Hong Gao, Jinho Kim, Yasushi Sakurai.
by Gao, Hong [editor.] | Kim, Jinho [editor.] | Sakurai, Yasushi [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings / edited by Nicola Ferro, Fabio Crestani, Marie-Francine Moens, Josiane Mothe, Fabrizio Silvestri, Giorgio Maria Di Nunzio, Claudia Hauff, Gianmaria Silvello.
by Ferro, Nicola [editor.] | Crestani, Fabio [editor.] | Moens, Marie-Francine [editor.] | Mothe, Josiane [editor.] | Silvestri, Fabrizio [editor.] | Nunzio, Giorgio Maria Di [editor.] | Hauff, Claudia [editor.] | Silvello, Gianmaria [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Smart Health [electronic resource] : International Conference, ICSH 2015, Phoenix, AZ, USA, November 17-18, 2015. Revised Selected Papers / edited by Xiaolong Zheng, Daniel Dajun Zeng, Hsinchun Chen, Scott J. Leischow.
by Zheng, Xiaolong [editor.] | Zeng, Daniel Dajun [editor.] | Chen, Hsinchun [editor.] | Leischow, Scott J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Distributed Computing and Internet Technology [electronic resource] : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings / edited by Nikolaj Bj�rner, Sanjiva Prasad, Laxmi Parida.
by Bj�rner, Nikolaj [editor.] | Prasad, Sanjiva [editor.] | Parida, Laxmi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.
by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [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
|
|
|
|
The Semantic Web: ESWC 2015 Satellite Events [electronic resource] : ESWC 2015 Satellite Events, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers / edited by Fabien Gandon, Christophe Gu�eret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann.
by Gandon, Fabien [editor.] | Gu�eret, Christophe [editor.] | Villata, Serena [editor.] | Breslin, John [editor.] | Faron-Zucker, Catherine [editor.] | Zimmermann, 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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Rough Sets and Knowledge Technology [electronic resource] : 10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 20-23, 2015, Proceedings / edited by Davide Ciucci, Guoyin Wang, Sushmita Mitra, Wei-Zhi Wu.
by Ciucci, Davide [editor.] | Wang, Guoyin [editor.] | Mitra, Sushmita [editor.] | Wu, Wei-Zhi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Conceptual Modeling [electronic resource] : 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings / edited by Paul Johannesson, Mong Li Lee, Stephen W. Liddle, Andreas L. Opdahl, �Oscar Pastor L�opez.
by Johannesson, Paul [editor.] | Lee, Mong Li [editor.] | Liddle, Stephen W [editor.] | Opdahl, Andreas L [editor.] | Pastor L�opez, �Oscar [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
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings / edited by Floriana Esposito, Olivier Pivert, Mohand-Said Hacid, Zbigniew W. R�as, Stefano Ferilli.
by Esposito, Floriana [editor.] | Pivert, Olivier [editor.] | Hacid, Mohand-Said [editor.] | R�as, Zbigniew W [editor.] | Ferilli, Stefano [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
