|
|
|
A Polynomial Translation of Mobile Ambients into Safe Petri Nets [electronic resource] : Understanding a Calculus of Hierarchical Protection Domains / by Susanne G�obel.
by G�obel, Susanne [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Information and Software Technologies [electronic resource] : 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings / edited by Giedre Dregvaite, Robertas Damasevicius.
by Dregvaite, Giedre [editor.] | Damasevicius, Robertas [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 and Services Science [electronic resource] : Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers / edited by Markus Helfert, Fr�ed�eric Desprez, Donald Ferguson, Frank Leymann.
by Helfert, Markus [editor.] | Desprez, Fr�ed�eric [editor.] | Ferguson, Donald [editor.] | Leymann, 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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Security Protocols XXI [electronic resource] : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson, Joseph Bonneau.
by Christianson, Bruce [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [editor.] | Bonneau, Joseph [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
|
|
|
|
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro L�opez-Ortiz, Venkatesh Raman, Alfredo Viola.
by Brodnik, Andrej [editor.] | L�opez-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [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
|
|
|
|
Testing Software and Systems [electronic resource] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / edited by Franz Wotawa, Mihai Nica, Natalia Kushik.
by Wotawa, Franz [editor.] | Nica, Mihai [editor.] | Kushik, Natalia [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 Networks [electronic resource] : 23rd International Conference, CN 2016, Brun�ow, Poland, June 14-17, 2016, Proceedings / edited by Piotr Gaj, Andrzej Kwiecień, Piotr Stera.
by Gaj, Piotr [editor.] | Kwiecień, Andrzej [editor.] | Stera, Piotr [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
|
|
|
|
High Performance Computing [electronic resource] : First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings / edited by Gonzalo Hern�andez, Carlos Jaime Barrios Hern�andez, Gilberto D�iaz, Carlos Garc�ia Garino, Sergio Nesmachnow, Tom�as P�erez-Acle, Mario Storti, Mariano V�azquez.
by Hern�andez, Gonzalo [editor.] | Barrios Hern�andez, Carlos Jaime [editor.] | D�iaz, Gilberto [editor.] | Garc�ia Garino, Carlos [editor.] | Nesmachnow, Sergio [editor.] | P�erez-Acle, Tom�as [editor.] | Storti, Mario [editor.] | V�azquez, Mariano [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
|
|
|
|
Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings / edited by Stephan K. Chalup, Alan D. Blair, Marcus Randall.
by Chalup, Stephan K [editor.] | Blair, Alan D [editor.] | Randall, Marcus [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
|
|
|
|
E-Business and Telecommunications [electronic resource] : 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers / edited by Mohammad S. Obaidat, Andreas Holzinger, Joaquim Filipe.
by Obaidat, Mohammad S [editor.] | Holzinger, Andreas [editor.] | Filipe, Joaquim [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
|
|
|
|
Human Aspects of Information Security, Privacy, and Trust [electronic resource] : Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings / edited by Theo Tryfonas, Ioannis Askoxylakis.
by Tryfonas, Theo [editor.] | Askoxylakis, Ioannis [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.
by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [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 Assurance and Security Education and Training [electronic resource] : 8th IFIP WG 11.8 World Conference on Information Security Education, WISE 8, Auckland, New Zealand, July 8-10, 2013, Proceedings, WISE 7, Lucerne Switzerland, June 9-10, 2011, and WISE 6, Bento Gon�calves, RS, Brazil, July 27-31, 2009, Revised Selected Papers / edited by Ronald C. Dodge, Lynn Futcher.
by Dodge, Ronald C [editor.] | Futcher, Lynn [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
|
|
|
|
Advances in Services Computing [electronic resource] : 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / edited by Guojun Wang, Yanbo Han, Gregorio Mart�inez P�erez.
by Wang, Guojun [editor.] | Han, Yanbo [editor.] | Mart�inez P�erez, Gregorio [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
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, J�org P. M�uller, Ingrid Nunes, Rym Zalila-Wenkstern.
by Baldoni, Matteo [editor.] | M�uller, J�org P [editor.] | Nunes, Ingrid [editor.] | Zalila-Wenkstern, Rym [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
|
|
|
|
Culture, Technology, Communication. Common World, Different Futures [electronic resource] : 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016, Revised Selected Papers / edited by Jos�e Abdelnour-Nocera, Michele Strano, Charles Ess, Maja Van der Velden, Herbert Hrachovec.
by Abdelnour-Nocera, Jos�e [editor.] | Strano, Michele [editor.] | Ess, Charles [editor.] | Van der Velden, Maja [editor.] | Hrachovec, Herbert [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
|
|
|
|
Sequential Learning and Decision-Making in Wireless Resource Management [electronic resource] / by Rong Zheng, Cunqing Hua.
by Zheng, Rong [author.] | Hua, Cunqing [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
|
|
|
|
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz.
by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [editor.] | Mintz, Tiffany 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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / edited by Carlos Mart�in-Vide, Takaaki Mizuki, Miguel A. Vega-Rodr�iguez.
by Mart�in-Vide, Carlos [editor.] | Mizuki, Takaaki [editor.] | Vega-Rodr�iguez, Miguel A [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
|
|
|
|
Service-Oriented Computing [electronic resource] : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri.
by Sheng, Quan Z [editor.] | Stroulia, Eleni [editor.] | Tata, Samir [editor.] | Bhiri, Sami [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
|
