Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2895566 obálek a 875351 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe international conference on reliable software technologies, York, UK, June 20-24, 2005 : proceedings

Rok: c2005
ISBN: 9783540262862
OKCZID: 110089604

Citace (dle ČSN ISO 690):
VARDANEGA, Tullio, ed. a WELLINGS, Andrew J., ed. Reliable software technology - Ada-Europe 2005: 10th Ada-Europe international conference on reliable software technologies, York, UK, June 20-24, 2005 : proceedings. Berlin: Springer, c2005. xv, 271 s. Lecture notes in computer science, 3555.


Anotace

Upravit anotaci
 

This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)