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.
Forking in the category of existentially closed structures / Anand Pillay
| Forking in the category of existentially closed structures / Anand Pillay |
| Autore | Pillay, Anand |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 6 (2000), p. 23-42. |
| Soggetto topico |
Classification theory, stability and related concepts [MSC 2010] 03C45
Quantifier elimination, model completeness and related topics [MSC 2010] 03C10 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0093406 |
Pillay, Anand
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Geometric stability theory / Anand Pillay
| Geometric stability theory / Anand Pillay |
| Autore | Pillay, Anand |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1996 |
| Descrizione fisica | x, 361 p. ; 25 cm. |
| Soggetto topico | 03C45 - Classification theory, stability and related concepts in model theory [MSC 2020] |
| ISBN | 01-985343-7-x |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0063304 |
|
Pillay, Anand
|
||
| Oxford, : Clarendon, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Geometric stability theory / Anand Pillay
| Geometric stability theory / Anand Pillay |
| Autore | Pillay, Anand |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1996 |
| Descrizione fisica | x, 361 p. ; 25 cm. |
| Soggetto topico | 03C45 - Classification theory, stability and related concepts in model theory [MSC 2020] |
| ISBN | 01-985343-7-x |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0063304 |
|
Pillay, Anand
|
||
| Oxford, : Clarendon, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of fields / D. Marker, M. Messmer, A. Pillay
| Model theory of fields / D. Marker, M. Messmer, A. Pillay |
| Autore | Marker, David |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | VII, 154 p. ; 24 cm. |
| Altri autori (Persone) |
Messmer, Margit
Pillay, Anand |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| ISBN |
35-406-0741-2
978-35-406-0741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052463 |
|
Marker, David
|
||
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of fields / D. Marker, M. Messmer, A. Pillay
| Model theory of fields / D. Marker, M. Messmer, A. Pillay |
| Autore | Marker, David |
| Pubbl/distr/stampa | Berlin, : Springer, 1996 |
| Descrizione fisica | VII, 154 p. ; 24 cm |
| Altri autori (Persone) |
Messmer, Margit
Pillay, Anand |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| ISBN |
35-406-0741-2
978-35-406-0741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052463 |
|
Marker, David
|
||
| Berlin, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay and Charles Steinhorn
| Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay and Charles Steinhorn |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2000 |
| Descrizione fisica | 227 p. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 05-217-8068-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0076136 |
| Cambridge, : Cambridge university, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay and Charles Steinhorn
| Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay and Charles Steinhorn |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2000 |
| Descrizione fisica | 227 p. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 05-217-8068-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-VAN0076136 |
| Cambridge, : Cambridge university, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay and Charles Steinhorn
| Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay and Charles Steinhorn |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2000 |
| Descrizione fisica | 227 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| ISBN | 978-05-217-8068-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0076136 |
| Cambridge, : Cambridge university, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Technology and safety of marine systems [e-book] / Anand Pillay, Jin Wang
| Technology and safety of marine systems [e-book] / Anand Pillay, Jin Wang |
| Autore | Pillay, Anand |
| Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier Science, 2003 |
| Descrizione fisica | 320 p. : ill. ; 25 cm |
| Disciplina | 363.1237 |
| Altri autori (Persone) | Wang, J. (Jin) |
| Collana | Elsevier ocean engineering book series ; v. 7 |
| Soggetto topico |
Ships - Safety measures
Ships - Safety regulations Ships - Inspection |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9780080441481
0080441483 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Ship safety and accident statistics -- Safety analysis techniques -- Formal safety assessment of ships and its relation to offshore safety case approach -- Formal safety assessment -- Risk assessment using fuzzy set approach -- Modified failure mode and effects analysis -- Maintenance modelling -- Human error assessment and decision making using analystical hierarchy processing -- Three novel risk modelling and decision making techniques -- Conclusions -- Appendix 1. Code of practice for small fishing vessels -- Appendix 2. Fishing vessel (safety provisions) safety rules 1975 -- Influence diagram |
| Record Nr. | UNISALENTO-991003231529707536 |
|
Pillay, Anand
|
||
| Amsterdam ; Boston : Elsevier Science, 2003 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Two remarks on differential fields / Anand Pillay
| Two remarks on differential fields / Anand Pillay |
| Autore | Pillay, Anand |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 11(2002), p. 325-348. |
| Soggetto topico |
Differential algebra [MSC 2010] 12H05
Model theory [MSC 2010] 12L12 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0094120 |
|
Pillay, Anand
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||