Your search returned 2016 results. Subscribe to this search

|
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

Technological Innovation for the Internet of Things [electronic resource] : 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings / edited by Luis M. Camarinha-Matos, Slavisa Tomic, Paula Gra�ca.

by Camarinha-Matos, Luis M [editor.] | Tomic, Slavisa [editor.] | Gra�ca, Paula [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

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

Engineering Applications of Neural Networks [electronic resource] : 16th International Conference, EANN 2015, Rhodes, Greece, September 25-28 2015.Proceedings / edited by Lazaros Iliadis, Chrisina Jayne.

by Iliadis, Lazaros [editor.] | Jayne, Chrisina [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

Social Networks: Analysis and Case Studies [electronic resource] / edited by Şule G�und�uz-�Oğ�ud�uc�u, A. Şima Etaner-Uyar.

by G�und�uz-�Oğ�ud�uc�u, Şule [editor.] | Etaner-Uyar, A. Şima [editor.] | SpringerLink (Online service).

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

Leadership with Synercube [electronic resource] : A dynamic leadership culture for excellence / by Anatoly Zankovsky, Christiane von der Heiden.

by Zankovsky, Anatoly [author.] | von der Heiden, Christiane [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 Vieweg, 2016Online 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

Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino.

by Pathan, Mukaddim [editor.] | Wei, Guiyi [editor.] | Fortino, Giancarlo [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

Human-Computer Interaction - INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / edited by Paula Kotz�e, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler.

by Kotz�e, Paula [editor.] | Marsden, Gary [editor.] | Lindgaard, Gitte [editor.] | Wesson, Janet [editor.] | Winckler, Marco [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

Trustworthy Computing and Services [electronic resource] : International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers / edited by Lu Yueming, Wu Xu, Zhang Xi.

by Yueming, Lu [editor.] | Xu, Wu [editor.] | Xi, Zhang [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, 2015Online access: Click here to access online Availability: No items available

Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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

Information Systems and Global Assemblages. (Re)Configuring Actors, Artefacts, Organizations [electronic resource] : IFIP WG 8.2 Working Conference on Information Systems and Organizations, IS&O 2014, Auckland, New Zealand, December 11-12, 2014. Proceedings / edited by Bill Doolin, Eleni Lamprou, Nathalie Mitev, Laurie McLeod.

by Doolin, Bill [editor.] | Lamprou, Eleni [editor.] | Mitev, Nathalie [editor.] | McLeod, Laurie [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, 2014Online access: Click here to access online Availability: No items available

The Future Home is Wise, Not Smart [electronic resource] : A Human-Centric Perspective on Next Generation Domestic Technologies / by Gerhard Leitner.

by Leitner, Gerhard [author.] | 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