Biju Patnaik Central Library catalog

16676.

Logic, Language, and Computation [electronic resource] : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers / edited by Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat.

by Hansen, Helle Hvid [editor.] | Murray, Sarah E [editor.] | Sadrzadeh, Mehrnoosh [editor.] | Zeevat, Henk [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16677.

Public-Key Cryptography – PKC 2017 [electronic resource] : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I / edited by Serge Fehr.

by Fehr, Serge [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16678.

Public-Key Cryptography – PKC 2017 [electronic resource] : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part II / edited by Serge Fehr.

by Fehr, Serge [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16679.

Transactions on Edutainment XIII [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Mingmin Zhang.

by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | Zhang, Mingmin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16680.

Programming Languages and Systems [electronic resource] : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings / edited by Hongseok Yang.

by Yang, Hongseok [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16681.

Principles of Security and Trust [electronic resource] : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Matteo Maffei, Mark Ryan.

by Maffei, Matteo [editor.] | Ryan, Mark [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16682.

Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.

by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16683.

Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.

by Huisman, Marieke [editor.] | Rubin, Julia [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16684.

Transactions on Computational Science XXIX [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan.

by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16685.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria.

by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16686.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / edited by Axel Legay, Tiziana Margaria.

by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16687.

Financial Cryptography and Data Security [electronic resource] : 20th International Conference, FC 2016, Christ Church, Barbados, February 22–26, 2016, Revised Selected Papers / edited by Jens Grossklags, Bart Preneel.

by Grossklags, Jens [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16688.

Logic, Language, Information, and Computation [electronic resource] : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / edited by Juliette Kennedy, Ruy J.G.B. de Queiroz.

by Kennedy, Juliette [editor.] | de Queiroz, Ruy J.G.B [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16689.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII [electronic resource] : Special Issue on Big Data Analytics and Knowledge Discovery / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sanjay Madria, Takahiro Hara.

Source: Springer eBooksMaterial type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :

16690.

Philosophy of science [electronic resource] / Alexander Bird.

by Bird, Alexander, 1964- [author.].

Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: Montreal ; Buffalo : McGill-Queen's University Press, 1998Online access: Click here to view. Availability: No items available :

16691.

A short history of ethics : a history of moral philosophy from the Homeric Age to the Twentieth Century [electronic resource] / Alasdair MacIntyre.

by MacIntyre, A. C. (Alasdair C.) [author.].

Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: London : Routledge, 1998Online access: Click here to view. Availability: No items available :

16692.

Project management for the 21st century [electronic resource] / Bennet P. Lientz, Kathryn P. Rea.

by Lientz, Bennet P [author] | Rea, Kathryn P.

Edition: Third edition.Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: San Diego : Academic Press, 2002Online access: Click here to view. Availability: No items available :

16693.

Numerical methods and methods of approximation in science and engineering [electronic resource] / Karan Surana.

by Surana, Karan S [author.].

Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: Boca Raton : Taylor & Francis, a CRC title, part of the Taylor & Francis imprint, a member of the Taylor & Francis Group, the academic division of T & F Informa, plc, 2018Online access: Taylor & Francis Click here to view. | OCLC metadata license agreement Availability: No items available :

16694.

Urban lighting for people : evidence-based lighting design for the built environment [electronic resource] / edited by Navaz Davoudian.

by Davoudian, Navaz [editor.].

Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: London : RIBA Publishing [2019]Copyright date: ©2019Online access: Taylor & Francis Click here to view. | OCLC metadata license agreement Availability: No items available :

16695.

The universe of design : Horst Rittel's theories of design and planning [electronic resource] / Jean-Pierre Protzen and David J. Harris.

by Protzen, Jean-Pierre [author.] | Harris, David J, 1965-.

Material type: Text

Text; Format: available online remote

; Nature of contents: biography

; Literary form: Not fiction Language: English Publisher: Oxon [England] ; New York, N.Y. : Routledge, 2010Other title: Horst Rittel's theories of design and planning.Online access: Click here to view. Availability: No items available :

16696.

Cell Movements : From Molecules to Motility [electronic resource] / Dennis Bray.

by Bray, Dennis [author.].

Edition: Second edition.Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: Boca Raton, FL : CRC Press, 2000Online access: Click here to view. Availability: No items available :

16697.

Global design history [electronic resource] / edited by Glenn Adamson, Giorgio Riello and Sarah Teasley.

by Adamson, Glenn | Riello, Giorgio | Teasley, Sarah, 1973-.

Edition: First edition.Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: London : Routledge, 2011Online access: Click here to view. Availability: No items available :

16698.

Egg Science and Technology, Fourth Edition [electronic resource] / editors, Debbie Newkirk, Lynne Newby.

by Stadelman, William J [author.] | Newby, Lynne [author.] | Newkirk, Debbie [author.].

Edition: Fourth edition.Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: Boca Raton, FL : CRC Press, 2017Online access: Taylor & Francis Click here to view. | OCLC metadata license agreement Availability: No items available :

16699.

High-Vacuum Technology : a Practical Guide, Second Edition [electronic resource] / Marsbed H. Hablanian.

by Hablanian, Marsbed H [author.].

Edition: Second edition.Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: London : Taylor and Francis, 2017Online access: Taylor & Francis Click here to view. | OCLC metadata license agreement Availability: No items available :

16700.

Introduction to phase equilibria in ceramic systems [electronic resource] / Floyd A. Hummel.

by Hummel, Floyd A, 1915-.

Material type: Text

Text; Format: available online remote

; Literary form: Not fiction Language: English Publisher: London : Taylor and Francis, 2017Other title: Phase equilibria in ceramic systems.Online access: Click here to view. Availability: No items available :

Biju Patnaik Central Library

Refine your search

Availability

Authors

Item types

Series

Places

Topics

Titles

Your search returned 17040 results.