Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).
Language: İngilizce Series: Lecture notes in computer science ; 1414.Publisher: Berlin ; New York : Springer, 1998Description: viii, 509 p. ; 24 cmISBN:- 3540645705 (softcover : alk. paper)
- European Association for Computer Science Logic. Conference (6th : 1997 : Aarhus, Denmark)
- QA76.9.L63 W67 1998
| Item type | Current library | Home library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Merkez Kütüphane Genel Koleksiyon / Main Collection | Merkez Kütüphane | Genel Koleksiyon | QA76.9.L63 W67 1998 (Browse shelf(Opens below)) | 1 | 1 | Available | 0002467 |
Browsing Merkez Kütüphane shelves, Shelving location: Genel Koleksiyon / Main Collection, Collection: Genel Koleksiyon Close shelf browser (Hides shelf browser)
| QA76.9.H85 W456 2013 Designing for behavior change : | QA76.9.I52 K534 2015 Storytelling with data : a data visualization guide for business professionals / | QA76.9.I52 K534l 2020 Storytelling with data : let's practice! / | QA76.9.L63 W67 1998 Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / | QA76.9.M35 A85 2002 Automata, logics, and infinite games / | QA76.9.M35 B54 2002 Discrete mathematics / | QA76.9.M35 F44 2003 Essential discrete mathematics for computer science / |
There are no comments on this title.
Log in to your account to post a comment.
