Your search returned 5 results.

Sort
Results
Logic programming : 19th international conference proceedings, ICLP, Mumbai, India, Dec. 9-13, 2003

by | Palamidessi, Catuscia | Palamidessi, Catuscia.

Series: Lecture notes in computer science ; v.2916Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 2003Availability: Items available for loan: 1 Call number: 681.3.06Log:19:03.

CONCUR 2000 : concurrency theory : 11th international conference proceedings, University Park, PA, USA, Aug. 22-25, 2000

by | Palamidessi, Catuscia | Palamidessi, Catuscia.

Series: Lecture notes in computer science ; v.1877Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 2000Availability: Items available for loan: 1 Call number: 681.327.8CON:11:00.

Principles of declarative programming (e-book)

by Palamidessi, Catuscia.

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

Concur 2000 - concurrency theory (e-book)

by Palamidessi, Catuscia.

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

Logic programming (e-book)

by Palamidessi, Catuscia.

Series: Lecture Notes in Computer Science (LNCS) ; v.2916Material 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) .

Pages

Powered by Koha