|
|
|
Belief Functions: Theory and Applications [electronic resource] : 4th International Conference, BELIEF 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings / edited by Jiřina Vejnarová, Václav Kratochvíl.
by Vejnarová, Jiřina [editor.] | Kratochvíl, Václav [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Applied Reconfigurable Computing [electronic resource] : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / edited by Kentaro Sano, Dimitrios Soudris, Michael Hübner, Pedro C. Diniz.
by Sano, Kentaro [editor.] | Soudris, Dimitrios [editor.] | Hübner, Michael [editor.] | Diniz, Pedro C [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Trends in Applied Knowledge-Based Systems and Data Science [electronic resource] : 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings / edited by Hamido Fujita, Moonis Ali, Ali Selamat, Jun Sasaki, Masaki Kurematsu.
by Fujita, Hamido [editor.] | Ali, Moonis [editor.] | Selamat, Ali [editor.] | Sasaki, Jun [editor.] | Kurematsu, Masaki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.
by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters.
by Plaat, Aske [editor.] | van den Herik, Jaap [editor.] | Kosters, Walter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Post-Quantum Cryptography [electronic resource] : 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings / edited by Michele Mosca.
by Mosca, Michele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management [electronic resource] : 7th International Conference, DHM 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Vincent G. Duffy.
by Duffy, Vincent G [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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 Cryptology - EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III / edited by Jean-Sébastien Coron, Jesper Buus Nielsen.
by Coron, Jean-Sébastien [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Reversible Computation [electronic resource] : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / edited by Iain Phillips, Hafizur Rahaman.
by Phillips, Iain [editor.] | Rahaman, Hafizur [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / edited by Ivica Crnkovic, Elena Troubitsyna.
by Crnkovic, Ivica [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Multiple Access Communications [electronic resource] : 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Olav Tirkkonen.
by Jonsson, Magnus [editor.] | Vinel, Alexey [editor.] | Bellalta, Boris [editor.] | Tirkkonen, Olav [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings / edited by Jesús Angulo, Santiago Velasco-Forero, Fernand Meyer.
by Angulo, Jesús [editor.] | Velasco-Forero, Santiago [editor.] | Meyer, Fernand [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings / edited by Troels Andreasen, Henning Christiansen, Juan-Carlos Cubero, Zbigniew W. Ras.
by Andreasen, Troels [editor.] | Christiansen, Henning [editor.] | Cubero, Juan-Carlos [editor.] | Ras, Zbigniew W [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / edited by Martyn Amos, Anne Condon.
by Amos, Martyn [editor.] | Condon, Anne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014, Proceedings / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala.
by Sojka, Petr [editor.] | Horák, Aleš [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings / edited by Richard Khoury, Christopher Drummond.
by Khoury, Richard [editor.] | Drummond, Christopher [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Tests and Proofs [electronic resource] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Catherine Dubois, Burkhart Wolff.
by Dubois, Catherine [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology - ICISC 2017 [electronic resource] : 20th International Conference, Seoul, South Korea, November 29 - December 1, 2017, Revised Selected Papers / edited by Howon Kim, Dong-Chan Kim.
by Kim, Howon [editor.] | Kim, Dong-Chan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers, Part II / edited by Alexander Gelbukh.
by Gelbukh, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / edited by Dan Alistarh, Alex Delis, George Pallis.
by Alistarh, Dan [editor.] | Delis, Alex [editor.] | Pallis, George [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
