Your search returned 54 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan by
Edition: 2nd ed
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: ENG
Publication details: India Cambridge University Press 2000
Availability: Items available for loan: BITS Pilani Hyderabad (5)Location, call number: Text & Reference Section (Student cannot borrow these books) 004 HUT-M, ...

2.
Temporal logics in computer science : finite-state systems / Stephane Demri, Valentin Goranko and Martin Lange by
Material type: Text Text; Literary form: Not fiction
Publication details: Cambridge Cambridge University Press 2016
Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 004 DEM-S.

3.
Logical reasoning and data interpretation for CAT : also useful for other MBA entrance examinations / Nishit K. Sinha by
Edition: 6th ed.,
Material type: Text Text; Literary form: Not fiction
Publication details: India Pearson Education India 2019
Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: Competitive Exam Section (For lending) 004.015113 SIN-N.

4.
Logic and language models for computer science / Dana Richards and Henry Hamburger by
Edition: 3rd ed.,
Material type: Text Text; Literary form: Not fiction
Publication details: New Jersey World Scientific 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 005.131 RIC-D.

5.
A First Introduction to Quantum Computing and Information by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2018
Availability: Items available for loan: BITS Pilani Hyderabad (1).

6.
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2017
Availability: Items available for loan: BITS Pilani Hyderabad (1).

7.
Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective by
Material type: Text Text; Format: print
Language: English
Publication details: Singapore Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

8.
Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

9.
Applications of Machine Learning by
Material type: Text Text; Format: print
Language: English
Publication details: Singapore Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

10.
11.
12.
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

13.
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

14.
Inductive Logic Programming : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

15.
16.
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

17.
18.
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

19.
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

20.
Rules and Reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings by
Material type: Text Text; Format: print
Language: English
Publication details: Cham Springer 2020
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Pages
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

© 2015 BITS-Library, BITS-Hyderabad, India.