|
|
|
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.
by Bernardo, Marco [editor.] | Johnsen, Einar Broch [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
|
|
|
|
Advances in Computational Intelligence [electronic resource] : 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala.
by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [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
|
|
|
|
Information Systems Security [electronic resource] : 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings / edited by Indrajit Ray, Manoj Singh Gaur, Mauro Conti, Dheeraj Sanghi, V. Kamakoti.
by Ray, Indrajit [editor.] | Gaur, Manoj Singh [editor.] | Conti, Mauro [editor.] | Sanghi, Dheeraj [editor.] | Kamakoti, V [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
|
|
|
|
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bj�rner, Frank de Boer.
by Bj�rner, Nikolaj [editor.] | de Boer, Frank [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
|
|
|
|
Artificial Computation in Biology and Medicine [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I / edited by Jos�e Manuel Ferr�andez Vicente, Jos�e Ram�on �Alvarez-S�anchez, F�elix de la Paz L�opez, Fco. Javier Toledo-Moreo, Hojjat Adeli.
by Ferr�andez Vicente, Jos�e Manuel [editor.] | �Alvarez-S�anchez, Jos�e Ram�on [editor.] | de la Paz L�opez, F�elix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [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
|
|
|
|
Business Information Systems [electronic resource] : 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings / edited by Witold Abramowicz.
by Abramowicz, Witold [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
|
|
|
|
Cognitive Radio Oriented Wireless Networks [electronic resource] : 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings / edited by Dominique Noguet, Klaus Moessner, Jacques Palicot.
by Noguet, Dominique [editor.] | Moessner, Klaus [editor.] | Palicot, Jacques [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
|
|
|
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings / edited by Cheng-Lin Liu, Bin Luo, Walter G. Kropatsch, Jian Cheng.
by Liu, Cheng-Lin [editor.] | Luo, Bin [editor.] | Kropatsch, Walter G [editor.] | Cheng, Jian [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
|
|
|
|
Smart City 360� [electronic resource] : First EAI International Summit, Smart City 360�, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers / edited by Alberto Leon-Garcia, Radim Lenort, David Holman, David Staš, Veronika Krutilova, Pavel Wicher, Dagmar Cag�aňov�a, Daniela Špirkov�a, Julius Golej, Kim Nguyen.
by Leon-Garcia, Alberto [editor.] | Lenort, Radim [editor.] | Holman, David [editor.] | Staš, David [editor.] | Krutilova, Veronika [editor.] | Wicher, Pavel [editor.] | Cag�aňov�a, Dagmar [editor.] | Špirkov�a, Daniela [editor.] | Golej, Julius [editor.] | Nguyen, Kim [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
|
|
|
|
Cloud Computing [electronic resource] : 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers / edited by Yin Zhang, Limei Peng, Chan-Hyun Youn.
by Zhang, Yin [editor.] | Peng, Limei [editor.] | Youn, Chan-Hyun [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
|
|
|
|
Privacy in a Digital, Networked World [electronic resource] : Technologies, Implications and Solutions / edited by Sherali Zeadally, Mohamad Badra.
by Zeadally, Sherali [editor.] | Badra, Mohamad [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
|
|
|
|
Guide to Computing Fundamentals in Cyber-Physical Systems [electronic resource] : Concepts, Design Methods, and Applications / by Dietmar P.F. M�oller.
by M�oller, Dietmar P.F [author.] | 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
|
|
|
|
Reconstruction and Analysis of 3D Scenes [electronic resource] : From Irregularly Distributed 3D Points to Object Classes / by Martin Weinmann.
by Weinmann, Martin [author.] | 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
|
|
|
|
Computer Models for Facial Beauty Analysis [electronic resource] / by David Zhang, Fangmei Chen, Yong Xu.
by Zhang, David [author.] | Chen, Fangmei [author.] | Xu, Yong [author.] | 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
|
|
|
|
E-Learning, E-Education, and Online Training [electronic resource] : Second International Conference, eLEOT 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers / edited by Giovanni Vincenti, Alberto Bucciero, Carlos Vaz de Carvalho.
by Vincenti, Giovanni [editor.] | Bucciero, Alberto [editor.] | Vaz de Carvalho, Carlos [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
|
|
|
|
Conformal and Probabilistic Prediction with Applications [electronic resource] : 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings / edited by Alexander Gammerman, Zhiyuan Luo, Jes�us Vega, Vladimir Vovk.
by Gammerman, Alexander [editor.] | Luo, Zhiyuan [editor.] | Vega, Jes�us [editor.] | Vovk, Vladimir [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
|
|
|
|
Developing Modular-Oriented Simulation Models Using System Dynamics Libraries [electronic resource] / by Christian K. Karl, William Ibbs.
by Karl, Christian K [author.] | Ibbs, William [author.] | 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
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.
by Dastani, Mehdi [editor.] | Sirjani, Marjan [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
|
|
|
|
Object-Oriented Technology [electronic resource] / by Suad Alagić.
by Alagić, Suad [author.] | 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
|
|
|
|
Mobile, Ubiquitous, and Pervasive Learning [electronic resource] : Fundaments, Applications, and Trends / edited by Alejandro Pe�na-Ayala.
by Pe�na-Ayala, Alejandro [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
|
