Informatik (15.821 Artikel)

This volume contains the best carefully revised full papers selected from the presentations accepted for the AI '93 and AI '94 Workshop on Evolutionary Computation held in Australia.The 21 papers i...

This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented ...

Then this book deals with cross-project cross-sectional topics and project phase-specific content, divided into agile and classic project management.

Then this book deals with cross-project cross-sectional topics and project phase-specific content, divided into agile and classic project management.

Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theor...

Speech technology, the automatic processing of (spontaneously) spoken language, is now known to be technically feasible. It will become the major tool for handling the confusion of languages with a...

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introductio...

Performance of Protocols and Applications.- Optimal Traffic Shaping with Deterministic Guarantees Using GPS Scheduling.- Evaluation of Video Server Capacity with Regard to Quality of the Service in...

This conference in Enschede, The Netherlands, is the sixth in a series of international conferences and workshops under the title Protocols for Multimedia Systems, abbreviated as PROMS. The first P...

This book is intended for anyone who plans, designs and implements software systems, for anyone who is involved with quality assurance, and hence for anyone who is interested in the practicability ...

This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019.  The 18 full and 6 short pap...

This book constitutes the refereed proceedings of the 8th International Conference on Provable Security, ProvSec 2012, held in Chengdu, China, in September 2012. The 20 full papers and 7 short pape...

9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings

10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings

11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings