Your search returned 54 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
22.
Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 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
23.
Knowledge Graphs and Big Data Processing 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
24.
Model-Based Safety and Assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 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
25.
Descriptional Complexity of Formal Systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 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
26.
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II 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
27.
Theory and Applications of Satisfiability Testing - SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 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
28.
Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 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
29.
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I 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
30.
Probabilistic Extensions of Various Logical Systems 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
31.
Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 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
32.
Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 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
33.
A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof 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
34.
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 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
35.
Computational Complexity and Property Testing : On the Interplay Between Randomness and Computation 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
36.
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 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
37.
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 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
38.
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 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
39.
Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th 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
40.
Developments in Language Theory : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 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.