Learn IT - 2004

Result for year 2004

Higher-Level Hardware Synthesis

Springer, 2004

In the mid 1960s, when a single chip contained an average of 50 transistors,
Gordon Moore observed that integrated circuits were doubling in complexity
every year. In an influential article published by Electronics Magazine in 1965,
Moore predicted that this trend would continue for the next 10 years. Despite
being criticized...

Progress on Cryptography: 25 Years of Cryptography in China

Springer, 2004

This workshop entitled “Progress on Cryptography: 25 Year of Cryptography in China” is being held during the celebration of Professor Guozhen Xiao’s 70th birthday. This proceeding is a birthday gift from all of his current and former graduate students, who have had the pleasure of being supervised by Professor Xiao during the last...

Trust Management: Second International Conference, iTrust 2004, Oxford, UK

Springer, 2004

This book constitutes the refereed proceedings of the Second International Conference on Trust Management, iTrust 2004, held in Oxford, UK, in March/April 2004.

The 21 revised full papers and 6 revised short papers presented together with 3 invited contributions were carefully reviewed and selected from 48 submissions. Besides technical topics...

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004

Springer, 2004

This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004.

The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of...

Active Networks

Springer, 2004

This book constitutes the thoroughly refereed post-proceedings of the IFIP TC6 5th International Workshop on Active Networks, IWAN 2003, held in Kyoto, Japan, in December 2003.

The 24 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on high performance and...

Model Checking Software

Springer, 2004

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.

The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are...

Numerical Software with Result Verification

Springer, 2004

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.

The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on...

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Springer, 2004

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004.

The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current...

Compiler Construction

Springer, 2004

The CC program committee is pleased to present this volume with the proceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler technology, programming language implementation, and...

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences

Springer, 2004

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims,...

Audio Programming for Interactive Games

Focal Press, 2004

Martin Wilde explores the cutting-edge creative potential of game audio systems, addressing the latest working methods used in creating and programming immersive, interactive and non-linear audio for games. The book demonstrates how game programmers can create a software system enabling the audio content provider (composer or sound designer) to...

Pocket Guide to Herbal Medicine

Thieme Medical Publishers, 2004

The use of medicinal plants to treat everyday complaints and illnesses is becoming ever more popular. This pocket guide is aimed not only at doctors and members of the various healing professions interested in phytotherapy, but also in particular at interested lay people, for whom this book is intended as a...

Result Page: Previous 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 Next