Refine your search

Your search returned 1029 results.

Not what you expected? Check for suggestions
161.
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 II / 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 :

162.
Finding the Limits of the Limes [electronic resource] : Modelling Demography, Economy and Transport on the Edge of the Roman Empire / edited by Philip Verhagen, Jamie Joyce, Mark R. Groenhuijzen.

by Verhagen, Philip [editor.] | Joyce, Jamie [editor.] | Groenhuijzen, Mark R [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 :

163.
Norwegian Shipping in the 20th Century [electronic resource] : Norway's Successful Navigation of the World's Most Global Industry / by Stig Tenold.

by Tenold, Stig [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 Macmillan, 2019Online access: Click here to access online Availability: No items available :

164.
Industry 4.0 for SMEs [electronic resource] : Challenges, Opportunities and Requirements / edited by Dominik T. Matt, Vladimír Modrák, Helmut Zsifkovits.

by Matt, Dominik T [editor.] | Modrák, Vladimír [editor.] | Zsifkovits, Helmut [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: Palgrave Macmillan, 2020Online access: Click here to access online Availability: No items available :

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

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 :

166.
Bird Species [electronic resource] : How They Arise, Modify and Vanish / edited by Dieter Thomas Tietze.

by Tietze, Dieter Thomas [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 :

167.
Model-Based Demography [electronic resource] : Essays on Integrating Data, Technique and Theory / by Thomas K. Burch.

by Burch, Thomas K [author.] | 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 :

168.
Digital Video Concepts, Methods, and Metrics [electronic resource] : Quality, Compression, Performance, and Power Trade-off Analysis / by Shahriar Akramullah.

by Akramullah, Shahriar [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: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :

169.
The InfoSec Handbook [electronic resource] : An Introduction to Information Security / by Umesha Nayak, Umesh Hodeghatta Rao.

by Nayak, Umesha [author.] | Rao, Umesh Hodeghatta [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: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :

170.
Vote Buying in Indonesia [electronic resource] : The Mechanics of Electoral Bribery / by Burhanuddin Muhtadi.

by Muhtadi, Burhanuddin [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: Singapore : Springer Singapore : Imprint: Palgrave Macmillan, 2019Online access: Click here to access online Availability: No items available :

171.
Differential Undercounts in the U.S. Census [electronic resource] : Who is Missed? / by William P. O’Hare.

by O’Hare, William P [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 :

172.
Multiple-Aspect Analysis of Semantic Trajectories [electronic resource] : First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings / edited by Konstantinos Tserpes, Chiara Renso, Stan Matwin.

by Tserpes, Konstantinos [editor.] | Renso, Chiara [editor.] | Matwin, Stan [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 :

173.
Management of Research Infrastructures: A South African Funding Perspective [electronic resource] / by Rakeshnie Ramoutar-Prieschl, Sepo Hachigonta.

by Ramoutar-Prieschl, Rakeshnie [author.] | Hachigonta, Sepo [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 :

174.
Platform Embedded Security Technology Revealed [electronic resource] : Safeguarding the Future of Computing with Intel Embedded Security and Management Engine / by Xiaoyu Ruan.

by Ruan, Xiaoyu [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: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :

175.
Energy Efficient Servers [electronic resource] : Blueprints for Data Center Optimization / by Corey Gough, Ian Steiner, Winston Saunders.

by Gough, Corey [author.] | Steiner, Ian [author.] | Saunders, Winston [author.] | 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: Berkeley, CA : Apress : Imprint: Apress, 2015Online access: Click here to access online Availability: No items available :

176.
Intel Galileo and Intel Galileo Gen 2 [electronic resource] : API Features and Arduino Projects for Linux Programmers / by Manoel Ramon.

by Ramon, Manoel [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: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :

177.
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 :

178.
Reality Lost [electronic resource] : Markets of Attention, Misinformation and Manipulation / by Vincent F. Hendricks, Mads Vestergaard.

by Hendricks, Vincent F [author.] | Vestergaard, Mads [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 :

179.
AiREAS: Sustainocracy for a Healthy City [electronic resource] : Phase 3: Civilian Participation – Including the Global Health Deal Proposition / edited by Jean-Paul Close.

by Close, Jean-Paul [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 :

180.
The Privacy Engineer's Manifesto [electronic resource] : Getting from Policy to Code to QA to Value / by Michelle Dennedy, Jonathan Fox, Tom Finneran.

by Dennedy, Michelle [author.] | Fox, Jonathan [author.] | Finneran, Tom [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: Berkeley, CA : Apress : Imprint: Apress, 2014Online access: Click here to access online Availability: No items available :

Supported by Central Library, NIT Hamirpur
Powered by KOHA