|
|
|
Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / edited by Francesco Parisi-Presicce, Bernhard Westfechtel.
by Parisi-Presicce, Francesco [editor.] | Westfechtel, Bernhard [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
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel.
by Duddy, Keith [editor.] | Kappel, Gerti [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
|
|
|
|
Human-Inspired Computing and Its Applications [electronic resource] : 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Guti�errez, Mexico, November 16-22, 2014. Proceedings, Part I / edited by Alexander Gelbukh, F�elix Castro Espinoza, Sof�ia N. Galicia-Haro.
by Gelbukh, Alexander [editor.] | Espinoza, F�elix Castro [editor.] | Galicia-Haro, Sof�ia N [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
|
|
|
|
Advances in Artificial Intelligence and Its Applications [electronic resource] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II / edited by Obdulia Pichardo Lagunas, Oscar Herrera Alc�antara, Gustavo Arroyo Figueroa.
by Pichardo Lagunas, Obdulia [editor.] | Herrera Alc�antara, Oscar [editor.] | Arroyo Figueroa, Gustavo [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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor.
by Daneva, Maya [editor.] | Pastor, Oscar [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 - August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott.
by Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Krapp, Holger G [editor.] | Verschure, Paul F. M. J [editor.] | Prescott, Tony J [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
|
|
|
|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.
by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [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 Spatial and Temporal Databases [electronic resource] : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings / edited by Mario A. Nascimento, Timos Sellis, Reynold Cheng, J�org Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock.
by Nascimento, Mario A [editor.] | Sellis, Timos [editor.] | Cheng, Reynold [editor.] | Sander, J�org [editor.] | Zheng, Yu [editor.] | Kriegel, Hans-Peter [editor.] | Renz, Matthias [editor.] | Sengstock, Christian [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings / edited by Magn�us M. Halld�orsson.
by Halld�orsson, Magn�us M [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
|
|
|
|
Haptics: Perception, Devices, Control, and Applications [electronic resource] : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / edited by Fernando Bello, Hiroyuki Kajimoto, Yon Visell.
by Bello, Fernando [editor.] | Kajimoto, Hiroyuki [editor.] | Visell, Yon [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 and Communications Security [electronic resource] : 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 - December 2, 2016, Proceedings / edited by Kwok-Yan Lam, Chi-Hung Chi, Sihan Qing.
by Lam, Kwok-Yan [editor.] | Chi, Chi-Hung [editor.] | Qing, Sihan [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
|
|
|
|
Multiple Access Communications [electronic resource] : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / edited by Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas.
by Madsen, Tatiana K [editor.] | Nielsen, Jimmy J [editor.] | Pratas, Nuno K [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
|
|
|
|
Transactions on Rough Sets XVII [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers / edited by Narayan Desai, Walfredo Cirne.
by Desai, Narayan [editor.] | Cirne, Walfredo [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
|
|
|
|
Transactions on Computational Collective Intelligence XVI [electronic resource] / edited by Ryszard Kowalczyk, Ngoc Thanh Nguyen.
by Kowalczyk, Ryszard [editor.] | Nguyen, Ngoc Thanh [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
|
|
|
|
Information Theory, Combinatorics, and Search Theory [electronic resource] : In Memory of Rudolf Ahlswede / edited by Harout Aydinian, Ferdinando Cicalese, Christian Deppe.
by Aydinian, Harout [editor.] | Cicalese, Ferdinando [editor.] | Deppe, Christian [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
|
|
|
|
Intelligent Information and Database Systems [electronic resource] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I / edited by Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron.
by Selamat, Ali [editor.] | Nguyen, Ngoc Thanh [editor.] | Haron, Habibollah [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
|
|
|
|
Mathematical Foundations of Computer Science 2014 [electronic resource] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I / edited by Erzs�ebet Csuhaj-Varj�u, Martin Dietzfelbinger, Zolt�an �Esik.
by Csuhaj-Varj�u, Erzs�ebet [editor.] | Dietzfelbinger, Martin [editor.] | �Esik, Zolt�an [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
|
|
|
|
Human Factors in Computing and Informatics [electronic resource] : First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / edited by Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaž Debevc.
by Holzinger, Andreas [editor.] | Ziefle, Martina [editor.] | Hitz, Martin [editor.] | Debevc, Matjaž [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
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [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
|
