| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000013600 |
|
|
Autore |
Pell, Melvyn |
|
|
Titolo |
Gas fluidization / Mel Pell |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam...[etc.] : Elsevier, 1990 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Handbook of powder technology ; 8 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910831162203321 |
|
|
Titolo |
Mechanical characterization of materials and wave dispersion [[electronic resource] ] : instrumentation and experiment interpretation / / edited by Yvon Chevalier, Jean Tuong Vinh |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, U.K., : ISTE |
|
Hoboken, N.J., : Wiley, 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-62126-3 |
1-299-31550-X |
1-118-62127-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (492 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
ChevalierYvon |
VinhJean Tuong |
|
|
|
|
|
|
|
|
Disciplina |
|
620.1/1292 |
620.11 |
620.11292 |
|
|
|
|
|
|
|
|
Soggetti |
|
Materials - Mechanical properties - Experiments |
Structural engineering - Materials - Experiments |
Wave motion, Theory of - Experiments |
Dispersion - Experiments |
Engineering instruments |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
pt. I. Mechanical and electronic instrumentation -- pt. II. Realization of experimental set-ups and interpretation of measurements. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Over the last 50 years, the methods of investigating dynamic properties have resulted in significant advances. This book explores dynamic testing, the methods used, and the experiments performed, placing a particular emphasis on the context of bounded medium elastodynamics. Dynamic tests have proven to be as efficient as static tests and are often easier to use at lower frequency. The discussion is divided into four parts. Part A focuses on the complements of continuum mechanics. Part B concerns the various types of rod vibrations: extensional, bending, and torsional. Part C is devoted to mech |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910144122303321 |
|
|
Titolo |
Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / / edited by Eduardo Gimenez, Christine Paulin-Mohring |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1998.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 380 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1512 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Logic, Symbolic and mathematical |
Programming languages (Electronic computers) |
Artificial intelligence |
Software Engineering/Programming and Operating Systems |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Programming Languages, Compilers, Interpreters |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Coercion synthesis in computer implementations of type-theoretic frameworks -- Verification of the interface of a small proof system in coq -- An implementation of the Heine-Borel covering theorem in type theory -- Detecting and removing dead-code using rank 2 intersection -- A type-free formalization of mathematics where proofs are objects -- Higman's lemma in type theory -- A proof of weak termination of typed ??-calculi -- Proof style -- Some algorithmic and proof-theoretical aspects of coercive subtyping -- Semantical BNF -- The internal type theory of a Heyting pretopos -- Inverting inductively defined relations in LEGO -- A generic normalisation proof for pure type systems -- Proving a real time algorithm for ATM in Coq -- Dependent types with explicit substitutions: A meta-theoretical |
|
|
|
|
|
|
|
|
|
|
|
development -- Type inference verified: Algorithm W in Isabelle/HOL -- Continuous lattices in formal topology -- Abstract insertion sort in an extension of type theory with record types and subtyping. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996. The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL. |
|
|
|
|
|
|
|
| |