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

Refine your search

Availability
- Limit to records with available items
Authors
- Beyer, Dirk (3)
- Braga, Adriana (1)
- Chockler, Hana (6)
- Dillig, Isil (3)
- Esparza, Javier (1)
- Grumberg, Orna (2)
- Harel, David (1)
- Huisman, Marieke (3)
- Kordon, Fabrice (3)
- Kozen, Dexter (1)
- Logan, Robert K. (1)
- Nahin, Paul J. (1)
- Pfaller, Christian (1)
- Spanfelner, Bernd (1)
- Steffen, Bernhard (3)
- Tasiran, Serdar (3)
- Vojnar, Tomáš (4)
- Vojnar, Tomï¿½š (2)
- Weissenbacher, Georg (6)
- Zhang, Lijun (6)
- Show more
- Show less
Collections
- E-Books EBSCO (6)
- E-Books Open Access (19)
Home libraries
- OPJGU Sonepat- Campus (25)
Item types
- Electronic-Books (25)
Series
- Foundations of compu... (1)
- Lecture Notes in Com... (6)
- NATO science for pea... (2)
Places
- Great Britain (1)
- United States (1)
Topics
- Algorithms & data st... (9)
- Artificial intellige... (15)
- Cognitive science (1)
- Computer algorithms (1)
- Computer architectur... (3)
- Computer logic (9)
- Computer modelling &... (9)
- Computer programming... (18)
- Computer security (4)
- COMPUTERS (5)
- Electronic data proc... (1)
- Formal methods (Comp... (1)
- Information technolo... (9)
- Logique informatique (6)
- Mathematical theory ... (18)
- Software Engineering (18)
- Systems analysis & d... (9)
- Show more
- Show less

			The logician and the engineer : how George Boole and Claude Shannon created the information age / Paul J. Nahin. by Nahin, Paul J Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Princeton : Princeton University Press, [2012] Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Logic of Analog and Digital Machines / Paolo Rocchi (IBM, Roma, Italy). by Rocchi, Paolo [author.] Edition: Revised edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Hauppauge, NY : Nova Science Publishers, Inc., [2013]Copyright date: ©2014 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computational thinking and how to develop it in the educational process / Milan Klement, Tomáš Dragon, Lucie Bryndová. by Klement, Milan, 1974- [author.] Dragon, Tomáš [author.] Bryndová, Lucie [author.] Edition: First edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Olomouc : Palacký University Olomouc, 2020 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn. by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Series: Foundations of computing Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 2000 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) Grumberg, Orna Nipkow, Tobias, 1958- Pfaller, Christian Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 14. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Logics and languages for reliability and security / edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. by NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany) Esparza, Javier Spanfelner, Bernd Grumberg, Orna IOS Press Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 24. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, 2010 Online resources: Click here to access online 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: DOAB: download the publication DOAB: 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: DOAB: download the publication DOAB: 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: DOAB: download the publication DOAB: 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: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II by Dillig, Isil [edt] Tasiran, Serdar [edt] Dillig, Isil [oth] Tasiran, Serdar [oth] Material type: Article Language: English Publication details: Springer Nature 2019 Online resources: DOAB: download the publication DOAB: 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: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			AI AND THE SINGULARITY : A FALLACY OR A GREAT OPPORTUNITY? by Logan, Robert K [edt] Braga, Adriana [edt] Logan, Robert K [oth] Braga, Adriana [oth] Material type: Article Language: English Publication details: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2020 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II by Dillig, Isil [edt] Tasiran, Serdar [edt] Dillig, Isil [oth] Tasiran, Serdar [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 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)
			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)
			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)
			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] Chockler, Hana [oth] Weissenbacher, Georg [edt] Weissenbacher, Georg [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2018 Online resources: Open Access: OAPEN Library: description of the publication Open Access: OAPEN Library, download 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

Your search returned 25 results.