|
|
|
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig.
by Reisig, Wolfgang [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / 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, Jesus 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, Jesus [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
|
|
|
|
Brain-Inspired Computing [electronic resource] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov.
by Amunts, Katrin [editor.] | Grandinetti, Lucio [editor.] | Lippert, Thomas [editor.] | Petkov, Nicolai [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
|
|
|
|
Smart Grid Security [electronic resource] : Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers / edited by Jorge Cuellar.
by Cuellar, Jorge [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
|
|
|
|
Euro-Par 2014 Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings / edited by Fernando Silva, In�es Dutra, V�itor Santos Costa.
by Silva, Fernando [editor.] | Dutra, In�es [editor.] | Santos Costa, V�itor [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
|
|
|
|
An Introduction to Network Programming with Java [electronic resource] : Java 7 Compatible / by Jan Graba.
by Graba, Jan [author.] | SpringerLink (Online service). Edition: 3rd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Understanding Network Hacks [electronic resource] : Attack and Defense with Python / by Bastian Ballmann.
by Ballmann, Bastian [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Software - ICMS 2016 [electronic resource] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / edited by Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese.
by Greuel, Gert-Martin [editor.] | Koch, Thorsten [editor.] | Paule, Peter [editor.] | Sommese, Andrew [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
|
|
|
|
Internetware [electronic resource] : A New Software Paradigm for Internet Computing / by Hong Mei, Jian L�u.
by Mei, Hong [author.] | L�u, Jian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Web Data Management: Software Architectures and Emerging Technologies [electronic resource] / by Kun Ma, Ajith Abraham, Bo Yang, Runyuan Sun.
by Ma, Kun [author.] | Abraham, Ajith [author.] | Yang, Bo [author.] | Sun, Runyuan [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
|
|
|
|
Behavioral Program Synthesis with Genetic Programming [electronic resource] / by Krzysztof Krawiec.
by Krawiec, Krzysztof [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
|
|
|
|
Serialization and Persistent Objects [electronic resource] : Turning Data Structures into Efficient Databases / by Jiri Soukup, Petr Mach�aček.
by Soukup, Jiri [author.] | Mach�aček, Petr [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
|
|
|
|
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil.
by Park, James J. (Jong Hyuk) [editor.] | Arabnia, Hamid R [editor.] | Kim, Cheonshik [editor.] | Shi, Weisong [editor.] | Gil, Joon-Min [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
|
|
|
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rog�erio de Lemos, Holger Giese, Hausi A. M�uller, Mary Shaw.
by Lemos, Rog�erio de [editor.] | Giese, Holger [editor.] | M�uller, Hausi A [editor.] | Shaw, Mary [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
|
|
|
|
Euro-Par 2015: Parallel Processing Workshops [electronic resource] : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / edited by Sascha Hunold, Alexandru Costan, Domingo Gim�enez, Alexandru Iosup, Laura Ricci, Mar�ia Engracia G�omez Requena, Vittorio Scarano, Ana Lucia Varbanescu, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer, Michael Alexander.
by Hunold, Sascha [editor.] | Costan, Alexandru [editor.] | Gim�enez, Domingo [editor.] | Iosup, Alexandru [editor.] | Ricci, Laura [editor.] | G�omez Requena, Mar�ia Engracia [editor.] | Scarano, Vittorio [editor.] | Varbanescu, Ana Lucia [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Weidendorfer, Josef [editor.] | Alexander, Michael [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
|
|
|
|
Computer Science and Its Applications [electronic resource] : 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings / edited by Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel.
by Amine, Abdelmalek [editor.] | Bellatreche, Ladjel [editor.] | Elberrichi, Zakaria [editor.] | Neuhold, Erich J [editor.] | Wrembel, Robert [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
|
|
|
|
Introduction to Concurrency Theory [electronic resource] : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.
by Gorrieri, Roberto [author.] | Versari, Cristian [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
|
|
|
|
Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura.
by Agha, Gul [editor.] | Igarashi, Atsushi [editor.] | Kobayashi, Naoki [editor.] | Masuhara, Hidehiko [editor.] | Matsuoka, Satoshi [editor.] | Shibayama, Etsuya [editor.] | Taura, Kenjiro [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
|
|
|
|
In Memory Data Management and Analysis [electronic resource] : First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers / edited by Arun Jagatheesan, Justin Levandoski, Thomas Neumann, Andrew Pavlo.
by Jagatheesan, Arun [editor.] | Levandoski, Justin [editor.] | Neumann, Thomas [editor.] | Pavlo, Andrew [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
|
|
|
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
by Brat, Guillaume [editor.] | Rungta, Neha [editor.] | Venet, Arnaud [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
|
