|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / edited by Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo.
by Isokawa, Teijiro [editor.] | Imai, Katsunobu [editor.] | Matsui, Nobuyuki [editor.] | Peper, Ferdinand [editor.] | Umeo, Hiroshi [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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings / edited by Peter H�ofner, Peter Jipsen, Wolfram Kahl, Martin Eric M�uller.
by H�ofner, Peter [editor.] | Jipsen, Peter [editor.] | Kahl, Wolfram [editor.] | M�uller, Martin Eric [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
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 15th International Conference, RSFDGrC 2015, Tianjin, China, November 20-23, 2015, Proceedings / edited by Yiyu Yao, Qinghua Hu, Hong Yu, Jerzy W. Grzymala-Busse.
by Yao, Yiyu [editor.] | Hu, Qinghua [editor.] | Yu, Hong [editor.] | Grzymala-Busse, Jerzy W [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
|
|
|
|
Big Data Analytics and Knowledge Discovery [electronic resource] : 18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings / edited by Sanjay Madria, Takahiro Hara.
by Madria, Sanjay [editor.] | Hara, Takahiro [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
|
|
|
|
Algorithms for Computational Biology [electronic resource] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns / edited by Adrian-Horia Dediu, Carlos Mart�in-Vide, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | Truthe, Bianca [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
|
|
|
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel F�ahndrich.
by Logozzo, Francesco [editor.] | F�ahndrich, Manuel [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
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / edited by Subir Kumar Ghosh, Takeshi Tokuyama.
by Ghosh, Subir Kumar [editor.] | Tokuyama, Takeshi [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
|
|
|
|
Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Dorel Lucanu.
by Lucanu, Dorel [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
|
|
|
|
Knowledge Management and Acquisition for Smart Systems and Services [electronic resource] : 13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost, Qld, Australia, December 1-2, 2014. Proceedings / edited by Yang Sok Kim, Byeong Ho Kang, Deborah Richards.
by Kim, Yang Sok [editor.] | Kang, Byeong Ho [editor.] | Richards, Deborah [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
|
|
|
|
Similarity Search and Applications [electronic resource] : 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings / edited by Giuseppe Amato, Richard Connor, Fabrizio Falchi, Claudio Gennaro.
by Amato, Giuseppe [editor.] | Connor, Richard [editor.] | Falchi, Fabrizio [editor.] | Gennaro, Claudio [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
|
|
|
|
Pristine Perspectives on Logic, Language, and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers / edited by Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig.
by Colinet, Margot [editor.] | Katrenko, Sophia [editor.] | Rendsvig, Rasmus K [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
|
|
|
|
Language Processing and Intelligent Information Systems [electronic resource] : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / edited by Mieczys�aw A. K�opotek, Jacek Koronacki, Ma�gorzata Marciniak, Agnieszka Mykowiecka, S�awomir T. Wierzchoń.
by K�opotek, Mieczys�aw A [editor.] | Koronacki, Jacek [editor.] | Marciniak, Ma�gorzata [editor.] | Mykowiecka, Agnieszka [editor.] | Wierzchoń, S�awomir T [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
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / edited by Pavel Kr�al, Carlos Mart�in-Vide.
by Kr�al, Pavel [editor.] | Mart�in-Vide, Carlos [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
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke.
by Gribaudo, Marco [editor.] | Manini, Daniele [editor.] | Remke, Anne [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
|
|
|
|
Reasoning Web. Web Logic Rules [electronic resource] : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / edited by Wolfgang Faber, Adrian Paschke.
by Faber, Wolfgang [editor.] | Paschke, Adrian [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
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Dayd�e, Osni Marques, Kengo Nakajima.
by Dayd�e, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [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
|
|
|
|
Public Key Infrastructures, Services and Applications [electronic resource] : 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers / edited by Sokratis Katsikas, Isaac Agudo.
by Katsikas, Sokratis [editor.] | Agudo, Isaac [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
|
|
|
|
Algorithms for Sensor Systems [electronic resource] : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers / edited by Amotz Bar-Noy, Magn�us M. Halld�orsson.
by Bar-Noy, Amotz [editor.] | Halld�orsson, Magn�us M [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
|
|
|
|
Risk Assessment and Risk-Driven Testing [electronic resource] : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / edited by Fredrik Seehusen, Michael Felderer, J�urgen Gro�mann, Marc-Florian Wendland.
by Seehusen, Fredrik [editor.] | Felderer, Michael [editor.] | Gro�mann, J�urgen [editor.] | Wendland, Marc-Florian [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
|
|
|
|
Service-Oriented Computing - ICSOC 2014 Workshops [electronic resource] : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri.
by Toumani, Farouk [editor.] | Pernici, Barbara [editor.] | Grigori, Daniela [editor.] | Benslimane, Djamal [editor.] | Mendling, Jan [editor.] | Ben Hadj-Alouane, Nejib [editor.] | Blake, Brian [editor.] | Perrin, Olivier [editor.] | Saleh Moustafa, Iman [editor.] | Bhiri, Sami [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
|
