Your search returned 453 results.

Results
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / edited by Armin Biere, David Parker. by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12079 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 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] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Heike Wehrheim, Jordi Cabot. by Wehrheim, Heike [editor.] Cabot, Jordi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12076 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Advances in Intelligent Data Analysis XVIII [electronic resource] : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / edited by Michael R. Berthold, Ad Feelders, Georg Krempl. by Berthold, Michael R [editor.] Feelders, Ad [editor.] Krempl, Georg [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12080 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Supercomputing Frontiers [electronic resource] : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings / edited by Dhabaleswar K. Panda. by Panda, Dhabaleswar K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12082 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019 / Osiris Alejandro Valdez Banda, Pentti Kujala, Spyros Hirdaris, Sunil Basnet. by Alejandro Valdez Banda, Osiris [editor.] Basnet, Sunil [editor.] Hirdaris, Spyros [editor.] Kujala, Pentti [editor.] Material type: Text; Format: available online ; Audience: Specialized; Language: English Publisher: Warsaw ; Berlin : Sciendo, [2020]Copyright date: ©2020Title is part of eBook package: EBOOK PACKAGE COMPLETE 2020 EnglishTitle is part of eBook package: EBOOK PACKAGE COMPLETE 2020Title is part of eBook package: EBOOK PACKAGE Engineering, Computer Sciences 2020 EnglishTitle is part of eBook package: EBOOK PACKAGE Engineering, Computer Sciences 2020 Online resources: Open Access Cover Availability: No items available. Log in to add tags Add to cart (remove)
		Data Visualization in Society / Martin Engebretsen, Helen Kennedy. by Engebretsen, Martin [editor.] Kennedy, Helen [editor.] Material type: Text; Format: available online ; Audience: Specialized; Language: English Publisher: Amsterdam : Amsterdam University Press, [2020]Copyright date: ©2020Title is part of eBook package: AUP eBook Package 2020Title is part of eBook package: EBOOK PACKAGE COMPLETE 2020 EnglishTitle is part of eBook package: EBOOK PACKAGE COMPLETE 2020Title is part of eBook package: EBOOK PACKAGE Engineering, Computer Sciences 2020 EnglishTitle is part of eBook package: EBOOK PACKAGE Engineering, Computer Sciences 2020 Online resources: Open Access Cover 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)
		IEA International Computer and Information Literacy Study 2018 Assessment Framework [electronic resource] / by Julian Fraillon, John Ainley, Wolfram Schulz, Daniel Duckworth, Tim Friedman. by Fraillon, Julian [author.] Ainley, John [author.] Schulz, Wolfram [author.] Duckworth, Daniel [author.] Friedman, Tim [author.] SpringerLink (Online service) 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)
		Supercomputing Frontiers [electronic resource] : 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings / edited by David Abramson, Bronis R. de Supinski. by Abramson, David [editor.] de Supinski, Bronis R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11416 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)
		Gender Differences in Computer and Information Literacy [electronic resource] : An In-depth Analysis of Data from ICILS / by Eveline Gebhardt, Sue Thomson, John Ainley, Kylie Hillman. by Gebhardt, Eveline [author.] Thomson, Sue [author.] Ainley, John [author.] Hillman, Kylie [author.] SpringerLink (Online service) Series: IEA Research for Education, A Series of In-depth Analyses Based on Data of the International Association for the Evaluation of Educational Achievement (IEA) ; 8 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)
		Managed Software Evolution [electronic resource] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin. by Reussner, Ralf [editor.] Goedicke, Michael [editor.] Hasselbring, Wilhelm [editor.] Vogel-Heuser, Birgit [editor.] Keim, Jan [editor.] Märtin, Lukas [editor.] SpringerLink (Online service) 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 I / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 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)
		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)
		The Everyday Life of an Algorithm [electronic resource] / by Daniel Neyland. by Neyland, Daniel [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Palgrave Pivot, 2019 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		CyberParks – The Interface Between People, Places and Technology [electronic resource] : New Approaches and Perspectives / edited by Carlos Smaniotto Costa, Ina Šuklje Erjavec, Therese Kenna, Michiel de Lange, Konstantinos Ioannidis, Gabriela Maksymiuk, Martijn de Waal. by Smaniotto Costa, Carlos [editor.] Šuklje Erjavec, Ina [editor.] Kenna, Therese [editor.] de Lange, Michiel [editor.] Ioannidis, Konstantinos [editor.] Maksymiuk, Gabriela [editor.] de Waal, Martijn [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11380 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)
		Semantic Systems. The Power of AI and Knowledge Graphs [electronic resource] : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings / edited by Maribel Acosta, Philippe Cudré-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, York Sure-Vetter. by Acosta, Maribel [editor.] Cudré-Mauroux, Philippe [editor.] Maleshkova, Maria [editor.] Pellegrini, Tassilo [editor.] Sack, Harald [editor.] Sure-Vetter, York [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11702 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)