Refine your search

Your search returned 84 results.

Not what you expected? Check for suggestions
21.
TouchDevelop [electronic resource] : Programming on the Go / by Nigel Horspool, Nikolai Tillmann, Judith Bishop.

by Horspool, Nigel [author.] | Tillmann, Nikolai [author.] | Bishop, Judith [author.] | SpringerLink (Online service).

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

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

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 :

23.
Manual of Digital Earth [electronic resource] / edited by Huadong Guo, Michael F. Goodchild, Alessandro Annoni.

by Guo, Huadong [editor.] | Goodchild, Michael F [editor.] | Annoni, Alessandro [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: Singapore : Springer Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

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

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 :

25.
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang.

by Lahiri, Shuvendu K [editor.] | Wang, Chao [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 :

26.
The Everyday Life of an Algorithm [electronic resource] / by Daniel Neyland.

by Neyland, Daniel [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: Palgrave Pivot, 2019Online access: Click here to access online Availability: No items available :

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

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 :

28.
Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 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 Alessandra Russo, Andy Schürr.

by Russo, Alessandra [editor.] | Schürr, Andy [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 :

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

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 :

30.
Rethinking Productivity in Software Engineering [electronic resource] / edited by Caitlin Sadowski, Thomas Zimmermann.

by Sadowski, Caitlin [editor.] | Zimmermann, Thomas [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: Berkeley, CA : Apress : Imprint: Apress, 2019Online access: Click here to access online Availability: No items available :

31.
Dynamic Spectrum Management [electronic resource] : From Cognitive Radio to Blockchain and Artificial Intelligence / by Ying-Chang Liang.

by Liang, Ying-Chang [author.] | 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: Singapore : Springer Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available :

32.
Preparing for Life in a Digital World [electronic resource] : IEA International Computer and Information Literacy Study 2018 International Report / by Julian Fraillon, John Ainley, Wolfram Schulz, Tim Friedman, Daniel Duckworth.

by Fraillon, Julian [author.] | Ainley, John [author.] | Schulz, Wolfram [author.] | Friedman, Tim [author.] | Duckworth, Daniel [author.] | 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 :

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

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 :

34.
European E-Democracy in Practice [electronic resource] / edited by Leonhard Hennen, Ira van Keulen, Iris Korthagen, Georg Aichholzer, Ralf Lindner, Rasmus Øjvind Nielsen.

by Hennen, Leonhard [editor.] | van Keulen, Ira [editor.] | Korthagen, Iris [editor.] | Aichholzer, Georg [editor.] | Lindner, Ralf [editor.] | Nielsen, Rasmus Øjvind [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 :

35.
VR Technologies in Cultural Heritage [electronic resource] : First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers / edited by Mihai Duguleană, Marcello Carrozzino, Matjaž Gams, Iulian Tanea.

by Duguleană, Mihai [editor.] | Carrozzino, Marcello [editor.] | Gams, Matjaž [editor.] | Tanea, Iulian [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 :

36.
The Impact of Digital Technologies on Public Health in Developed and Developing Countries [electronic resource] : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings / edited by Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel.

by Jmaiel, Mohamed [editor.] | Mokhtari, Mounir [editor.] | Abdulrazak, Bessam [editor.] | Aloulou, Hamdi [editor.] | Kallel, Slim [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 :

37.
Linked Open Data -- Creating Knowledge Out of Interlinked Data [electronic resource] : Results of the LOD2 Project / edited by Sören Auer, Volha Bryl, Sebastian Tramp.

by Auer, Sören [editor.] | Bryl, Volha [editor.] | Tramp, Sebastian [editor.] | 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 :

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

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 :

39.
Re-engineering the Uptake of ICT in Schools [electronic resource] / edited by Frans Van Assche, Luis Anido, David Griffiths, Cathy Lewin, Sarah McNicol.

by Van Assche, Frans [editor.] | Anido, Luis [editor.] | Griffiths, David [editor.] | Lewin, Cathy [editor.] | McNicol, Sarah [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.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, 2015Online access: Click here to access online Availability: No items available :

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

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 :

Supported by Central Library, NIT Hamirpur
Powered by KOHA