top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
A Course in mathematical logic / Yu I Manin
A Course in mathematical logic / Yu I Manin
Autore Manin, Yuri I
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, copyr. 1977
Descrizione fisica XIII, 286 p. : ill. ; 24 cm
Disciplina 5113
Collana Graduate texts in mathematics
Soggetto non controllato logica matematica
logica simbolica
ISBN 0-387-90243-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000112850203316
Manin, Yuri I  
New York [etc.] : Springer-Verlag, copyr. 1977
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A Course in mathematical logic / Yu I Manin
A Course in mathematical logic / Yu I Manin
Autore Manin, Yuri I
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, copyr. 1977
Descrizione fisica XIII, 286 p. : ill. ; 24 cm
Disciplina 5113
Collana Graduate texts in mathematics
Soggetto non controllato logica matematica
logica simbolica
ISBN 0-387-90243-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000194840203316
Manin, Yuri I  
New York [etc.] : Springer-Verlag, copyr. 1977
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic theory of automata / Abraham Ginzburg
Algebraic theory of automata / Abraham Ginzburg
Autore Ginzburg, Abraham
Pubbl/distr/stampa New York : Academic Press, 1968
Descrizione fisica IX, 165 p. : ill. ; 23 cm
Disciplina 5113
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000138170203316
Ginzburg, Abraham  
New York : Academic Press, 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic theory of automata / Abraham Ginzburg
Algebraic theory of automata / Abraham Ginzburg
Autore Ginzburg, Abraham
Pubbl/distr/stampa New York : Academic Press, 1968
Descrizione fisica IX, 165 p. : ill. ; 23 cm
Disciplina 5113
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000242860203316
Ginzburg, Abraham  
New York : Academic Press, 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Application and theory of Petri nets 1995 : 16th International conference : Turin, Italy, June 26-30, 1995 : proceedings / Giorgio De Michelis ... [etc.] (eds.)
Application and theory of Petri nets 1995 : 16th International conference : Turin, Italy, June 26-30, 1995 : proceedings / Giorgio De Michelis ... [etc.] (eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Descrizione fisica VIII, 509 p. : ill. ; 25 cm
Disciplina 5113
Collana Lecture notes in computer science
Soggetto non controllato congressi - torino - 1995
reti di elaboratori - architettura - congressi - 1995
reticoli di petri - congressi - 1995
ISBN 3-540-60029-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000210460203316
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Application and theory of Petri nets 1996 : 17th international conference Osaka, Japan, June 24-28, 1996 proceedings / Jonathan Billington ... [et al.] (eds.)
Application and theory of Petri nets 1996 : 17th international conference Osaka, Japan, June 24-28, 1996 proceedings / Jonathan Billington ... [et al.] (eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1996
Descrizione fisica VIII, 548 p. : ill. ; 23 cm
Disciplina 5113
Collana Lecture notes in computer science
Soggetto non controllato congressi - osaka - 1996
reti di elaboratori - congressi - 1996
reticoli di petri - congressi - 1996
ISBN 3-540-61363-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000206560203316
Berlin [etc.] : Springer-Verlag, copyr. 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Application and theory of Petri nets 1997 : 18th International conference, ICATPN'97 : Toulouse, France, June 23-27, 1997 : proceedings / Pierre Azema ... [et al.] (eds.)
Application and theory of Petri nets 1997 : 18th International conference, ICATPN'97 : Toulouse, France, June 23-27, 1997 : proceedings / Pierre Azema ... [et al.] (eds.)
Autore International conference ICATPN'97 : 18. : 1997
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 1997
Descrizione fisica VIII, 426 p. : ill. ; 23 cm
Disciplina 5113
Collana Lecture notes in computer science
Soggetto non controllato congressi - tolosa - 1997
reti di elaboratori - congressi - 1997
reticoli di petri - congressi - 1997
ISBN 3-540-63139-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000206290203316
International conference ICATPN'97 : 18. : 1997  
Berlin : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Application and theory of Petri nets 1998 : 19th international conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 : proceedings / Jorg Desel...[et al.] (eds.)
Application and theory of Petri nets 1998 : 19th international conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 : proceedings / Jorg Desel...[et al.] (eds.)
Autore International conference ICATPN'98 : 19. : 1998
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1998
Descrizione fisica VIII, 384 p. : ill. ; 24 cm
Disciplina 5113
Collana Lecture notes in computer science
Soggetto non controllato congressi - lisbona - 1998
reticolo di petri - congressi 1998
ISBN 3-540-64677-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000209880203316
International conference ICATPN'98 : 19. : 1998  
Berlin [etc.] : Springer-Verlag, copyr. 1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applications of category theory tofyzzy subsets / edited by Stephen Ernest Rodabaugh... [et al.]
Applications of category theory tofyzzy subsets / edited by Stephen Ernest Rodabaugh... [et al.]
Pubbl/distr/stampa Dordrecht [etc.] : Kluwer Academic Publishers, copyr. 1992
Descrizione fisica IX, 396 p. : ill. ; 24 cm
Disciplina 5113
Collana Theory and decision library. SerieB, Mathematical and statistical methods
Soggetto non controllato congressi - linz - 1989
insiemi - congressi - 1989
ISBN 0-7923-1511-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000237660203316
Dordrecht [etc.] : Kluwer Academic Publishers, copyr. 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automata implementation : First international workshop on implementing automata, WIA'96 : London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond ... [et al.] (eds.)
Automata implementation : First international workshop on implementing automata, WIA'96 : London, Ontario, Canada, August 29-31, 1996 : revised papers / Darrell Raymond ... [et al.] (eds.)
Autore International workshop on implementing automata : 1. : 1996
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr. 1997
Descrizione fisica VIII, 188 p. : ill. ; 23 cm
Disciplina 5113
Collana Lecture notes in computer science
Soggetto non controllato congressi - londra (ontario) - 1996
teoria delle macchine - congressi - 1997
ISBN 3-540-63174-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000206130203316
International workshop on implementing automata : 1. : 1996  
Berlin : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui