|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Macei�o, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Mart�i-Oliet.
by Braga, Christiano [editor.] | Mart�i-Oliet, Narciso [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 Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.
by Lanese, Ivan [editor.] | Madelaine, 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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Sustainable Wireless Networks [electronic resource] / by Zhongming Zheng, Lin X. Cai, Xuemin Shen.
by Zheng, Zhongming [author.] | Cai, Lin X [author.] | Shen, Xuemin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Wired/Wireless Internet Communications [electronic resource] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / edited by Lefteris Mamatas, Ibrahim Matta, Panagiotis Papadimitriou, Yevgeni Koucheryavy.
by Mamatas, Lefteris [editor.] | Matta, Ibrahim [editor.] | Papadimitriou, Panagiotis [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.
by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Clinical Image-Based Procedures. Translational Research in Medical Imaging [electronic resource] : Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Revised Selected Papers / edited by Marius Erdt, Marius George Linguraru, Cristina Oyarzun Laura, Raj Shekhar, Stefan Wesarg, Miguel Angel Gonz�alez Ballester, Klaus Drechsler.
by Erdt, Marius [editor.] | Linguraru, Marius George [editor.] | Oyarzun Laura, Cristina [editor.] | Shekhar, Raj [editor.] | Wesarg, Stefan [editor.] | Gonz�alez Ballester, Miguel Angel [editor.] | Drechsler, Klaus [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
|
|
|
|
Combinatorial Optimization [electronic resource] : 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers / edited by Raffaele Cerulli, Satoru Fujishige, A. Ridha Mahjoub.
by Cerulli, Raffaele [editor.] | Fujishige, Satoru [editor.] | Mahjoub, A. Ridha [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
|
|
|
|
Image and Signal Processing [electronic resource] : 7th International Conference, ICISP 2016, Trois-Rivi�eres, QC, Canada, May 30 - June 1, 2016, Proceedings / edited by Alamin Mansouri, Fathallah Nouboud, Alain Chalifour, Driss Mammass, Jean Meunier, Abderrahim Elmoataz.
by Mansouri, Alamin [editor.] | Nouboud, Fathallah [editor.] | Chalifour, Alain [editor.] | Mammass, Driss [editor.] | Meunier, Jean [editor.] | Elmoataz, Abderrahim [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimar�aes, Portugal, June 30 - July 3, 2014, Proceedings, Part VI / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falc�ao, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A. C [editor.] | Torre, Carmelo [editor.] | Rocha, Jorge Gustavo [editor.] | Falc�ao, Maria Irene [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebasti�an, Spain, June 6-7, 2016, Proceedings / edited by Jaizki Mendizabal, Marion Berbineau, Alexey Vinel, Stephan Pfletschinger, Herv�e Bonneville, Alain Pirovano, Simon Plass, Riccardo Scopigno, Hasnaa Aniss.
by Mendizabal, Jaizki [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Pfletschinger, Stephan [editor.] | Bonneville, Herv�e [editor.] | Pirovano, Alain [editor.] | Plass, Simon [editor.] | Scopigno, Riccardo [editor.] | Aniss, Hasnaa [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
|
|
|
|
Computer Vision - ECCV 2014 Workshops [electronic resource] : Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV / edited by Lourdes Agapito, Michael M. Bronstein, Carsten Rother.
by Agapito, Lourdes [editor.] | Bronstein, Michael M [editor.] | Rother, Carsten [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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Gabriela Ochoa, Francisco Chicano.
by Ochoa, Gabriela [editor.] | Chicano, Francisco [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
|
|
|
|
Proceedings of the 3rd International Conference on Multimedia Technology (ICMT 2013) [electronic resource] / edited by Aly A. Farag, Jian Yang, Feng Jiao.
by Farag, Aly A [editor.] | Yang, Jian [editor.] | Jiao, Feng [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
|
|
|
|
Introduction to Transportation Analysis, Modeling and Simulation [electronic resource] : Computational Foundations and Multimodal 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: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Analysis and the Mathematics of Computation [electronic resource] / by Werner R�omisch, Thomas Zeugmann.
by R�omisch, Werner [author.] | Zeugmann, Thomas [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
|
|
|
|
Handbook of Science and Technology Convergence [electronic resource] / edited by William Sims Bainbridge, Mihail C. Roco.
by Bainbridge, William Sims [editor.] | Roco, Mihail C [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
|
|
|
|
Managing Software Process Evolution [electronic resource] : Traditional, Agile and Beyond - How to Handle Process Change / edited by Marco Kuhrmann, J�urgen M�unch, Ita Richardson, Andreas Rausch, He Zhang.
by Kuhrmann, Marco [editor.] | M�unch, J�urgen [editor.] | Richardson, Ita [editor.] | Rausch, Andreas [editor.] | Zhang, He [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 Global Sourcing. Models, Governance, and Relationships [electronic resource] : 7th Global Sourcing Workshop 2013, Val d'Is�ere, France, March 11-14, 2013, Revised Selected Papers / edited by Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks.
by Oshri, Ilan [editor.] | Kotlarsky, Julia [editor.] | Willcocks, Leslie P [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
|
|
|
|
Automated defect prevention : best practices in software management / Dorota Huizinga, Adam Kolawa.
by Huizinga, Dorota [author.] | Kolawa, Adam | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Hoboken, New Jersey : Wiley-Interscience : c2007Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Applied cryptanalysis : breaking ciphers in the real world / Mark Stamp, Richard M. Low.
by Stamp, Mark [author.] | Low, Richard M, 1967- | IEEE Xplore (Online service) [distributor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Hoboken, New Jersey : Wiley-Interscience, c2007Online access: Abstract with links to resource Availability: No items available
|
