|
|
|
|
Clausal Theory of Types by Wolfram, D A. Series: Cambridge Tracts in Theoretical Computer Science, 21Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681.2.06 WOL.
|
|
|
|
|
|
|
|
|
|
Logic in Computer Science : Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.
|
|
|
|
|
|
|
|
|
|
Dynamic logic by Harel, David | Kozen, Dexter | Touryn, Jerzy. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; MIT Press ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR.
|
|
|
|
|
|
|
|
|
|
Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings by Gottlob, Georg | Grandjean, Etienne | Seyr, Katrin Eds. Series: Lecture notes in computer science ; 01584Material type: Text;Language: ; Format:
print
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS.
|
|
|
|
|
Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings by Marcinkowski, Jerzy | Tarlecki, Andrzej Eds. Series: Lecture notes in computer science ; 03210Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
|
Logic in computer science modelling and reasoning about systems by Huth, Michael | Ryan, Mark. Edition: 2Material type: Text;Language: ; Format:
print
Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 39 Call number: 681.3.06 HUT.
|
|
|
|
|
|
|
|
|
|
Advances in contemporary logic and computer science : [electronic resource] proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) | Carnielli, Walter A. (Walter Alexandre) | D'Ottaviano, Itala M. L, 1944-. Series: Contemporary mathematics (American Mathematical Society) ; v. 235.Material type: Text;Language: English; Format:
available online
 ; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, 1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic in Computer Science Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Edition: 2ndMaterial type: Text Publication details: New York Cambridge University Press 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. by De Nicola, Rocco [editor.] | Kühn, Eva [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9763 | Lecture Notes in Computer Science ; 9763Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings / edited by Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín. by Moral, Serafín [editor.] | Pivert, Olivier [editor.] | Sánchez, Daniel [editor.] | Marín, Nicolás [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10564 | Lecture Notes in Computer Science ; 10564Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak. by Majumdar, Rupak [editor.] | Kunčak, Viktor [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10427 | Lecture Notes in Computer Science ; 10427Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
