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.
Theory and Applications of Satisfiability Testing [Risorsa elettronica] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh
| Theory and Applications of Satisfiability Testing [Risorsa elettronica] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540316794 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009235690403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Applications of Satisfiability Testing - SAT 2006 [Risorsa elettronica] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes
| Theory and Applications of Satisfiability Testing - SAT 2006 [Risorsa elettronica] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540372073 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009240100403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Applications of Satisfiability Testing - SAT 2009 [Risorsa elettronica] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. 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, Oliver Kullmann
| Theory and Applications of Satisfiability Testing - SAT 2009 [Risorsa elettronica] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. 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, Oliver Kullmann |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642027772 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009261140403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Applications of Satisfiability Testing – SAT 2007 [Risorsa elettronica] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah
| Theory and Applications of Satisfiability Testing – SAT 2007 [Risorsa elettronica] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540727880 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009238330403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Applications of Satisfiability Testing – SAT 2008 [Risorsa elettronica] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao
| Theory and Applications of Satisfiability Testing – SAT 2008 [Risorsa elettronica] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540797197 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009255970403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and applications of singular perturbations [e-book] : proceedings of a conference held in Oberwolfach, August 16-22, 1981 / edited by W. Eckhaus, E. M. Jager
| Theory and applications of singular perturbations [e-book] : proceedings of a conference held in Oberwolfach, August 16-22, 1981 / edited by W. Eckhaus, E. M. Jager |
| Pubbl/distr/stampa | Berlin : Springer, 1982 |
| Descrizione fisica | 1 online resource (363 p.) |
| Disciplina | 515 |
| Altri autori (Persone) |
Eckhaus, W.
Jager, E. M. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 942 |
| Soggetto topico |
Mathematics
Global analysis (Mathematics) |
| ISBN | 9783540393320 |
| Classificazione |
AMS 34-06
AMS 34E15 AMS 35B25 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002207909707536 |
| Berlin : Springer, 1982 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Theory and computation of electromagnetic fields / Jian-Ming Jin
| Theory and computation of electromagnetic fields / Jian-Ming Jin |
| Autore | JIN, Jian-Ming <1962-> |
| Pubbl/distr/stampa | Hoboken, : Wiley, 2010 |
| Descrizione fisica | Testo elettronico (PDF) (XV, 572 p. , 28 p. di tav. : ill.) |
| Disciplina | 530.141 |
| Soggetto topico | Elettromagnetismo |
| ISBN | 9780470874257 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996454750703316 |
JIN, Jian-Ming <1962->
|
||
| Hoboken, : Wiley, 2010 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and design of air cushion craft [e-book] / Liang Yun, Alan Bliault
| Theory and design of air cushion craft [e-book] / Liang Yun, Alan Bliault |
| Autore | Yun, Liang |
| Pubbl/distr/stampa | London : Arnold |
| Descrizione fisica | xii, 632 p. : ill. ; 25 cm |
| Disciplina | 629.3 |
| Altri autori (Persone) | Bliault, Alanauthor |
| Soggetto topico | Ground-effect machines |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9780340676509
0340676507 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to hovercraft * Air cushion theory * Steady drag forces * Stability * Trim and water surface deformation under the cushion * Manoeuvrability * Design and analysis of ACV and SES skirts * Motions in waves * Model experiments and scaling laws * Design methodology and performance estimation * Determination of principal dimensions of ACV*SES * Lift system design * Skirt design * Structural design * Propulsion system design * Power unit selection |
| Record Nr. | UNISALENTO-991003221749707536 |
|
Yun, Liang
|
||
| London : Arnold | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Theory and Practice of Model Transformations [Risorsa elettronica] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. 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, Richard F. Paige
| Theory and Practice of Model Transformations [Risorsa elettronica] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. 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, Richard F. Paige |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642024085 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009260880403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Practice of Model Transformations [Risorsa elettronica] : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio
| Theory and Practice of Model Transformations [Risorsa elettronica] : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540699279 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009254040403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formato
-
Risorse elettroniche
(17718)
