Hopp til treffliste
Hopp til hovedmeny
Depotbiblioteket
Logg inn
Søk
Vis filter / sortering
Biblioteket
Vis søkeresultat
Nullstill filter
·
Vis kun ledige titler
Søk kun i bestemt felt
Søk i alle felt
Tittel
Ord i tittel
Forfatter/Medvirkende
Emne/Omtalt
ISBN
Dewey-nr
Avgrens avdeling
Alle avdelinger
Biblioteket
KLASSESETT
Automatlager
Fra år
Til år
Vis søkeresultat
Del dette søket
Lagre søk
Ett treff
Sortering
Relevans (titler likest søkeord først)
Popularitet
Antall stjerner
Utgivelsesår (nyeste først)
Utgivelsesår (eldste først)
Tittel
Tittel (Å - A)
Person
Person (Å - A)
Sortering
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings
TACAS 2006
Inngår i serie:
Lecture notes in computer science (3920)
Bok
·
Engelsk
·
c2006
Ledig
Vis mer
Ikke det du leter etter?
Mente du?
Takes
Tapas
Taras
Tics
Ticks
T Aas
Vacas
Tages
Tags
Tamas
Søk og bestill fra andre bibliotek:
Biblioteksøk
