|
|
Computational Collective Intelligence [electronic resource] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / edited by Manuel N�u�nez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński.
by N�u�nez, Manuel [editor.] | Nguyen, Ngoc Thanh [editor.] | Camacho, David [editor.] | Trawiński, Bogdan [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
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel N�u�nez.
by Counsell, Steve [editor.] | N�u�nez, Manuel [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
|
|
|
Computational Collective Intelligence [electronic resource] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / edited by Manuel N�u�nez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński.
by N�u�nez, Manuel [editor.] | Nguyen, Ngoc Thanh [editor.] | Camacho, David [editor.] | Trawiński, Bogdan [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
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel N�u�nez, Matthias G�udemann.
by N�u�nez, Manuel [editor.] | G�udemann, Matthias [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
|