Home FAQ Random quotes Contact

J. Hartmanis
1. Analytical Chemistry Lab Manual
Editor: J. Hartmanis
ISBN: 1568700881
ISBN13: 9781568700885
Binding: Paperback
List Price: $18.85
Publisher: Ronjon Pub
Published Date: 08/01/1993
2. Rechner-Gestutzter Unterricht: Rgu '74, Fachtagung, Hamburg 12-14 August 1974
Author: G. Goos - Editor: J. Hartmanis
ISBN: 3540069070
ISBN13: 9783540069072
Binding: Paperback
List Price: $23.0
Publisher: Springer Verlag
Published Date: 06/01/1974
3. Ada Software Tools Interfaces
Author: G. Goos - Author: J. Hartmanis
ISBN: 0387138781
ISBN13: 9780387138787
Binding: Paperback
List Price: $49.95
Publisher: Springer Verlag
Published Date: 12/01/1984
4. Algebraic Methods: Theory, Tools, Applications
Author: G. Goos - Editor: J. Hartmanis
ISBN: 0387516980
ISBN13: 9780387516981
Binding: Paperback
List Price: $89.95
Publisher: Springer Verlag
Published Date: 02/01/1990
5. Computer Aided Verification: 7th International Conference, Cav '95', Liege, Belgium, July 3-5, 1995 Proceedings.
Editor: P. Wolper - Editor: G. Goos - Editor: J. Hartmanis
ISBN: 3540600450
ISBN13: 9783540600459
Binding: Paperback
List Price: $89.95
Publisher: Springer Verlag
Published Date: 05/01/1995
6. Advanced Internet Services and Applications: First International Workshop, Aisa 2002, Seoul, Korea, August 1-2, 2002 Proceedings
Editor: J. Hartmanis - Editor: Whie Chang - Editor: J. Van Leeuwen - Editor: G. Goos
ISBN: 3540439684
ISBN13: 9783540439684
Binding: Paperback
List Price: $64.95
Publisher: Springer Verlag
Published Date: 08/01/2002
7. Advances in Cryptology - Eurocrypt 2000: International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000 Proceedings
Editor: B. Preneel - Editor: G. Goos - Editor: J. Van Leeuwen - Editor: J. Hartmanis
ISBN: 3540675175
ISBN13: 9783540675174
Binding: Paperback
List Price: $102.0
Publisher: Springer Verlag
Published Date: 06/01/2000
8. Incremental Speech Translation
Author: Jan Willers Amtrup - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: G. Goos
ISBN: 3540667539
ISBN13: 9783540667537
Binding: Paperback
List Price: $63.95
Publisher: Springer Verlag
Published Date: 12/01/1999
9. Interactive Multimedia Documents: Modeling, Authoring and Implementation Experiences
Author: M. Vazirgiannis - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: G. Goos
ISBN: 3540667113
ISBN13: 9783540667117
Binding: Paperback
List Price: $49.95
Publisher: Springer Verlag
Published Date: 11/01/1999
10. Principles and Practice of Constraint Programming - Cp'99: 5th International Conference, Cp'99, Alexandria, Va, Usa, October 11-14, 1999 Proceedings
Author: Va.) Cp 9 (1999 Alexandria - Author: Joxan Jaffar - Editor: J. Hartmanis - Editor: G. Goos
ISBN: 3540666265
ISBN13: 9783540666264
Binding: Paperback
List Price: $89.95
Publisher: Springer Verlag
Published Date: 06/01/1999
11. Correct System Design: Recent Insights and Advances
Editor: J. Van Leeuwen - Editor: E.-R Olderog - Editor: G. Goos - Editor: Bernhard Steffen - Editor: J. Hartmanis
ISBN: 3540666249
ISBN13: 9783540666240
Binding: Paperback
List Price: $82.95
Publisher: Springer Verlag
Published Date: 06/01/1999
12. Software Process Technology: 7th European Workshop, Ewspt 2000, Kaprun, Austria, February 21-25, 2000 Proceedings
Author: Austria) Ewspt 200 (2000 Kaprun - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: G. Goos
ISBN: 3540671404
ISBN13: 9783540671404
Binding: Paperback
List Price: $64.95
Publisher: Springer Verlag
Published Date: 04/01/2000
13. Uml'99 - The Unified Modeling Language: Beyond the Standard Second International Conference Fort Collins, Co, Usa, October 28-30, 1999 Proceedings
Editor: J. Van Leeuwen - Editor: J. Hartmanis - Editor: B. Rumpe - Editor: R. France - Editor: G. Goos
ISBN: 3540667121
ISBN13: 9783540667124
Binding: Paperback
List Price: $105.0
Publisher: Springer Verlag
Published Date: 06/01/1999
14. Combinatorial Pattern Matching: 10th Annual Symposium, Cpm 99, Warwick University, Uk, July 22-24, 1999 Proceedings
Editor: J. Van Leeuwen - Editor: J. Hartmanis - Editor: M. Paterson - Editor: M. Crochemore - Editor: G. Goos
ISBN: 3540662782
ISBN13: 9783540662785
Binding: Paperback
List Price: $77.95
Publisher: Springer Verlag
Published Date: 11/01/1999
15. Computer Science Logic: 13th International Workshop, Csl'99, 8th Annual Conference of Eacsl, Madrid, Spain, September 20-25, 1999, Proceedings
Editor: J. Van Leeuwen - Editor: J. Flum - Editor: G. Goos - Editor: M. Rodriguez Artalejo - Editor: J. Hartmanis
ISBN: 3540665366
ISBN13: 9783540665366
Binding: Paperback
List Price: $94.0
Publisher: Springer Verlag
Published Date: 11/01/1999
16. Algorithm Theory Swat '98: 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 Proceedings
Author: J. Van Leeuwen - Author: G. Goos - Author: L. Ivansson - Author: J. Hartmanis - Editor: S. Arnborg
ISBN: 3540646825
ISBN13: 9783540646822
Binding: Paperback
List Price: $74.95
Publisher: Springer Verlag
Published Date: 07/01/1998
17. Information Security: 2nd International Workshop, Isw'99, Kuala Lumpur, Malaysia, November 6-7 , 1999 Proceedings
Author: Yuliang Zheng - Author: Masahiro Mambo - Editor: Masahiro Mambo - Editor: J. Van Leeuwen - Editor: G. Goos - Editor: J. Hartmanis
ISBN: 3540666958
ISBN13: 9783540666950
Binding: Paperback
List Price: $69.95
Publisher: Springer Verlag
Published Date: 06/01/1999
18. Discovery Science: 2nd International Conference, Ds'99, Tokyo, Japan, December 6-8, 1999, P Roceedings
Author: Setsuo Arikawa - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: Koichi Furukawa - Editor: S. Arikawa - Editor: G. Goos
ISBN: 354066713X
ISBN13: 9783540667131
Binding: Paperback
List Price: $77.95
Publisher: Springer Verlag
Published Date: 12/01/1999
19. Principles and Practice of Declarative Programming: International Conference, Ppdp'99, Paris, France, September, 29 - October I, 1999, Proceedings
Author: France) Ppdp 9 (1999 Paris - Author: Gopalan Nadathur - Editor: J. Van Leeuwen - Editor: J. Hartmanis - Editor: G. Goos
ISBN: 3540665404
ISBN13: 9783540665403
Binding: Paperback
List Price: $82.95
Publisher: Springer Verlag
Published Date: 10/01/1999
20. Performance Evaluation: Origins and Directions
Editor: C. Lindemann - Editor: Gunter Haring - Editor: J. Van Leeuwen - Editor: G. Goos - Editor: M. Reiser - Editor: J. Hartmanis
ISBN: 3540671935
ISBN13: 9783540671930
Binding: Paperback
List Price: $115.0
Publisher: Springer Verlag
Published Date: 04/01/2000
21. Advances in Databases and Information Systems: Third East European Conference, Adbis'99, Maribor, Slovenia, September 13-16, 1999, Proceedings
Author: Johann Eder - Author: Tatjana Welzer - Author: Slovenia) Adbis 9 (1999 Maribor - Author: Ivan Rozman - Editor: Tatjana Welzer - Editor: J. Hartmanis
ISBN: 3540664858
ISBN13: 9783540664857
Binding: Paperback
List Price: $82.95
Publisher: Springer Verlag
Published Date: 06/01/1999
22. Shape, Contour and Grouping in Computer Vision
Editor: J. Mundy - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: David Forsyth - Editor: R. Cipolla - Editor: G. Goos
ISBN: 3540667229
ISBN13: 9783540667223
Binding: Paperback
List Price: $74.95
Publisher: Springer Verlag
Published Date: 12/01/1999
23. Graph-Theoretic Concepts in Computer Science: 25th International Workshop, Wg'99, Ascona, Switzerland, June 17-19, 1999 Proceedings
Editor: S. Eidenbenz - Editor: P. Widmayer - Editor: J. Van Leeuwen - Editor: G. Goos - Editor: G. Neyer - Editor: J. Hartmanis
ISBN: 3540667318
ISBN13: 9783540667315
Binding: Paperback
List Price: $82.95
Publisher: Springer Verlag
Published Date: 01/01/1999
24. Sofsem'99:Theory and Practice of Informatics: 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings
Author: Gerard Tel - Author: Czech Republic) Sofsem (1999 Milovy - Author: Miroslav Bartosek - Author: Jan Pavelka - Editor: J. Van Leeuwen - Editor: J. Hartmanis
ISBN: 354066694X
ISBN13: 9783540666943
Binding: Paperback
List Price: $96.0
Publisher: Springer Verlag
Published Date: 12/01/1999
25. Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Author: Wolfgang Naraschewski - Author: Thorsten Altenkirch - Author: Germany) Types 9 (1998 Benediktinerabtei Irsee - Author: Bernhard Reus - Editor: Thorsten Altenkirch - Editor: J. Hartmanis
ISBN: 3540665374
ISBN13: 9783540665373
Binding: Paperback
List Price: $62.95
Publisher: Springer Verlag
Published Date: 11/01/1999
26. Data Warehousing and Knowledge Discovery: First International Conference, Dawak'99, Florence, Italy, August 30 - September 1, 1999, Proceedings
Author: a Min Tjoa - Author: Italy) Dawak 9 (1999 Florence - Author: Mukesh Mohania - Editor: J. Van Leeuwen - Editor: J. Hartmanis - Editor: Mukesh Mohania
ISBN: 3540664580
ISBN13: 9783540664581
Binding: Paperback
List Price: $79.95
Publisher: Springer Verlag
Published Date: 11/01/1999
27. 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
Author: Pierre Laurence - Author: Germany) Charme 9 (1999 Bad Herrenalb - Author: Thomas Kropf - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: Laurence Pierre
ISBN: 3540665595
ISBN13: 9783540665595
Binding: Paperback
List Price: $79.95
Publisher: Springer Verlag
Published Date: 06/01/1999
28. Distributed Computing: 13th International Symposium, Disc'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings
Author: Prasad Jayanti - Author: Slovakia) Disc 9 (1999 Bratislava - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: Prasad Jayanti - Editor: G. Goos
ISBN: 3540665315
ISBN13: 9783540665311
Binding: Paperback
List Price: $79.95
Publisher: Springer Verlag
Published Date: 10/01/1999
29. Theorem Proving in High Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Author: France) Tphols 9 (1999 Nice - Author: Yves Bertot - Editor: G. Dowek - Editor: C. Paulin - Editor: J. Hartmanis - Editor: Yves Bertot
ISBN: 3540664637
ISBN13: 9783540664635
Binding: Paperback
List Price: $82.95
Publisher: Springer Verlag
Published Date: 11/01/1999
30. Automata, Languages & Programming: 27th International Colloquium, Icalp 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings
Editor: E. Welzl - Editor: U. Montanari - Editor: J. Van Leeuwen - Editor: G. Goos - Editor: J. D. P. Rolim - Editor: J. Hartmanis
ISBN: 3540677151
ISBN13: 9783540677154
Binding: Paperback
List Price: $111.0
Publisher: Springer Verlag
Published Date: 09/01/2000
31. Computer Safety, Reliability and Security: 18th International Conference, Safecomp'99, Toulouse, France, September 27-29, 1999, Proceedings
Author: Karama Kanoun - Author: Alberto Pasquini - Author: Reliability and Security International Conference on Computer Safety - Author: Massimo Felici - Editor: J. Hartmanis - Editor: J. Van Leeuwen
ISBN: 3540664882
ISBN13: 9783540664888
Binding: Paperback
List Price: $89.95
Publisher: Springer Verlag
Published Date: 06/01/1999
32. Document Analysis Systems:Theory and Practice: Third Iapr Workshop, Das'98, Nagano, Japan, November 4-6, 1998, Selected Papers
Author: S.W. Lee - Author: Japan) Das 9 (1998 Nagano-Shi - Author: Yasuaki Nakano - Editor: J. Van Leeuwen - Editor: J. Hartmanis - Editor: Yasuaki Nakano
ISBN: 3540665072
ISBN13: 9783540665076
Binding: Paperback
List Price: $74.95
Publisher: Springer Verlag
Published Date: 10/01/1999
33. Research and Advanced Technology for Digital Libraries: Third European Conference, Ecdl'99, Paris, France, September 22-24, 1999 Proceedings
Author: Anne-Marie Vercoustre - Author: France) Ecdl (Conference) 1999 Paris - Author: Serge Abiteboul - Editor: G. Goos - Editor: J. Van Leeuwen - Editor: J. Hartmanis
ISBN: 3540665587
ISBN13: 9783540665588
Binding: Paperback
List Price: $96.0
Publisher: Springer Verlag
Published Date: 06/01/1999
34. 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
Author: Michel Lemoine - Author: Esec - Author: France) Fse 9 (1999 Toulouse - Author: Oscar Marius Nierstrasz - Editor: G. Goos - Editor: J. Hartmanis
ISBN: 3540665382
ISBN13: 9783540665380
Binding: Paperback
List Price: $97.0
Publisher: Springer Verlag
Published Date: 11/01/1999
35. Algorithms and Computation: 10th International Symposium, Isaac 99, Chennal, India, December 16-18, 1999, Proceedings
Author: Alok Aggarwal - Author: C. Pandu Rangan - Author: India) Isaac 9 (1999 Chennai - Editor: G. Goos - Editor: J. Van Leeuwen - Editor: J. Hartmanis
ISBN: 3540669167
ISBN13: 9783540669166
Binding: Paperback
List Price: $89.95
Publisher: Springer Verlag
Published Date: 01/01/2000
36. Networked Group Communication: 1st International Cost 264 Workshop, Ngc'99, Pisa, Italy, November 17-20, 1999, Proceedings
Author: Luigi Rizzo - Author: Ital International Workshop on Networked Group Communication 199 Pisa - Author: Serge Fdida - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: G. Goos
ISBN: 3540667822
ISBN13: 9783540667827
Binding: Paperback
List Price: $79.95
Publisher: Springer Verlag
Published Date: 12/01/1999
37. Cryptographic Hardware and Embedded Systems: First International Workshop, Ches'99, Worcester, Ma, Usa, August 12-13, 1999, Proceedings
Author: Christof Paar - Author: Cetin K. Koc - Author: Mass.) Ches 9 (1999 Worchester - Editor: Cetin K. Koc - Editor: J. Hartmanis - Editor: J. Van Leeuwen
ISBN: 354066646X
ISBN13: 9783540666462
Binding: Paperback
List Price: $84.95
Publisher: Springer Verlag
Published Date: 11/01/1999
38. Automata Implementation: Third International Workshop on Implementing Automata, Wia'98, Rouen, France, September 17-19, 1998, Revised Papers
Author: Denis Maurel - Author: Jean-Marc Champarnaud - Author: France) International Workshop on Implementing Automata 1998 Rouen - Editor: Jean-Marc Champarnaud - Editor: J. Hartmanis - Editor: Djelloul Ziadi
ISBN: 3540666524
ISBN13: 9783540666523
Binding: Paperback
List Price: $69.95
Publisher: Springer Verlag
Published Date: 11/01/1999
39. Interactive Distributed Multimedia Systems and Telecommunication Services: 6th International Workshop, Idms'99, Toulouse, France, October 12-15, 1999, Proceedings
Author: Philippe Owezarski - Author: P. Senac - Author: International Workshop Interactive Distributed Multimedia Systems And - Author: Michel Diaz - Editor: J. Hartmanis - Editor: J. Van Leeuwen
ISBN: 3540665951
ISBN13: 9783540665953
Binding: Paperback
List Price: $77.95
Publisher: Springer Verlag
Published Date: 06/01/1999
40. Information and Communication Security: Second International Conference, Icics'99, Sydney, Australia, November 9-11, 1999, Proceedings
Author: Yi Mu - Author: International Conference on Information and Communications Security 19 - Author: Vijay Varadharajan - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: G. Goos
ISBN: 3540666826
ISBN13: 9783540666820
Binding: Paperback
List Price: $69.95
Publisher: Springer Verlag
Published Date: 06/01/1999
41. Field-Programmable Logic and Applications: 9th International Workshop, Fpl '99, Glasgow, Uk, August 1999 Proceedings
Author: Patrick Lysaght - Author: Austria) International Workshop on Field-Programmable Logic and Applications (2nd 1992 Vienna - Editor: Patrick Lysaght - Editor: James Irvine - Editor: J. Hartmanis - Edi :
ISBN: 3540664572
ISBN13: 9783540664574
Binding: Paperback
List Price: $97.0
Publisher: Springer Verlag
Published Date: 11/01/1999
42. Advances in Cryptology - Asiacrypt'99: International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999, Proceedings
Author: International Conference on the Theory and Application of Cryptology A - Editor: Eiji Okamato - Editor: J. Hartmanis - Editor: Chaoping Xing - Editor: Kwok Yan Lam - Editor: J. Van Leeuwen
ISBN: 3540666664
ISBN13: 9783540666660
Binding: Paperback
List Price: $82.95
Publisher: Springer Verlag
Published Date: 06/01/1999
43. Database and Expert Systems Applications: 10th International Conference, Dexa'99, Florence, Italy, August 30 - September 3, 1999
Author: T.J.M. Bench-Capon - Author: International Workshop on Database and Expert Systems Applications 199 - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: T. Bench Capon - Editor: Giovanni Soda
ISBN: 3540664483
ISBN13: 9783540664482
Binding: Paperback
List Price: $139.0
Publisher: Springer Verlag
Published Date: 11/01/1999
44. Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
Author: Jim Woodcock - Author: Jeannette Marie Wing - Author: World Congress on Formal Methods in the Development of Computing Syste - Author: Jim Davies - Editor: J. Hartmanis - Editor: Jeannette Marie Wing
ISBN: 3540665889
ISBN13: 9783540665885
Binding: Paperback
List Price: $123.0
Publisher: Springer Verlag
Published Date: 11/01/1999
45. Distributed Algorithms: 9th International Workshop, Wdag '95, Le Mont-Saint-Michel, France, September `3-15, 1995 Proceedings.
Author: Jean-Michel Helary - Author: International Workshop on Distributed Algorithms 1995 Mont-Saint-Mich - Author: M. Raynal - Editor: J. Van Leeuwen - Editor: J. Hartmanis - Editor: M. Raynal
ISBN: 3540602747
ISBN13: 9783540602743
Binding: Paperback
List Price: $69.95
Publisher: Springer Verlag
Published Date: 09/01/1995
46. Handheld and Ubiquitous Computing: First International Symposium, Huc'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings
Author: Hans-W Gellersen - Author: International Symposium on Handheld and Ubiquitous Computing 1999 Kar - Editor: Hans-W Gellersen - Editor: J. Hartmanis - Editor: J. Van Leeuwen - Editor: G. Goos
ISBN: 3540665501
ISBN13: 9783540665502
Binding: Paperback
List Price: $82.95
Publisher: Springer Verlag
Published Date: 11/01/1999
47. Active Technologies for Network and Service Management: 10th Ifip/IEEE International Workshop on Distributed Systems Operations and Management, Dsom'99, Zurich, Switzerland, October 11-13, 1999
Author: Rolf Stadler - Author: Ifip - Author: Switzerland) IEEE International Workshop on Distributed Systems Operations and Management (10th 1999 Zurich - Editor: G. Goos - Editor: Burkhard Stiller - E :
ISBN: 3540665986
ISBN13: 9783540665984
Binding: Paperback
List Price: $84.95
Publisher: Springer Verlag
Published Date: 06/01/1999
48. Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999, Proceedings
Author: V. Raman - Author: R. Ramanujam - Author: C. Pandu Rangan - Author: Conference on Foundations of Software Technology and Theoretical Compu - Editor: G. Goos - Editor: J. Hartmanis
ISBN: 3540668365
ISBN13: 9783540668367
Binding: Paperback
List Price: $89.95
Publisher: Springer Verlag
Published Date: 03/01/2000