Refine your search

Your search returned 84 results.

Not what you expected? Check for suggestions
41.
Anti-fragile ICT Systems [electronic resource] / by Kjell Jørgen Hole.

by Hole, Kjell Jørgen [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature Open Access eBookMaterial type: Text Text; 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 :

42.
Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks / by Michael Voss, Rafael Asenjo, James Reinders.

by Voss, Michael [author.] | Asenjo, Rafael [author.] | Reinders, James [author.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2019Online access: Click here to access online Availability: No items available :

43.
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).

Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available :

44.
P5 eHealth: An Agenda for the Health Technologies of the Future [electronic resource] / edited by Gabriella Pravettoni, Stefano Triberti.

by Pravettoni, Gabriella [editor.] | Triberti, Stefano [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

45.
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).

Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available :

46.
Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC1405 / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira.

by Ulidowski, Irek [editor.] | Lanese, Ivan [editor.] | Schultz, Ulrik Pagh [editor.] | Ferreira, Carla [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

47.
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).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

48.
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 I / edited by Armin Biere, David Parker.

by Biere, Armin [editor.] | Parker, David [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

49.
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).

Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available :

50.
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [electronic resource] : A Reference Model Guided Approach for Common Challenges / edited by Zhiming Zhao, Margareta Hellström.

by Zhao, Zhiming [editor.] | Hellström, Margareta [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

51.
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).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

52.
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).

Edition: 1st ed. 2020.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

53.
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).

Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available :

54.
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 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 Amal Ahmed.

by Ahmed, Amal [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available :

55.
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 II / edited by Dirk Beyer, Marieke Huisman.

by Beyer, Dirk [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available :

56.
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).

Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available :

57.
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).

Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available :

58.
Informatics in the Future [electronic resource] : Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 / edited by Hannes Werthner, Frank van Harmelen.

by Werthner, Hannes [editor.] | van Harmelen, Frank [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

59.
New Horizons for a Data-Driven Economy [electronic resource] : A Roadmap for Usage and Exploitation of Big Data in Europe / edited by José María Cavanillas, Edward Curry, Wolfgang Wahlster.

by Cavanillas, José María [editor.] | Curry, Edward [editor.] | Wahlster, Wolfgang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature Open Access eBookMaterial type: Text Text; 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 :

60.
Preparing for Life in a Digital Age [electronic resource] : The IEA International Computer and Information Literacy Study International Report / by Julian Fraillon, John Ainley, Wolfram Schulz, Tim Friedman, Eveline Gebhardt.

by Fraillon, Julian [author.] | Ainley, John [author.] | Schulz, Wolfram [author.] | Friedman, Tim [author.] | Gebhardt, Eveline [author.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature Open Access eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :

Supported by Central Library, NIT Hamirpur
Powered by KOHA