IMSc Library catalog › Details for: Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Normal view MARC view ISBD view

Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

TextSeries: Lecture notes in computer science ; 03210Publication details: Berlin ; Springer ; 2004Description: 520ISBN: 3540230246Subject(s): Computer logic Congresses

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		52610

							Next
	681 LNCS Recent advances in intrusion detection: 7th international symposium, RAID 2004, Sophia Antipolis, France, September 15 - 17, 2004, proceedings	681 LNCS Algorithms--ESA 2004: 12th annual European symposium, Bergen, Norway, September 14-17, 2004 : proceedings	681 LNCS Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings	681 LNCS Software security: theories and systems	681 LNCS Algorithms and models for the web-graph: third international workshop, WAW 2004, Rome, Italy, October 16, 2004,	681 LNCS Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004,	Next

There are no comments on this title.

to post a comment.