Your search returned 1094 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Open Source Systems: Integrating Communities [electronic resource] : 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings / edited by Kevin Crowston, Imed Hammouda, Bj�orn Lundell, Gregorio Robles, Jonas Gamalielsson, Juho Lindman.

by Crowston, Kevin [editor.] | Hammouda, Imed [editor.] | Lundell, Bj�orn [editor.] | Robles, Gregorio [editor.] | Gamalielsson, Jonas [editor.] | Lindman, Juho [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Advanced Information Systems Engineering [electronic resource] : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings / edited by Selmin Nurcan, Pnina Soffer, Marko Bajec, Johann Eder.

by Nurcan, Selmin [editor.] | Soffer, Pnina [editor.] | Bajec, Marko [editor.] | Eder, Johann [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston.

by Bernardo, Marco [editor.] | De Nicola, Rocco [editor.] | Hillston, Jane [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr.

by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Architecture of Computing Systems - ARCS 2016 [electronic resource] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / edited by Frank Hannig, Jo�ao M. P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schr�oder-Preikschat, J�urgen Teich.

by Hannig, Frank [editor.] | Cardoso, Jo�ao M. P [editor.] | Pionteck, Thilo [editor.] | Fey, Dietmar [editor.] | Schr�oder-Preikschat, Wolfgang [editor.] | Teich, J�urgen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis.

by Yakovyna, Vitaliy [editor.] | Mayr, Heinrich C [editor.] | Nikitchenko, Mykola [editor.] | Zholtkevych, Grygoriy [editor.] | Spivakovsky, Aleksander [editor.] | Batsakis, Sotiris [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Aspect-Oriented Requirements Engineering [electronic resource] / edited by Ana Moreira, Ruzanna Chitchyan, Jo�ao Ara�ujo, Awais Rashid.

by Moreira, Ana [editor.] | Chitchyan, Ruzanna [editor.] | Ara�ujo, Jo�ao [editor.] | Rashid, Awais [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Model-Driven Dependability Assessment of Software Systems [electronic resource] / by Simona Bernardi, Jos�e Merseguer, Dorina Corina Petriu.

by Bernardi, Simona [author.] | Merseguer, Jos�e [author.] | Petriu, Dorina Corina [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Web Information Systems Engineering - WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I / edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.

by Wang, Jianyong [editor.] | Cellary, Wojciech [editor.] | Wang, Dingding [editor.] | Wang, Hua [editor.] | Chen, Shu-Ching [editor.] | Li, Tao [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Mohammad Reza Mousavi, Christian Berger.

by Mousavi, Mohammad Reza [editor.] | Berger, Christian [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Software Technologies [electronic resource] : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / edited by Andreas Holzinger, Jorge Cardoso, Jos�e Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen.

by Holzinger, Andreas [editor.] | Cardoso, Jorge [editor.] | Cordeiro, Jos�e [editor.] | Libourel, Therese [editor.] | Maciaszek, Leszek A [editor.] | van Sinderen, Marten [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Mobile, Secure, and Programmable Networking [electronic resource] : First International Conference, MSPN 2015, Paris, France, June 15-17, 2015, Selected Papers / edited by Selma Boumerdassi, Samia Bouzefrane, �Eric Renault.

by Boumerdassi, Selma [editor.] | Bouzefrane, Samia [editor.] | Renault, �Eric [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Cloud Computing and Services Sciences [electronic resource] : International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers / edited by Markus Helfert, Fr�ed�eric Desprez, Donald Ferguson, Frank Leymann, Victor M�endez Munoz.

by Helfert, Markus [editor.] | Desprez, Fr�ed�eric [editor.] | Ferguson, Donald [editor.] | Leymann, Frank [editor.] | M�endez Munoz, Victor [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Data Science [electronic resource] : Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings / edited by Chengqi Zhang, Wei Huang, Yong Shi, Philip S. Yu, Yangyong Zhu, Yingjie Tian, Peng Zhang, Jing He.

by Zhang, Chengqi [editor.] | Huang, Wei [editor.] | Shi, Yong [editor.] | Yu, Philip S [editor.] | Zhu, Yangyong [editor.] | Tian, Yingjie [editor.] | Zhang, Peng [editor.] | He, Jing [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle.

by De Nivelle, Hans [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.

by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione.

by Fantechi, Alessandro [editor.] | Pelliccione, Patrizio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available