Your search returned 9 results.

Sort
Results
1.
Mathematical logic by Series: Undergraduate texts in mathematics
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: German
Publication details: New York : Springer, ©1996
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 EBB-M.

2.
Automata, logics, and infinite games by Series: Lecture notes in computer science ; 2500
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2002
Online access:
Availability: Items available for loan: IIITD (1)Call number: REF 004.015 GRA-A.

3.
4.
STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4393
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

5.
6.
STACS 2006 [electronic resource] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3884
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

7.
8.
Automata, Logics, and Infinite Games [electronic resource] : A Guide to Current Research / by Series: Lecture Notes in Computer Science ; 2500
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

9.
Computer Science Logic [electronic resource] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / by Series: Lecture Notes in Computer Science ; 1414
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in