Proceedings of the 5th International Workshiop on Verification in New Orientations (VINO'96), May 16-19, Rottach Rgern, Germany

Institut Jožef Stefan, Ljubljana (IJS)

Proceedings of the 5th International Workshiop on Verification in New Orientations (VINO'96), May 16-19, Rottach Rgern, Germany

International Workshop on Verification in New Orientations (5 ; 1997 ; Rottach Egern); Technischen Universität München. Institut für Informatik

Vrsta gradiva - zbornik ; neleposlovje za odrasle

Založništvo in izdelava - München : Institut für Informatik, Technische Universität, 1997

Jezik - angleški

COBISS.SI-ID - 12857639

Išči dalje

Avtor
International Workshop on Verification in New Orientations | Technischen Universität München | Institut für Informatik

Drugi avtorji
Frey, Maximilian

Teme
verifikacija | validacija | programska oprema

Sestavni deli izbrane publikacije

Rezervirajte gradivo na želenem mestu prevzema.

Mesto prevzema	Status gradiva	Rezervacija
Institut Jožef Stefan, Ljubljana	prosto - na dom, čas izposoje: 1 mes.

Signatura – lokacija, inventarna št. ...	Status izvoda
C 0000002756 IN: 019980056 C 2756 IN: 019980056	prosto - na dom, čas izposoje: 1 mes.

Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.

Leto	Faktor vpliva		Izdaja		Kategorija		Razvrstitev
Leto	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Povezave do osebnih bibliografij avtorjev	Povezave do podatkov o raziskovalcih v sistemu SICRIS

Vir: Osebne bibliografije in: SICRIS

Gradivo iz matične enote je brezplačno. Če je gradivo na mesto prevzema dostavljeno iz drugih enot, lahko knjižnica to storitev zaračuna.

Mesto prevzema	Status gradiva	Rezervacija

Naloži sliko

Rezervirajte gradivo na želenem mestu prevzema.

Vnos na polico

Dodajanje gradiva na polico je uspelo.

Dodajanje gradiva na polico je spodletelo.

Dodajanje gradiva na polico ni bilo potrebno.

Trajna povezava

E-pošta

Faktor vpliva

Izberite knjižnično izkaznico:

Baze podatkov, v katerih je revija indeksirana

Izberite prevzemno mesto:

Prevzem gradiva po pošti

Obvestilo

Citiranje

Gesla v Splošnem geslovniku COBISS

Izbira mesta prevzema

Rezervacija je uspela.

Rezervacija ni uspela.

Rezervacija...

Bibliografski podatki

Število izposoj

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Izposoja uspešna

Izposoja ni uspela

Tema