Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Wikipedia

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Nipkow, Tobias
ID: 62010

Opere

Altre forme del nome

Authority file

http://viaf.org/viaf/113774856/

Nipkow, Tobias, 1958-..

http://viaf.org/viaf/113774856/

http://viaf.org/viaf/113774856/

Nome da opac

Nipkow Tobias 1958-

Nome da opac

Nipkow, Tobias <1958- >

Nome da opac

Seleziona tutte

Deseleziona

Concrete Semantics

...

FM 2006

...

Isabelle

...

Isabelle

...

Software safety and security

...

Term rewriting and all that

...