Your search returned 54 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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, ...

Add to cart
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.

Add to cart
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.

Add to cart
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.

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

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
7.
No cover image available
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

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

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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
Online access:
Availability: Items available for loan: BITS Pilani Hyderabad (1).

Add to cart
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.