Your search returned 42 results.

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

22.
Entity-Oriented Search [electronic resource] / by Krisztian Balog.

by Balog, Krisztian [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 :

23.
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher.

by Chockler, Hana [editor.] | Weissenbacher, Georg [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 :

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

25.
Enhanced Living Environments [electronic resource] : Algorithms, Architectures, Platforms, and Systems / edited by Ivan Ganchev, Nuno M. Garcia, Ciprian Dobre, Constandinos X. Mavromoustakis, Rossitza Goleva.

by Ganchev, Ivan [editor.] | Garcia, Nuno M [editor.] | Dobre, Ciprian [editor.] | Mavromoustakis, Constandinos X [editor.] | Goleva, Rossitza [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 :

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

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

28.
On the path to AI [electronic resource] : Law’s prophecies and the conceptual foundations of the machine learning age / by Thomas D. Grant, Damon J. Wischik.

by Grant, Thomas D [author.] | Wischik, Damon J [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: Palgrave Macmillan, 2020Online access: Click here to access online Availability: No items available :

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

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

31.
Foundations of Trusted Autonomy [electronic resource] / edited by Hussein A. Abbass, Jason Scholz, Darryn J. Reid.

by Abbass, Hussein A [editor.] | Scholz, Jason [editor.] | Reid, Darryn J [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 :

32.
Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / edited by Rio Yokota, Weigang Wu.

by Yokota, Rio [editor.] | Wu, Weigang [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 :

33.
Elements of Robotics [electronic resource] / by Mordechai Ben-Ari, Francesco Mondada.

by Ben-Ari, Mordechai [author.] | Mondada, Francesco [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 :

34.
Language Technologies for the Challenges of the Digital Age [electronic resource] : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings / edited by Georg Rehm, Thierry Declerck.

by Rehm, Georg [editor.] | Declerck, Thierry [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 :

35.
Intelligent Human Computer Interaction [electronic resource] : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings / edited by Patrick Horain, Catherine Achard, Malik Mallem.

by Horain, Patrick [editor.] | Achard, Catherine [editor.] | Mallem, Malik [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 :

36.
Efficient Learning Machines [electronic resource] : Theories, Concepts, and Applications for Engineers and System Designers / by Mariette Awad, Rahul Khanna.

by Awad, Mariette [author.] | Khanna, Rahul [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 :

37.
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings / edited by Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent.

by Czachórski, Tadeusz [editor.] | Gelenbe, Erol [editor.] | Grochla, Krzysztof [editor.] | Lent, Ricardo [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 :

38.
Bisociative Knowledge Discovery [electronic resource] : An Introduction to Concept, Algorithms, Tools, and Applications / edited by Michael R. Berthold.

by Berthold, Michael R [editor.] | SpringerLink (Online service).

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

39.
Symbiotic Interaction [electronic resource] : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers / edited by Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman.

by Gamberini, Luciano [editor.] | Spagnolli, Anna [editor.] | Jacucci, Giulio [editor.] | Blankertz, Benjamin [editor.] | Freeman, Jonathan [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 :

40.
Essential Speech and Language Technology for Dutch [electronic resource] : Results by the STEVIN-programme / edited by Peter Spyns, Jan Odijk.

by Spyns, Peter [editor.] | Odijk, Jan [editor.] | SpringerLink (Online service).

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

Supported by Central Library, NIT Hamirpur
Powered by KOHA