|
|
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
|
|
|
The History of Theoretical, Material and Computational Mechanics - Mathematics Meets Mechanics and Engineering [electronic resource] / edited by Erwin Stein.
by Stein, Erwin [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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
Digital Forensics and Cyber Crime [electronic resource] : 7th International Conference, ICDF2C 2015, Seoul, South Korea, October 6-8, 2015. Revised Selected Papers / edited by Joshua I. James, Frank Breitinger.
by James, Joshua I [editor.] | Breitinger, Frank [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
|
|
|
Advances in Cryptology - CRYPTO 2016 [electronic resource] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II / edited by Matthew Robshaw, Jonathan Katz.
by Robshaw, Matthew [editor.] | Katz, Jonathan [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2016 [electronic resource] : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings, Part III / edited by Sebastien Ourselin, Leo Joskowicz, Mert R. Sabuncu, Gozde Unal, William Wells.
by Ourselin, Sebastien [editor.] | Joskowicz, Leo [editor.] | Sabuncu, Mert R [editor.] | Unal, Gozde [editor.] | Wells, William [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 Large-Scale Data- and Knowledge-Centered Systems IX [electronic resource] / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [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
|
|
|
The Influence of Technology on Social Network Analysis and Mining [electronic resource] / edited by Tansel �Ozyer, Jon Rokne, Gerhard Wagner, Arno H.P. Reuser.
by �Ozyer, Tansel [editor.] | Rokne, Jon [editor.] | Wagner, Gerhard [editor.] | Reuser, Arno H.P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / edited by Veli M�akinen, Simon J. Puglisi, Leena Salmela.
by M�akinen, Veli [editor.] | Puglisi, Simon J [editor.] | Salmela, Leena [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
|