Your search returned 10 results.

Sort
Results
Iteration theories : the equational logic of iterative processes

by Bloom, Stephen L | Esik, Zoltan | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer-Verlag, 1993 ; 1993Availability: Items available for loan: 1 Call number: 681.3.06:51 Blo.

CSL 06 : computer science logic : 20th international workshop, 15th annual conference of the EACSL : proceedings, Szeged, Hungary, Sept. 25-29, 2006

by | Esik, Zoltan | Esik, Zoltan.

Series: Lecture Notes in Computer Science ; v.4207Edition: Language: English Publication details: Berlin ; Springer ; 2006Availability: Items available for loan: 1 Call number: 681.3:517.1CSL:06.

Developments in language theory : 7th international conference proceedings, DLT, Szeged, Hungary, July 7-11, 2003

by | Esik, Zoltan | Esik, Zoltan.

Series: Lecture notes in computer science ; v.2710Edition: Language: English Publication details: Beriln ; Springer ; 2003Availability: Items available for loan: 1 Call number: 681.3.06:51Dev:7:03.

Mathematical foundations of computer science : 39th international symposium, MFCS, proceedings, Budapest, Hungary, Aug. 25-29, 2014 (e-book)

by Csuhaj-Varjú, Erzsébet | Dietzfelbinger, Martin | Esik, Zoltan.

Series: Lecture notes in computer science ; v.8634 Language: null Publication details: Berlin Springer 2014Online access: Click here to access online Availability: No items available.

Fundamentals of computation theory (e-book)

by Esik, Zoltan.

Series: Lecture Notes in Computer Science (LNCS) ; v.710Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1993Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Developments in language theory (e-book)

by Ésik, Zoltán.

Series: Lecture Notes in Computer Science (LNCS) ; v.2710Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2003Online access: Click here to access online Availability: Items available for reference: Online (1) .

Computer science logic (e-book)

by Ésik, Zoltán.

Series: Lecture Notes in Computer Science (LNCS) ; v.4207Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2006Online access: Click here to access online Availability: Items available for reference: Online (1) .

Mathematical foundations of computer science : 39th international symposium, MFCS, proceedings, Budapest, Hungary, Aug. 25-29, 2014 (e-book)

by Csuhaj-Varjú, Erzsébet | Dietzfelbinger, Martin | Esik, Zoltan.

Series: Lecture notes in computer science ; v.8634 Language: null Publication details: Berlin Springer 2014Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Mathematical foundations of computer science : 39th international symposium, MFCS, proceedings, Budapest, Hungary, Aug. 25-29, 2014 (e-book)

by Csuhaj-Varjú, Erzsébet | Dietzfelbinger, Martin | Esik, Zoltan.

Series: Lecture notes in computer science ; v.8635 Language: null Publication details: Berlin Springer 2014Online access: Click here to access online Availability: No items available.

Mathematical foundations of computer science : 39th international symposium, MFCS, proceedings, Budapest, Hungary, Aug. 25-29, 2014 (e-book)

by Csuhaj-Varjú, Erzsébet | Dietzfelbinger, Martin | Esik, Zoltan.

Series: Lecture notes in computer science ; v.8634 Language: null Publication details: Berlin Springer 2014Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Pages

Powered by Koha