Admissibility of logical inference rules [e-book] / Vladimir V. Rybakov |
Autore | Rybakov, Vladimir Vladimir |
Pubbl/distr/stampa | Amsterdam ; New York : Elsevier, 1997 |
Descrizione fisica | 617 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Studies in logic and the foundations of mathematics ; 136 |
Soggetto topico |
Logic, Symbolic and mathematical
Inference |
ISBN |
0444895051
9780444895059 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003271489707536 |
Rybakov, Vladimir Vladimir | ||
Amsterdam ; New York : Elsevier, 1997 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
Adolescenza : viaggio intorno ad un'idea / a cura di Alessandra Avanzini |
Pubbl/distr/stampa | Milano : FrancoAngeli, 2012 |
Descrizione fisica | Testo elettronico (EPUB) (125 p.) |
Disciplina | 155.5 |
Soggetto topico | Adolescenti -- Psicologia |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990006000160203316 |
Milano : FrancoAngeli, 2012 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. di Salerno | ||
|
Adultèri, delitti e filologia : Il caso della baronessa di Carini [Risorsa elettronica] |
Autore | Varvaro, Alberto |
Pubbl/distr/stampa | Bologna : Società editrice il Mulino, Spa, 2011 |
Descrizione fisica | 176 p. |
Soggetto topico |
Critica letteraria
Filologia |
ISBN | 9788815229656 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990009744720403321 |
Varvaro, Alberto | ||
Bologna : Società editrice il Mulino, Spa, 2011 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced computational infrastructures for parallel and distributed adaptive applications [Risorsa elettronica] / edited by Manish Parashar, Xiaolin Li |
Pubbl/distr/stampa | Hoboken, N. J. : Wiley-Interscience, 2009 |
Disciplina | 004.35 |
Collana | Wiley series on parallel and distributed computing |
ISBN | 9780470558027 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009798340403321 |
Hoboken, N. J. : Wiley-Interscience, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced computer-aided fixture design [e-book] / Yiming (Kevin) Rong, Samuel H. Huang, Zhikun Hou |
Autore | Rong, Yiming, 1958- |
Pubbl/distr/stampa | Amsterdam ; Boston : Elsevier, 2005 |
Descrizione fisica | x, 414 p. : ill. ; 23 cm |
Disciplina | 621.992 |
Altri autori (Persone) |
Huang, Samuel H.
Hou, Zhikun |
Soggetto topico | Jigs and fixtures - Computer-aided design |
Soggetto genere / forma | Electronic books. |
ISBN |
9780125947510
0125947518 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface; Ch1. Background; 1.1 Mass customization and fixture design in manufacturing; 1.2 Introduction to Computer-Aided Fixture Design; 1.3 Recent development of CAFD; 1.4 Objectives; content; and organization of the book; Ch 2. Machining Setup Planning; 2.1 Feature representation of inter-setup tolerance stack-up; Manufacturing resource model; 2.4 Setup planning generation; 2.5 System implementation; Ch.3 Fixture Planning; 3.1 Geometric model of fixturing; 3.2 Kinetic model of fixturing; 3.3 Fixture locating datum surface determination; 3.4 Fixture locating position optimization; 3.5 Fixture clamping design and optimization; 3.6 System implementation; Ch. 4 Fixture Configuration Design; 4.1 Automated modular fixture design; 4.2 Automated permanent fixture design with pre-defined component types; 4.3 Variation fixture design for part families; 4.4 Computer-aided fixture design with operation constraints; Ch. 5 Fixture Design Verification; 5.1 Geometric constraint verification; 5.2 Locating tolerance verification; 5.3 Locating tolerance assignment; 5.4 Fixturing surface accessibility verification; 5.6 Minimum clamping force determination; 5.7 Fixturing stiffness analysis; 5.8 System implementation; Index |
Record Nr. | UNISALENTO-991003235629707536 |
Rong, Yiming, 1958- | ||
Amsterdam ; Boston : Elsevier, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
Advanced Concepts for Intelligent Vision Systems [Risorsa elettronica] : 11th International Conference, ACIVS 2009, Bordeaux, France, September 28October 2, 2009. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642046971 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009262790403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Concepts for Intelligent Vision Systems [Risorsa elettronica] : 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jacques Blanc-Talon, Salah Bourennane, Wilfried Philips, Dan Popescu, Paul Scheunders |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540884583 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009257780403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Concepts for Intelligent Vision Systems [Risorsa elettronica] : 9th International Conference, ACIVS 2007, Delft, The Netherlands, August 28-31, 2007. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Sc |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540746072 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009239220403321 |
Berlin ; Heidelberg : Springer, 2007 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Concepts for Intelligent Vision Systems [Risorsa elettronica] : 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheu |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540446323 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009240890403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Concepts for Intelligent Vision Systems [Risorsa elettronica] : 7th International Conference, ACIVS 2005, Antwerp, Belgium, September 20-23, 2005. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheu |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540320463 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009239400403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|