Results of search for 'ccl=(su:{computation})' › O. P. Jindal Global University Library, Sonepat (India) catalog

Refine your search

Availability
- Limit to records with available items
Authors
- Biere, Armin (6)
- Bouyer, Patricia (4)
- Chockler, Hana (6)
- Groote, Jan Friso (6)
- Ikematsu, Yasuhiko (5)
- Kimoto, Kazufumi (5)
- Kunihiro, Noboru (5)
- Lahiri, Shuvendu K. (8)
- Larsen, Kim Guldstra... (6)
- Leino, K. Rustan M. (6)
- Parker, David (6)
- Silva, Alexandra (6)
- Sukharevsky, Oleg I. (4)
- Takagi, Tsuyoshi (5)
- Tanaka, Keisuke (5)
- Vojnar, Tomáš (4)
- Wakayama, Masato (5)
- Wang, Chao (6)
- Weissenbacher, Georg (6)
- Zhang, Lijun (6)
- Show more
- Show less
Collections
- E-Books EBSCO (32)
- E-Books Open Access (234)
Home libraries
- OPJGU Sonepat- Campus (266)
Item types
- Electronic-Books (266)
Series
- Advances in natural ... (1)
- Artificial Intellige... (1)
- Board of internation... (1)
- Classroom resource m... (1)
- Conference Series: F... (3)
- Financial Mathematic... (2)
- Foundations of compu... (2)
- Frontiers in artific... (2)
- Learning Materials i... (1)
- Lecture Notes in Com... (17)
- Lecture Notes in Com... (13)
- Lecture Notes in Com... (6)
- Mathematics for Indu... (2)
- Proceedings in Infor... (1)
- Progress in neural p... (1)
- Security and Cryptol... (2)
- Simula SpringerBrief... (3)
- The Morgan Kaufmann ... (2)
- Theoretical Computer... (13)
- Show more
- Show less
Places
- Great Britain (1)
- Großbritannien (1)
Topics
- Algorithms & data st... (47)
- Artificial intellige... (85)
- Computer architectur... (13)
- Computer modelling &... (21)
- Computer networking ... (26)
- Computer programming... (54)
- Computer science (66)
- COMPUTERS (14)
- Computers (7)
- Machine learning (12)
- Mathematical theory ... (109)
- Software Engineering (68)
- Software engineering (13)
- Systems analysis & d... (36)
- Technology: general ... (13)
- Theory of Computatio... (22)
- Show more
- Show less
Titles
- ANACONDA (Electronic... (1)

			The Everyday Life of an Algorithm by Neyland, Daniel [auth] Material type: Article Language: English Publication details: Cham Springer Nature 2019 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Quantum Computing for the Quantum Curious by Hughes, Ciaran [auth] Isaacson, Joshua [auth] Perry, Anastasia [auth] Sun, Ranbel F [auth] Turner, Jessica [auth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I by Chockler, Hana [edt] Weissenbacher, Georg [edt] Chockler, Hana [oth] Weissenbacher, Georg [oth] Material type: Article Language: English Publication details: Springer Nature 2018 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Introduction to Scientific Programming with Python by Sundnes, Joakim [auth] Material type: Article Language: English Publication details: Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems : 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 by Vojnar, Tomáš [edt] Zhang, Lijun [edt] Vojnar, Tomáš [oth] Zhang, Lijun [oth] Material type: Article Language: English Publication details: Springer Nature 2019 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems : 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 by Vojnar, Tomáš [edt] Zhang, Lijun [edt] Vojnar, Tomáš [oth] Zhang, Lijun [oth] Material type: Article Language: English Publication details: Springer Nature 2019 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II by Chockler, Hana [edt] Weissenbacher, Georg [edt] Chockler, Hana [oth] Weissenbacher, Georg [oth] Material type: Article Language: English Publication details: Springer Nature 2018 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers by Cochez, Michael [edt] Croitoru, Madalina [edt] Marquis, Pierre [edt] Rudolph, Sebastian [edt] Cochez, Michael [oth] Croitoru, Madalina [oth] Marquis, Pierre [oth] Rudolph, Sebastian [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by Kiefer, Stefan [edt] Tasson, Christine [edt] Kiefer, Stefan [oth] Tasson, Christine [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I by Groote, Jan Friso [edt] Larsen, Kim Guldstrand [edt] Groote, Jan Friso [oth] Larsen, Kim Guldstrand [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II by Groote, Jan Friso [edt] Larsen, Kim Guldstrand [edt] Groote, Jan Friso [oth] Larsen, Kim Guldstrand [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings by Guerra, Esther [edt] Stoelinga, Mariëlle [edt] Guerra, Esther [oth] Stoelinga, Mariëlle [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6 by Linge, Svein [auth] Langtangen, Hans Petter [auth] Material type: Article Language: English Publication details: Cham Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			The Amazing Journey of Reason : from DNA to Artificial Intelligence by Alemi, Mario [auth] Material type: Article Language: English Publication details: Cham Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Goubault-Larrecq, Jean [edt] König, Barbara [edt] Goubault-Larrecq, Jean [oth] König, Barbara [oth] Material type: Article Language: English Publication details: Cham Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems : 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 by Biere, Armin [edt] Parker, David [edt] Biere, Armin [oth] Parker, David [oth] Material type: Article Language: English Publication details: Cham Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems : 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 by Biere, Armin [edt] Parker, David [edt] Biere, Armin [oth] Parker, David [oth] Material type: Article Language: English Publication details: Cham Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III by Beyer, Dirk [edt] Huisman, Marieke [edt] Kordon, Fabrice [edt] Steffen, Bernhard [edt] Beyer, Dirk [oth] Huisman, Marieke [oth] Kordon, Fabrice [oth] Steffen, Bernhard [oth] Material type: Article Language: English Publication details: Springer Nature 2019 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Museum Digitisations and Emerging Curatorial Agencies Online : Vikings in the Digital Age by Axelsson, Bodil [auth] Cameron, Fiona R [auth] Hauptman, Katherine [auth] Pietrobruno, Sheenagh [auth] Material type: Article Language: English Publication details: Cham Springer Nature 2022 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			No cover image available Elements of dynamic and 2-SAT programming: paths, trees, and cuts by Bentert, Matthias [auth] Material type: Article Language: English Publication details: Berlin Universitätsverlag der Technischen Universität Berlin 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Places

Topics

Titles

Your search returned 269 results.