Learn IT - Springer

Advances in Information Retrieval: 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings

Springer, 2004

This book constitutes the refereed proceedings of the 26th European Conference on Information Retrieval Research, ECIR 2004, held in Sunderland, UK, in April 2004.

The 28 revised full papers presented together with 2 keynote papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on user...

Guide to Advanced Empirical Software Engineering

Springer, 2007

Empirical studies have become an integral element of software engineering research and practice. This unique text/reference includes chapters from some of the top international empirical software engineering researchers and focuses on the practical knowledge necessary for conducting, reporting and using empirical methods in software engineering....

Constructing Correct Software (Formal Approaches to Computing and Information Technology)

Springer, 2004

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This...

Accessible Access 2003

Springer, 2005

Our first book on Access was entitled Accessible Access 2000. Given that this one is all about Access 2003, we clearly had to change the title. As soon as you change the title of a book, you get a new ISBN and technically it’s a new book. However, since the original book seemed to be popular with its readers, we didn’t want to change a...

Information Security Applications: 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007

Springer, 2008

This book constitutes the refereed proceedings of the 8th International Workshop on Information Security Applications, WISA 2007, held in Jeju Island, Korea, August 27-29, 2007.

The 27 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 95 submissions. The papers are organized in topical...

Mobility, Data Mining and Privacy: Geographic Knowledge Discovery

Springer, 2008

The technologies of mobile communications and ubiquitous computing pervade our society, and wireless networks sense the movement of people and vehicles, generating large volumes of mobility data. This is a scenario of great opportunities and risks: on one side, mining this data can produce useful knowledge, supporting sustainable mobility and...

High Performance Computing in Science and Engineering 2007

Springer, 2008

This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the Stuttgart High Performance Computing Center (HLRS) for the year 2007. The reports cover all fields of computational science and engineering, ranging from CFD and computational physics and chemistry to computer...

Selected Areas in Cryptography: 10th Annual International Workshop, SAC 2003

Springer, 2004

SAC 2003 was the tenth in a series of annual workshops on Selected Areas in Cryptography. This marked the third time that the workshop had been held at Carleton University in Ottawa with previous workshops being held there in 1995 and 1997. The intent of the SAC workshops is to provide a relaxed atmosphere in which researchers in cryptography can...

Fundamental Approaches to Software Engineering

Springer, 2004

This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004.

The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully...

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...

E-Business@Print: Internet-Based Services and Processes (X.media.publishing)

Springer, 2005

The Internet has created new business areas for the graphic arts industry: Information is formatted to be published both on paper and on-line and new forms of cooperation with customers and co-producers develop. The author gives a broad review of new services and processes, the Internet has made possible. The reader gains insight into the existing...

Result Page: 416 415 414 413 412 411 410 409 408 407 406 405 404 403 402 401 400 399 398