Tools and algorithms for the construction and analysis of systems : Fifth International Workshop, TACAS '99, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99 : Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporace: TACAS (konference) Amsterdam, Nizozemsko) (Autor), ETAPS (konference) (Autor)
Další autoři: Cleveland, W. Rance (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1999
Edice:Lecture notes in computer science ; 1579
Témata:
algoritmy (programování)
analytické metody
programování
analýza dat
programming
data analysis
analytical methods
computer algorithms
sborníky konferencí
proceedings of conferences
Obálka Obsah Přejít na ObalkyKnih.cz

Právě probíhá údržba systému

Právě probíhá údržba knihovního systému.

V současné době nejsou dostupné informace o dostupnosti. Omlouváme se Vám za nepříjemnosti. Neváhejte nás kontaktovat a my se pokusíme zjistit požadované informace jinou cestou:

kic_admins@ics.muni.cz

Knihovny MUNI nemají přístupné knihovní jednotky.

Podobné jednotky