Your search returned 44 results.

Results
		Measurement of productivity and efficiency : theory and practice / Robin C. Sickles, Valentin Zelenyuk. by Sickles, Robin C [author.] Zelenyuk, Valentin [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2019 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Luís Caires. by Caires, Luís [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11423 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11562 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Internet of Things. Information Processing in an Increasingly Connected World [electronic resource] : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / edited by Leon Strous, Vinton G. Cerf. by Strous, Leon [editor.] Cerf, Vinton G [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 548 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Performing Citizenship [electronic resource] : Bodies, Agencies, Limitations / edited by Paula Hildebrandt, Kerstin Evert, Sibylle Peters, Mirjam Schaub, Kathrin Wildner, Gesa Ziemer. by Hildebrandt, Paula [editor.] Evert, Kerstin [editor.] Peters, Sibylle [editor.] Schaub, Mirjam [editor.] Wildner, Kathrin [editor.] Ziemer, Gesa [editor.] SpringerLink (Online service) Series: Performance Philosophy Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Palgrave Macmillan, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Flemming Nielson, David Sands. by Nielson, Flemming [editor.] Sands, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11426 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. by Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11429 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST Action IC1406 cHiPSet / edited by Joanna Kołodziej, Horacio González-Vélez. by Kołodziej, Joanna [editor.] González-Vélez, Horacio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11400 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Reiner Hähnle, Wil van der Aalst. by Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11424 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / edited by Tomáš Vojnar, Lijun Zhang. by Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11427 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Klänge in Bewegung : Spurensuchen in Choreografie und Performance. Jahrbuch TanzForschung 2017 / Stephanie Schroedter, Sabine Karoß. by Karoß, Sabine [editor.] Schroedter, Stephanie [editor.] Series: TanzScripte Material type: Text; Format: available online ; Audience: Specialized; Language: German Publisher: Bielefeld : transcript-Verlag, [2019]Copyright date: ©2017 Online resources: Open Access Cover Availability: No items available. Log in to add tags Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman. by Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10805 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / edited by Christel Baier, Ugo Dal Lago. by Baier, Christel [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10803 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Lujo Bauer, Ralf Küsters. by Bauer, Lujo [editor.] Küsters, Ralf [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10804 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Autonomous Control for a Reliable Internet of Services [electronic resource] : Methods, Models, Approaches, Techniques, Algorithms, and Tools / edited by Ivan Ganchev, R. D. van der Mei, Hans van den Berg. by Ganchev, Ivan [editor.] van der Mei, R. D [editor.] van den Berg, Hans [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10768 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Philosophie des HipHop : Performen, was an der Zeit ist / Eike Brock, Jürgen Manemann. by Manemann, Jürgen [author.] Brock, Eike [author.] Series: X-Texte zu Kultur und Gesellschaft Material type: Text; Format: available online ; Audience: Specialized; Language: German Publisher: Bielefeld : transcript-Verlag, [2018]Copyright date: ©2018 Online resources: Open Access Cover Availability: No items available. Log in to add tags Add to cart (remove)
		Musikalische Praxis als Lebensform : Sinnfindung und Wirklichkeitserfahrung beim Musizieren / Eva-Maria Houben. by Houben, Eva-Maria [author.] Series: Musik und Klangkultur ; 27 Material type: Text; Format: available online ; Audience: Specialized; Language: German Publisher: Bielefeld : transcript-Verlag, [2018]Copyright date: ©2018 Online resources: Open Access Cover Availability: No items available. Log in to add tags Add to cart (remove)
		Security of Networks and Services in an All-Connected World [electronic resource] : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings / edited by Daphne Tuncer, Robert Koch, Rémi Badonnel, Burkhard Stiller. by Tuncer, Daphne [editor.] Koch, Robert [editor.] Badonnel, Rémi [editor.] Stiller, Burkhard [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10356 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Cloud-Based Benchmarking of Medical Image Analysis [electronic resource] / edited by Allan Hanbury, Henning Müller, Georg Langs. by Hanbury, Allan [editor.] Müller, Henning [editor.] Langs, Georg [editor.] SpringerLink (Online service) Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Independent Theatre in Contemporary Europe : Structures - Aesthetics - Cultural Policy / ITI Zentrum Deutschland, Manfred Brauneck. by Brauneck, Manfred [editor.] ITI Zentrum Deutschland [editor.] Series: Theater ; 80 Edition: 1. Aufl. Material type: Text; Format: available online ; Audience: Specialized; Language: English Publisher: Bielefeld : transcript-Verlag, [2017]Copyright date: ©2017Title is part of eBook package: transcript eBook Package English Contemporary 2016-2018 Online resources: Open Access Cover Availability: No items available. Log in to add tags Add to cart (remove)