81.
 |  | Title: Computer Science Logic: 11th International Workshop, Csl '97: Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997: Selected Papers (Lecture Notes in Computer Science, 1414)
by Denmark)/ Nielsen, M./ Thomas, Wolfgang/ European Associaton for Computer Science Logic Conferenece 1997 Aarhu Workshop on Computer Science Logic 1997 Aarhus, M. Nielsen, J. Hartmanis, G. Goos
ISBN: 3540645705
Publisher: Springer Verlag
Pub. Date: 15 October, 1998
List Price: $91.00
Amazon.com Price: $91.00 |
82.
|  | Title: Advanced Information Systems Engineering: 10th International Conference, Caise98, Pisa, Italy, June 8-12, 1998, Proceedings (Lecture Notes in Computer Science, 1413)
by Barbara Pernici, C. Thanos, Caise9, J. Hartmanis, G. Goos
ISBN: 354064556X
Publisher: Springer Verlag
Pub. Date: 15 October, 1998
List Price: $82.95
Amazon.com Price: $82.95 |
83.
|  | Title: Practical Aspects of Spin Model-Checking: 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings (Lecture Notes in Computer Science, 1680)
by Spin'9, R. Gerth, M. Massinek, G. Goos, J. Hartmanis, J. Van Leeuwen, D. Dams, World Congress on Formal Methods in the Development of Computing Syste
ISBN: 3540664998
Publisher: Telos Pr
Pub. Date: October, 1999
List Price: $69.95
Amazon.com Price: $69.95 |
84.
|  | Title: Correct Hardware Design and Verification Methods: 10th Ifip Wg I 0.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings (Lecture Notes in Computer Science 1703)
by Charme'9, G. Goos, J. Hartmanis, J. Van Leeuwen, L. Pierre, Pierre Laurence, Thomas Kropf
ISBN: 3540665595
Publisher: Telos Pr
Pub. Date: 15 December, 1999
List Price: $79.95
Amazon.com Price: $79.95 |
85.
|  | Title: Distributed Computing: 13th International Symposium, Disc'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings (Lecture Notes in Computer Science, 1693)
by Disc'9, G. Goos, J. Hartmanis, J.Van Leeuwen, P. Jayanti
ISBN: 3540665315
Publisher: Telos Pr
Pub. Date: October, 1999
List Price: $79.95
Amazon.com Price: $79.95 |
86.
|  | Title: Computer Science Logic: 13th International Workshop, Csl'99, 8th Annual Conference of Eacsl, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science, 1683)
by J. Flum, M. Rodriguez Artalejo, G. Goos, J. Hartmanis, J.Van Leeuwen, M. Rodriguez-Artalejo
ISBN: 3540665366
Publisher: Springer Verlag
Pub. Date: November, 1999
List Price: $94.00
Amazon.com Price: $94.00 |
87.
|  | Title: DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Pr
by G. Goos, J. Hartmanis
ISBN: 0387573062
Publisher: Springer-Verlag
Pub. Date: October, 1993
List Price: $44.95
Amazon.com Price: $44.95 |
88.
|  | Title: Software Engineering - Esec/Fse '99: 7th European Software Engineering Conference Held Jointly With the 7th Acm Sigsoft Symposium on the Foundations of Software Engineering, Toulouse (Lecture Notes in Computer Science, 1687)
by Esec, Fse '9, M. Lemoine, G. Goos, J. Hartmanis, J. Van Leeuwen, O. Nierstrasz
ISBN: 3540665382
Publisher: Springer Verlag
Pub. Date: 15 December, 1999
List Price: $97.00
Amazon.com Price: $97.00 |
89.
|  | Title: Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings (Lecture Notes in Computer Science, 1708)
by World Congress on Formal Methods in the Development of Computing Syste, J. Woodcook, J. Davies, G. Goos, J. Hartmanis, J.Van Leeuwen, M. Wing, Jeannette Marie Wing, Jim Woodcock
ISBN: 3540665870
Publisher: Springer Verlag
Pub. Date: 15 December, 1999
List Price: $123.00
Amazon.com Price: $123.00 |
90.
|  | Title: Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science 1710)
by Bernhard Steffen, G. Goos, J. Hartmanis, J. Van Leeuwen, E. R. Olderog
ISBN: 3540666249
Publisher: Springer Verlag
Pub. Date: October, 1999
List Price: $82.95
Amazon.com Price: $82.95 |
