ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
J. Hartmanis has written 49 work(s)
Search for other authors with the same name
at beginning | displaying 1 to 25 | next 24 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783540291053 Cover for 9783540437093 Cover for 9783540439684 Cover for 9783540426721 Cover for 9783540677154 Cover for 9783540675174 Cover for 9783540671930 Cover for 9783540671404 Cover for 9783540668367 Cover for 9783540671527 Cover for 9783540669166 Cover for 9783540667537 Cover for 9783540667209 Cover for 9783540666943 Cover for 9783540667827 Cover for 9783540667131 Cover for 9783540667223 Cover for 9783540666462 Cover for 9783540665366 Cover for 9783540666769 Cover for 9783540665502 Cover for 9783540667117 Cover for 9783540664581
1
cover image for 9783540291053
Product Description: Thisvolumeconstitutestheproceedingsofthe2005 Advanced Research Working C- ference on Correct Hardware-like Design and Veri?cation Methods. CHARME 2005 washeldattheVictor’sResidenz-Hotel,Saarbruck ¨ en,Germany,3–6October2005. CHARME2005wasthethirteenthinaseriesofworkingconferencesdevotedtothe developmentandtheuseofleading-edgeformaltechniquesandtoolsforthespeci?- tion, design and veri?cationof hardwareand hardware-likesystems...read more
By Dominique Borrione (editor) and Wolfgang Paul (editor)
Edition summary (click for prices and details):

Paperback:

9783540291053 | Springer-Verlag New York Inc, November 15, 2005, cover price $129.00 | About this edition: Thisvolumeconstitutestheproceedingsofthe2005 Advanced Research Working C- ference on Correct Hardware-like Design and Veri?

2
cover image for 9783540437093
Product Description: This book constitutes the refereed proceedings of the Second IFIP-TC6 Networking Conference, NETWORKING 2002, held in Pisa, Italy, in May 2002. The 82 revised full papers and 31 short papers presented together with three invited contributions were carefully reviewed and selected from a total of 314 submissions...read more
By Andrew T. Campbell (editor), Marco Conti (editor), G Goos (editor), Enrico Gregori (editor), J. Hartmanis (editor) and J. Van Leeuwen (editor)
Edition summary (click for prices and details):

Paperback:

9783540437093 | Springer Verlag, January 1, 2003, cover price $89.95 | About this edition: This book constitutes the refereed proceedings of the Second IFIP-TC6 Networking Conference, NETWORKING 2002, held in Pisa, Italy, in May 2002.

3
cover image for 9783540439684
Product Description: The rapid growth of the Internet and related services is changing the way we work, act, and even think in a manner that far exceeds the prediction set by ?eld experts not long ago. It is now common belief that the Internet and its various applications covering both hardware appliances and software products will play an increasingly important role in everybody’s daily lives...read more (view table of contents, read Amazon.com's description)
By Whie Chang (editor), G Goos (editor), J. Hartmanis (editor) and J. Van Leeuwen (editor)
Edition summary (click for prices and details):

Paperback:

9783540439684 | Springer Verlag, August 1, 2002, cover price $99.00 | About this edition: The rapid growth of the Internet and related services is changing the way we work, act, and even think in a manner that far exceeds the prediction set by ?

4
cover image for 9783540426721
Product Description: This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions...read more
By G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor), A. Restivo (editor), S. Ronchi Della Rocca (editor) and L. Roversi (editor)
Edition summary (click for prices and details):

Paperback:

9783540426721 | Springer Verlag, December 1, 2001, cover price $119.00 | About this edition: This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.

5
cover image for 9783540677154
Product Description: This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory...read more (view table of contents, read Amazon.com's description)
By G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor), U. Montanari (editor), J. D. P. Rolim (editor) and E. Welzl (editor)
Edition summary (click for prices and details):

Paperback:

9783540677154 | Springer-Verlag New York Inc, September 1, 2000, cover price $179.00 | About this edition: This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000.

6
cover image for 9783540675174
Product Description: EUROCRYPT 2000, the nineteenth annual Eurocrypt Conference, was sp- sored by the International Association for Cryptologic Research (IACR), in - operation with the Katholieke Universiteit Leuven in Belgium (research group for Computer Security and Industrial Cryptography, COSIC)...read more
By G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor) and B. Preneel (editor)
Edition summary (click for prices and details):

Paperback:

9783540675174 | Springer Verlag, June 1, 2000, cover price $159.00 | About this edition: EUROCRYPT 2000, the nineteenth annual Eurocrypt Conference, was sp- sored by the International Association for Cryptologic Research (IACR), in - operation with the Katholieke Universiteit Leuven in Belgium (research group for Computer Security and Industrial Cryptography, COSIC).

7
cover image for 9783540671930
Product Description: Performanceevaluationhas beena discipline ofcomputersciencefor somethirty years. To us, it seemed to be time to take stock of what we - the performance evaluation community - were doing. Towards this end, we decided to organize a workshoponPerformanceEvaluationofComputer SystemsandCommunication Networks, which was held at the international conference and research center for computer science, Schlo Dagstuhl, Germany, September 15-19, 1997...read more (view table of contents, read Amazon.com's description)
By G Goos (editor), Gunter Haring (editor), J. Hartmanis (editor), J. Van Leeuwen (editor), C. Lindemann (editor) and M. Reiser (editor)
Edition summary (click for prices and details):

Paperback:

9783540671930 | Springer Verlag, April 1, 2000, cover price $149.00 | About this edition: Performanceevaluationhas beena discipline ofcomputersciencefor somethirty years.

8
cover image for 9783540671404
Product Description: This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE)...read more (view table of contents, read Amazon.com's description)
By Ewspt 200 (other contributor), G Goos (editor), J. Hartmanis (editor) and J. Van Leeuwen (editor)
Edition summary (click for prices and details):

Paperback:

9783540671404 | Springer Verlag, April 1, 2000, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE).

9
cover image for 9783540668367
Product Description: th This volume contains the proceedings of the 19 FST&TCS conference (Foundations of Software Technology and Theoretical Computer Science), - ganized under the auspices of the Indian Association for Research in Computing Science (http://www...read more (view table of contents, read Amazon.com's description)
Edition summary (click for prices and details):

Paperback:

9783540668367 | Springer Verlag, March 1, 2000, cover price $109.00 | About this edition: th This volume contains the proceedings of the 19 FST&TCS conference (Foundations of Software Technology and Theoretical Computer Science), - ganized under the auspices of the Indian Association for Research in Computing Science (http://www.

10
cover image for 9783540671527
Product Description: Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management. This shows that the issues related to communications management, architectures, and service creation are still of great interest, while the virtual home environment is emerging as a new key topic in IS&N...read more (view table of contents, read Amazon.com's description)
By Jaime Delgado (editor) and G. D. Stamoulis (editor)
Edition summary (click for prices and details):

Paperback:

9783540671527 | Springer Verlag, March 1, 2000, cover price $109.00 | About this edition: Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management.

11
cover image for 9783540669166
Product Description: th This volume contains the proceedings of the 10 ISAAC conference (Tenth - nual International Symposium on Algorithms And Computation) held in Ch- nai, India. This year’s conference attracted 71 submissions from as many as 17 di erent countries...read more
By Alok Aggarwal, G Goos (editor), J. Hartmanis (editor), ISAAC (other contributor), J. Van Leeuwen (editor) and C. Pandu Rangan
Edition summary (click for prices and details):

Paperback:

9783540669166 | Springer Verlag, January 1, 2000, cover price $129.00 | About this edition: th This volume contains the proceedings of the 10 ISAAC conference (Tenth - nual International Symposium on Algorithms And Computation) held in Ch- nai, India.

12
cover image for 9783540667537
Product Description: Human language capabilities are based on mental proceduresthat are closely linked to the time domain. Listening, understanding,and reacting, on the one hand, as well as planning,formulating,and speaking,onthe other, are performedin a highlyover lapping manner, thus allowing inter human communication to proceed in a smooth and ?uent way...read more (view table of contents, read Amazon.com's description)
By Jan Willers Amtrup, G Goos (editor), J. Hartmanis (editor) and J. Van Leeuwen (editor)
Edition summary (click for prices and details):

Paperback:

9783540667537 | Springer Verlag, December 1, 1999, cover price $99.00 | About this edition: Human language capabilities are based on mental proceduresthat are closely linked to the time domain.

13
cover image for 9783540667209
Product Description: In 1998, SC24, the subcommittee of ISO/IEC JTC 1 concerned with computer graphics and image processing, completed work on a new standard for multimedia presentation; the PREMO standard (Presentation Environment for Multimedia Objects) is published under the official reference ISO/IEC 14478...read more
By David J. Duke (editor), G Goos (editor), J. Hartmanis (editor), I. Herman and J. Van Leeuwen (editor)
Edition summary (click for prices and details):

Paperback:

9783540667209 | Springer Verlag, December 1, 1999, cover price $99.00 | About this edition: In 1998, SC24, the subcommittee of ISO/IEC JTC 1 concerned with computer graphics and image processing, completed work on a new standard for multimedia presentation; the PREMO standard (Presentation Environment for Multimedia Objects) is published under the official reference ISO/IEC 14478.

14
cover image for 9783540666943
Product Description: This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference...read more
By Miroslav Bartosek (editor), G Goos (editor), J. Hartmanis (editor), Sofsem (other contributor) and Gerard Tel (editor)
Edition summary (click for prices and details):

Paperback:

9783540666943 | Springer Verlag, December 1, 1999, cover price $139.00 | About this edition: This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time.

15
cover image for 9783540667827
Product Description: This book constitutes the refereed proceedings of the First International COST 264 Workshop on Networked Group Communication, NGC'99, held in Pisa, Italy in November 1999.The 20 revised full papers presented are carefully reviewed and selected from a total of 49 submissions...read more
Edition summary (click for prices and details):

Paperback:

9783540667827 | Springer Verlag, December 1, 1999, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the First International COST 264 Workshop on Networked Group Communication, NGC'99, held in Pisa, Italy in November 1999.

16
cover image for 9783540667131
Product Description: This volume contains the papers presented at the Second International Conf- ence on Discovery Science (DS’99), held in Tokyo, Japan, December 6-8, 1999. The conference was colocated with the Tenth International Conference on Al- rithmic Learning Theory (ALT’99)...read more
By Setsuo Arikawa (editor), Koichi Furukawa (editor), G Goos (editor), J. Hartmanis (editor) and J. Van Leeuwen (editor)
Edition summary (click for prices and details):

Paperback:

9783540667131 | Springer Verlag, December 1, 1999, cover price $109.00 | About this edition: This volume contains the papers presented at the Second International Conf- ence on Discovery Science (DS’99), held in Tokyo, Japan, December 6-8, 1999.

17
cover image for 9783540667223
Product Description: This book presents a unique collection of articles on shape, contour and grouping in computer vision. Besides revised versions of research papers originally presented at a workshop, the book contains expository articles introducing the area to a broader audience and surveying the state of the art...read more
By R. Cipolla (editor), David A. Forsyth (editor), G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor) and J. Mundy (editor)
Edition summary (click for prices and details):

Paperback:

9783540667223 | Springer-Verlag New York Inc, December 1, 1999, cover price $109.00 | About this edition: This book presents a unique collection of articles on shape, contour and grouping in computer vision.

18
By Maxime Crochemore (editor), G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor) and M. Paterson (editor)
Edition summary (click for prices and details):

Paperback:

9783540662785 | Springer Verlag, November 1, 1999, cover price $99.00

19
cover image for 9783540666462
Product Description: These are the proceedings of CHES’99, the rst workshop on Cryptographic Hardware and Embedded Systems. As it becomes more obvious that strong security will be an important part of the next generation of communication, computer, and electronic consumer devices, we felt that a new type of cryp- graphic conference was needed...read more (view table of contents, read Amazon.com's description)
By Ches'9 (other contributor), G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor) and Christof Paar (editor)
Edition summary (click for prices and details):

Paperback:

9783540666462 | Springer Verlag, November 1, 1999, cover price $109.00 | About this edition: These are the proceedings of CHES’99, the rst workshop on Cryptographic Hardware and Embedded Systems.

20
cover image for 9783540665366
Product Description: The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL...read more
By M. Rodriguez Artalejo (editor), J. Flum (editor), G Goos (editor), J. Hartmanis (editor) and J. Van Leeuwen (editor)
Edition summary (click for prices and details):

Paperback:

9783540665366 | Springer Verlag, November 1, 1999, cover price $139.00 | About this edition: The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999.

21
cover image for 9783540666769
Product Description: This volume contains the papers presented at the f th workshop on Job SchedulingStrategiesforParallelProcessing,whichwasheldinconjunctionwith the IPPS/SPDP’99conference in San Juan, Puerto Rico, on April 16, 1999.The papers have been through a complete refereeing process, with the full version beingreadandevaluatedbyv etosevenmembersoftheprogramcommittee...read more
By G Goos (editor), J. Hartmanis (editor), Jsspp'9 (other contributor), J. Van Leeuwen (editor) and Larry Rudolph (editor)
Edition summary (click for prices and details):

Paperback:

9783540666769 | Springer Verlag, November 1, 1999, cover price $89.99 | About this edition: This volume contains the papers presented at the f th workshop on Job SchedulingStrategiesforParallelProcessing,whichwasheldinconjunctionwith the IPPS/SPDP’99conference in San Juan, Puerto Rico, on April 16, 1999.

22
cover image for 9783540665502
Product Description: Truly personal handheld and wearable technologies should be small and unobtrusive and allow access to information and computing most of the time and in most circumstance. Complimentary, environment-based technologies make artifacts of our surrounding world computationally accessible and facilitate use of everyday environments as a ubiquitous computing interface...read more (view table of contents, read Amazon.com's description)
Edition summary (click for prices and details):

Paperback:

9783540665502 | Springer Verlag, November 1, 1999, cover price $119.00 | About this edition: Truly personal handheld and wearable technologies should be small and unobtrusive and allow access to information and computing most of the time and in most circumstance.

23
cover image for 9783540667117
Product Description: Multimedia information systems is a rapidly growing area of research and development, attracting increasing interest from a variety of application fields including business, entertainment, manufacturing, education, CAD, CAE, medicine, etc...read more
By G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor) and Michalis Vazirgiannis
Edition summary (click for prices and details):

Paperback:

9783540667117 | Springer Verlag, November 1, 1999, cover price $99.00 | About this edition: Multimedia information systems is a rapidly growing area of research and development, attracting increasing interest from a variety of application fields including business, entertainment, manufacturing, education, CAD, CAE, medicine, etc.

24
cover image for 9783540664581
Product Description: This book constitutes the refereed proceedings of the First International Conference on Data Warehousing and Knowledge Discovery, DaWaK'99, held in Florence, Italy in August/September 1999. The 31 revised full papers and nine short papers presented were carefully reviewed and selected from 88 submissions...read more
By Dawak 9 (other contributor), G Goos (editor), J. Hartmanis (editor), J. Van Leeuwen (editor), Mukesh Mohania (editor) and a Min Tjoa (editor)
Edition summary (click for prices and details):

Paperback:

9783540664581 | Springer Verlag, November 1, 1999, cover price $119.00 | About this edition: This book constitutes the refereed proceedings of the First International Conference on Data Warehousing and Knowledge Discovery, DaWaK'99, held in Florence, Italy in August/September 1999.

at beginning | displaying 1 to 25 | next 24 >