Sort by:
1.
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings by Peter C. Clote, H. Schwichtenberg, European Association for Computer Science Logic Staff, J. Hartmanis (Editor) , G. Goos (Editor)
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual ... More
- Online Price: $99.00Member price: $89.10(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
2.
Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings by Laurent Fribourg, Laurent Fribourg (Editor)
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, ... More
- Online Price: $98.00Member price: $88.20(Save 9%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
3.
Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September by J. C. Bradfield, European Association for Computer Science Logic, Conference Staff (Contribution by)
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic, CSL 2002, held as the 11th Annual Conference of the EACSL in ... More
- Online Price: $102.00Member price: $91.80(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
4.
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings by Matthias Baaz (Editor) , Johann M. Makowsky (Editor)
Paperback
Usually ships within 24 hours
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL ... More
- Online Price: $104.00Member price: $93.60(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
5.
Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings by European Association for Computer Scienc, Andrzej Tarlecki (Editor) , Jerzy Marcinkowski (Editor)
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in ... More
- Online Price: $89.00Member price: $80.10(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
6.
Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings by Zoltan Esik, Zoltan Isik
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006, held as the 15th Annual Conference of the EACSL in ... More
- List price: $100.00Online Price: $50.00Member price: $45.00(Save 55%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
7.
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, P by Michael Kaminski (Editor) , Simone Martini (Editor)
Paperback
Usually ships within 24 hours
"This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in ... More
- Online Price: $89.95Member price: $80.95(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
8.
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings by Springer-Verlag New York
Paperback
Usually ships within 24 hours
This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers ... More
- Online Price: $107.00Member price: $96.30(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
9.
Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings by Egon Borger, Michael M. Richter, Hans Kleine Buning, Wolfgang Schonfeld
Paperback
Usually ships within 24 hours
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the ... More
- Online Price: $71.95Member price: $64.75(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
10.
Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers by Leszek Pacholski, Jerzy Tiuryn
Paperback
Usually ships within 24 hours
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth ... More
- Online Price: $98.00Member price: $88.20(Save 9%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
11.
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings by Egon Borger, Michael M. Richter, Hans Kleine Buning
Paperback
Usually ships within 24 hours
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the ... More
- Online Price: $69.95Member price: $62.95(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
12.
Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers, Vol. 7 by Egon Borger, Yuri Gurevich, Karl Meinke
Paperback
Usually ships within 24 hours
- Online Price: $69.95Member price: $62.95(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
13.
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings by Egon Borger, Michael M. Richter, Hans Kleine Buning
Paperback
Usually ships within 24 hours
This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more ... More
- Online Price: $62.95Member price: $56.65(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
14.
Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings by Duparc
Other Format
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in ... More
15.
Computer Science Logic : 4th International Workshop, CSL '90 Heidelberg, Germany, October 1-5, 1990 Proceedings by E. Borger (Editor) , J. Hartmanis (Editor) , G. Goos (Editor) , H. Kleine Buning (Editor) , M. M. Richter (Editor)
Hardcover
16.
Computer Science Logic : 5th International Workshop, CSL '91, Berne, Switzerland, October 1991: Proceedings by E. Borger (Editor) , J. Hartmanis (Editor) , G. Goos (Editor) , M. M. Richter (Editor) , G. Jager (Editor)
Paperback
17.
Computer Science Logic : 7th International Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers by Egon Börger (Editor) , Yuri Gurevich (Editor) , Karl Meinke (Editor)
Paperback
18.
Computer Science Logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992, Vol. 125 by Dirk van Dalen (Editor) , H. Kleine Buning (Editor) , G. Jager (Editor) , Marc Bezem (Editor)
Paperback
19.
20.
CSL 'Eighty-Nine : Third Workshop on Computer Science Logic Kaiserslautern, FRG, October 2-6, 1989 Proceedings by E. Borger (Editor) , H. Kleine Buning (Editor) , M. M. Richter (Editor)
Hardcover
21.
Sort by:
Related Categories
Format
Show Me
Price Range
Recent Searches
Recently Viewed
- Software ArchitectureMary Shaw - Book
- God Is Not GreatChristopher Hitchens - Book
- Hot ItemCarly Phillips - Book
- Long MarchRoger Kimball - Book