Home | Hello
Guest | Login
|
Shopping Cart |
Your Account |
Track Your Order |
Help |
Wish List |
Contact Us
|
30,00,000 Books, consistently low prices. Buy and have it shipped for Free!
|
Search for J Hartmanis only in
Book Title
(Show All Results)
-
Mathematics of Program Construction
[ Paperback 2007 ]Rs. 4,523By J Jeuring , J Hartmanis , J Van Leeuwen
In Stock. Ships Free to India in 10-15 days This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand,... more -
Practical Aspects of Declarative Languages
[ Paperback 2008 ]Rs. 4,241By Gopal Gupta , J Hartmanis , J Van Leeuwen
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL'99, held in... more -
Concur 96: Concurrency Theory
[ Paperback 2008 ]Rs. 6,846By G Goos , J Hartmanis , J Van Leeuwen
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy,... more -
Advances in Database Technology - Edbt 98
[ Paperback 2008 ]Rs. 5,149By H J Schek , J Hartmanis , G Goos
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the 6th International Conference on Extending Database Technology, EDBT '98, held in Valencia,... more -
Languages and Compilers for Parallel Computing
[ Paperback 2007 ]Rs. 4,693By G Goos , J Van Leeuwen , J Hartmanis
In Stock. Ships Free to India in 10-15 days This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing,... moreAlso in: Paperback 2007 -
Computer Vision - Accv98
[ Paperback 2007 ]Rs. 6,507By J Hartmanis , J Van Leeuwen , G Goos
In Stock. Ships Free to India in 10-15 days These two volumes constitute the refereed proceedings of the Third Asian Conference on Computer Vision, ACCV'98, held in Hong Kong,... moreAlso in: Paperback 2007 -
Latin98: Theoretical Informatics
[ Paperback 2007, 2400th Edition ]Rs. 4,693By J Hartmanis , J Van Leeuwen , G Goos
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil,... more -
Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet
[ Paperback 2007 ]Rs. 4,410By M Klusch , J Van Leeuwen , J Hartmanis
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with... more -
Application and Theory of Petri Nets 1995
[ Paperback 2007 ]Rs. 5,488By J Van Leeuwen , G Goos , J Hartmanis
In Stock. Ships Free to India in 10-15 days This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino,... more -
Tools and Algorithms for the Construction and Analysis of Systems
[ Paperback 2007 ]Rs. 5,089By J Van Leeuwen , J Hartmanis , G Goos
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis... more -
Security Protocols: 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings
[ Paperback 1998 ]Rs. 3,335By B Christianson , J Hartmanis , J Van Leeuwen
In Stock. Ships Free to India in 10-15 days This book constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Security Protocols, held in Paris, France,... more -
Distributed Algorithms: 10th International Workshop, Wdag 96, Bologna, Italy, October 9 - 11, 1996. Proceedings
[ Paperback 1996 ]Rs. 4,490By G Goos , J Hartmanis , J Van Leeuwen
Out Of Stock This book constitutes the refereed proceedings of the 10th International Workshop on Distributed Algorithms, WDAG '96, held in Bologna, Italy,... more -
Advances in Computing Science - Asian97
[ Paperback 2008 ]Rs. 4,806By R K Shyamasundar , K Ueda , J Hartmanis
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December... more -
Advanced Information Systems Engineering
[ Paperback 2008 ]Rs. 4,693By B Pernici , J Hartmanis , C Thanos
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the 10th International Conference on Advanced Information Systems Engineering, CAiSE'98, held in Pisa,... more -
Practice and Theory of Automated Timetabling II
[ Paperback 2007 ]Rs. 3,788By Edmund Burke , J Hartmanis , Michael Carter
In Stock. Ships Free to India in 10-15 days This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Conference on the Practice and Theory of Automated... moreAlso in: Paperback 2008 -
Automated Deduction - Cade-15
[ Paperback 2007 ]Rs. 5,262By C Kirchner , J Hartmanis , H Kirchner
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in... more -
Distributed Computing
[ Paperback 2007 ]Rs. 4,693By Shay Kutten , S Kutten , J Hartmanis
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the 12th International Symposium on Distributed Computing, DISC'98, held in Andros, Greece, in... more -
Zum97: The Z Formal Specification Notation
[ Paperback 2007 ]Rs. 5,033By Jonathan Bowen , G Goos , J Hartmanis
In Stock. Ships Free to India in 10-15 days This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in... more -
Formal Hardware Verification
[ Hardcover 2007 ]Rs. 4,523By Thomas Kropf , G Goos , J Hartmanis
In Stock. Ships Free to India in 10-15 days This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes... more -
Graph Drawing
[ Paperback 2007 ]Rs. 5,089By Sue H Whitesides , S H Whitesides , J Hartmanis
In Stock. Ships Free to India in 10-15 days This book constitutes the strictly refereed post-conference proceedings of the 6th International Symposium on Graph Drawing, GD '98, held in... more
Search By
All Stores |
Books |
Your AccountContact Us |
HelpOthers
|
Payment Options
|
Infibeam sites: PresentSir.com | Picsquare.com
Copyright © 2007-2009 Infibeam.com and Affiliates