|
|
|
Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / edited by Lu�is Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, Jos�e Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jes�us Carretero, Jens Breitbart, Michael Alexander.
by Lopes, Lu�is [editor.] | Žilinskas, Julius [editor.] | Costan, Alexandru [editor.] | Cascella, Roberto G [editor.] | Kecskemeti, Gabor [editor.] | Jeannot, Emmanuel [editor.] | Cannataro, Mario [editor.] | Ricci, Laura [editor.] | Benkner, Siegfried [editor.] | Petit, Salvador [editor.] | Scarano, Vittorio [editor.] | Gracia, Jos�e [editor.] | Hunold, Sascha [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Lengauer, Christian [editor.] | Carretero, Jes�us [editor.] | Breitbart, Jens [editor.] | Alexander, Michael [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
|
|
|
|
The Design of Requirements Modelling Languages [electronic resource] : How to Make Formalisms for Problem Solving in Requirements Engineering / by Ivan Jureta.
by Jureta, Ivan [author.] | 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
|
|
|
|
Computer Security - ESORICS 2013 [electronic resource] : 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings / edited by Jason Crampton, Sushil Jajodia, Keith Mayes.
by Crampton, Jason [editor.] | Jajodia, Sushil [editor.] | Mayes, Keith [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
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings / edited by Vicen�c Torra, Yasuo Narukawa, Guillermo Navarro-Arribas, David Meg�ias.
by Torra, Vicen�c [editor.] | Narukawa, Yasuo [editor.] | Navarro-Arribas, Guillermo [editor.] | Meg�ias, David [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by V�ictor Braberman, Laurent Fribourg.
by Braberman, V�ictor [editor.] | Fribourg, Laurent [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
|
|
|
|
Secure IT Systems [electronic resource] : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / edited by Hanne Riis Nielson, Dieter Gollmann.
by Riis Nielson, Hanne [editor.] | Gollmann, Dieter [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
|
|
|
|
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov.
by Abdulla, Parosh Aziz [editor.] | Potapov, Igor [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
|
|
|
|
Wireless Internet [electronic resource] : 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers / edited by Hua Qian, Kai Kang.
by Qian, Hua [editor.] | Kang, Kai [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
|
|
|
|
Uncertainty Modeling for Data Mining [electronic resource] : A Label Semantics Approach / by Zengchang Qin, Yongchuan Tang.
by Qin, Zengchang [author.] | Tang, Yongchuan [author.] | 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
|
|
|
|
Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea.
by Gellert, Ulrich [author.] | Cristea, Ana Daniela [author.] | SpringerLink (Online service). Edition: 2nd ed. 2013.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
|
|
|
|
Arts and Technology [electronic resource] : Third International Conference, ArtsIT 2013, Milan, Italy, March 21-23, 2013, Revised Selected Papers / edited by Giorgio De Michelis, Francesco Tisato, Andrea Bene, Diego Bernini.
by Michelis, Giorgio De [editor.] | Tisato, Francesco [editor.] | Bene, Andrea [editor.] | Bernini, Diego [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
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose.
by Gorp, Pieter Van [editor.] | Ritter, Tom [editor.] | Rose, Louis M [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
|
|
|
|
Bioinformatics Research and Applications [electronic resource] : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings / edited by Zhipeng Cai, Oliver Eulenstein, Daniel Janies, Daniel Schwartz.
by Cai, Zhipeng [editor.] | Eulenstein, Oliver [editor.] | Janies, Daniel [editor.] | Schwartz, Daniel [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
|
|
|
|
Mobile and Ubiquitous Systems: Computing, Networking, and Services [electronic resource] : 10th International Conference, MOBIQUITOUS 2013, Tokyo, Japan, December 2-4, 2013, Revised Selected Papers / edited by Ivan Stojmenovic, Zixue Cheng, Song Guo.
by Stojmenovic, Ivan [editor.] | Cheng, Zixue [editor.] | Guo, Song [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
|
|
|
|
Internet of Things. IoT Infrastructures [electronic resource] : Second International Summit, IoT 360� 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II / edited by Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cag�aňov�a, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov, Radu-Laurentiu Vieriu.
by Mandler, Benny [editor.] | Marquez-Barja, Johann [editor.] | Mitre Campista, Miguel Elias [editor.] | Cag�aňov�a, Dagmar [editor.] | Chaouchi, Hakima [editor.] | Zeadally, Sherali [editor.] | Badra, Mohamad [editor.] | Giordano, Stefano [editor.] | Fazio, Maria [editor.] | Somov, Andrey [editor.] | Vieriu, Radu-Laurentiu [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
|
|
|
|
Medical Robotics [electronic resource] / by Achim Schweikard, Floris Ernst.
by Schweikard, Achim [author.] | Ernst, Floris [author.] | 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
|
|
|
|
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou.
by Fitzgerald, John [editor.] | Heitmeyer, Constance [editor.] | Gnesi, Stefania [editor.] | Philippou, Anna [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
|
|
|
|
Nature of Computation and Communication [electronic resource] : Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers / edited by Phan Cong Vinh, Leonard Barolli.
by Vinh, Phan Cong [editor.] | Barolli, Leonard [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
|
|
|
|
Cognitive Radio Oriented Wireless Networks [electronic resource] : 10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015, Revised Selected Papers / edited by Mark Weichold, Mounir Hamdi, Muhammad Zeeshan Shakir, Mohamed Abdallah, George K. Karagiannidis, Muhammad Ismail.
by Weichold, Mark [editor.] | Hamdi, Mounir [editor.] | Shakir, Muhammad Zeeshan [editor.] | Abdallah, Mohamed [editor.] | Karagiannidis, George K [editor.] | Ismail, Muhammad [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
|
|
|
|
Testbeds and Research Infrastructure: Development of Networks and Communities [electronic resource] : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers / edited by Victor C.M. Leung, Min Chen, Jiafu Wan, Yin Zhang.
by Leung, Victor C.M [editor.] | Chen, Min [editor.] | Wan, Jiafu [editor.] | Zhang, Yin [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
|
