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.

Biblioteca

MARC Lista (tabellare)
Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications / / edited by Shihua Li, Xinghuo Yu, Leonid Fridman, Zhihong Man, Xiangyu Wang
Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications / / edited by Shihua Li, Xinghuo Yu, Leonid Fridman, Zhihong Man, Xiangyu Wang
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (414 pages) : illustrations
Disciplina 511.326
Collana Studies in Systems, Decision and Control
Soggetto topico Automatic control
System theory
Control and Systems Theory
Systems Theory, Control
ISBN 3-319-62896-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Lyapunov-Based Design of Homogeneous High-Order Sliding Modes.-  Robustness of Homogeneous and Homogeneizable Differential Inclusions.- Practical Stability Phase and Gain Margins Concept --  Indirect Adaptive Sliding-Mode Control Using the Certainty-Equivalence Principle.-  Discrete Event-Triggered Sliding Mode Control -- Speed Control of Induction Motor Servo Drives Using Terminal Sliding-Mode Controller.- Sliding Modes Control in Vehicle Longitudinal Dynamics Control -- Sliding Mode Control of Power Converters with Switching Frequency Regulation.
Record Nr. UNINA-9910299881803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Bidirectional Transformations [[electronic resource] ] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens
Bidirectional Transformations [[electronic resource] ] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (IX, 189 p.)
Disciplina 511.326
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Management information systems
Computer science
Database management
Software Engineering/Programming and Operating Systems
Logics and Meanings of Programs
Management of Computing and Information Systems
Database Management
ISBN 3-319-79108-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations.
Record Nr. UNISA-996466227503316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens
Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (IX, 189 p.)
Disciplina 511.326
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Management information systems
Computer science
Database management
Software Engineering/Programming and Operating Systems
Logics and Meanings of Programs
Management of Computing and Information Systems
Database Management
ISBN 9783319791081
3319791087
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations.
Record Nr. UNINA-9910349425103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Cantor et le transfini : mathématique et ontologie / Philippe Lauria
Cantor et le transfini : mathématique et ontologie / Philippe Lauria
Autore LAURIA, Philippe
Pubbl/distr/stampa Paris : L'Harmattan, copyr. 2004
Descrizione fisica XII, 248 p. : ill. ; 25 cm
Disciplina 511.326
Collana Ouverture philosophique
Soggetto (Persona) Cantor, Georg. Contributions in the philosophy of mathematics
ISBN 2-7475-5848-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISA-990003215080203316
LAURIA, Philippe  
Paris : L'Harmattan, copyr. 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Complessità di calcolo delle funzioni / Giorgio Ausiello
Complessità di calcolo delle funzioni / Giorgio Ausiello
Autore Ausiello, Giorgio
Pubbl/distr/stampa Torino : Boringhieri, 1975
Descrizione fisica 240 p. ; 21 cm
Disciplina 001.535
511.326
Collana Testi e manuali della scienza contemporanea Serie di informatica
Testi e manuali della scienza contemporanea. Serie di informatica
Soggetto topico Computational complexity
Functions
Classificazione AMS 03D15
AMS 68Q15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000766529707536
Ausiello, Giorgio  
Torino : Boringhieri, 1975
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan
Autore Chan Ping-Shun <1978->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 2009
Descrizione fisica 1 online resource (172 p.)
Disciplina 511.326
Collana Memoirs of the American Mathematical Society
Soggetto topico Automorphisms
Spectral theory (Mathematics)
Tensor products
p-adic analysis
Soggetto genere / forma Electronic books.
ISBN 1-4704-0571-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""1.1. An Overview""; ""1.2. -Invariant Automorphic Representations""; ""1.3. Local Character Identities""; ""1.4. Statement of Main Results""; ""1.5. Acknowledgments""; ""Chapter 2. -Endoscopy for GSp(2)""; ""2.1. Endoscopic Data""; ""2.2. Endoscopic group H1""; ""2.3. Endoscopic group H2""; ""2.4. Norm Correspondence""; ""2.5. Matching Functions""; ""Chapter 3. The Trace Formula""; ""3.1. The Fine -Expansion""; ""3.2. Comparison of the Geometric Sides of Trace Formulas""; ""3.3. Application of the Kottwitz-Shelstad Formula""
""Chapter 4. Global Lifting""""4.1. The -Trace Identity""; ""4.2. Frobenius-Hecke Classes""; ""4.3. Packets""; ""4.4. Contributions""; ""4.5. Some Global Lifting Results""; ""4.6. Final Words""; ""Chapter 5. The Local Picture""; ""5.1. Parabolically Induced Representations""; ""5.2. Parabolically Induced Representations---Split Case""; ""5.3. Character Identities for Unstable Packets""; ""5.4. Character Identities for Stable Packets""; ""Appendix A. Summary of Global Lifting""; ""A.1. Unstable (quasi-)packets of G""; ""A.2. Stable (quasi-)packets""; ""A.3. Induced representations""
""Appendix B. Fundamental Lemma""""B.1. Norm Correspondence---Elliptic Elements""; ""B.2. Comparison of Orbital Integrals""; ""Bibliography""; ""List of Symbols""; ""Index""
Record Nr. UNINA-9910480626303321
Chan Ping-Shun <1978->  
Providence, Rhode Island : , : American Mathematical Society, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan
Autore Chan Ping-Shun <1978->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 2009
Descrizione fisica 1 online resource (172 p.)
Disciplina 511.326
Collana Memoirs of the American Mathematical Society
Soggetto topico Automorphisms
Spectral theory (Mathematics)
Tensor products
p-adic analysis
ISBN 1-4704-0571-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""1.1. An Overview""; ""1.2. -Invariant Automorphic Representations""; ""1.3. Local Character Identities""; ""1.4. Statement of Main Results""; ""1.5. Acknowledgments""; ""Chapter 2. -Endoscopy for GSp(2)""; ""2.1. Endoscopic Data""; ""2.2. Endoscopic group H1""; ""2.3. Endoscopic group H2""; ""2.4. Norm Correspondence""; ""2.5. Matching Functions""; ""Chapter 3. The Trace Formula""; ""3.1. The Fine -Expansion""; ""3.2. Comparison of the Geometric Sides of Trace Formulas""; ""3.3. Application of the Kottwitz-Shelstad Formula""
""Chapter 4. Global Lifting""""4.1. The -Trace Identity""; ""4.2. Frobenius-Hecke Classes""; ""4.3. Packets""; ""4.4. Contributions""; ""4.5. Some Global Lifting Results""; ""4.6. Final Words""; ""Chapter 5. The Local Picture""; ""5.1. Parabolically Induced Representations""; ""5.2. Parabolically Induced Representations---Split Case""; ""5.3. Character Identities for Unstable Packets""; ""5.4. Character Identities for Stable Packets""; ""Appendix A. Summary of Global Lifting""; ""A.1. Unstable (quasi-)packets of G""; ""A.2. Stable (quasi-)packets""; ""A.3. Induced representations""
""Appendix B. Fundamental Lemma""""B.1. Norm Correspondence---Elliptic Elements""; ""B.2. Comparison of Orbital Integrals""; ""Bibliography""; ""List of Symbols""; ""Index""
Record Nr. UNINA-9910788857603321
Chan Ping-Shun <1978->  
Providence, Rhode Island : , : American Mathematical Society, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan
Invariant representations of GSp(2) under tensor product with a quadratic character / / Ping-Shun Chan
Autore Chan Ping-Shun <1978->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 2009
Descrizione fisica 1 online resource (172 p.)
Disciplina 511.326
Collana Memoirs of the American Mathematical Society
Soggetto topico Automorphisms
Spectral theory (Mathematics)
Tensor products
p-adic analysis
ISBN 1-4704-0571-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""1.1. An Overview""; ""1.2. -Invariant Automorphic Representations""; ""1.3. Local Character Identities""; ""1.4. Statement of Main Results""; ""1.5. Acknowledgments""; ""Chapter 2. -Endoscopy for GSp(2)""; ""2.1. Endoscopic Data""; ""2.2. Endoscopic group H1""; ""2.3. Endoscopic group H2""; ""2.4. Norm Correspondence""; ""2.5. Matching Functions""; ""Chapter 3. The Trace Formula""; ""3.1. The Fine -Expansion""; ""3.2. Comparison of the Geometric Sides of Trace Formulas""; ""3.3. Application of the Kottwitz-Shelstad Formula""
""Chapter 4. Global Lifting""""4.1. The -Trace Identity""; ""4.2. Frobenius-Hecke Classes""; ""4.3. Packets""; ""4.4. Contributions""; ""4.5. Some Global Lifting Results""; ""4.6. Final Words""; ""Chapter 5. The Local Picture""; ""5.1. Parabolically Induced Representations""; ""5.2. Parabolically Induced Representations---Split Case""; ""5.3. Character Identities for Unstable Packets""; ""5.4. Character Identities for Stable Packets""; ""Appendix A. Summary of Global Lifting""; ""A.1. Unstable (quasi-)packets of G""; ""A.2. Stable (quasi-)packets""; ""A.3. Induced representations""
""Appendix B. Fundamental Lemma""""B.1. Norm Correspondence---Elliptic Elements""; ""B.2. Comparison of Orbital Integrals""; ""Bibliography""; ""List of Symbols""; ""Index""
Record Nr. UNINA-9910827647203321
Chan Ping-Shun <1978->  
Providence, Rhode Island : , : American Mathematical Society, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Lectures on the Curry-Howard isomorphism [e-book] / Morten Heine Sørensen, Paweł Urzyczyn
Lectures on the Curry-Howard isomorphism [e-book] / Morten Heine Sørensen, Paweł Urzyczyn
Autore Sørensen, Morten Heine
Pubbl/distr/stampa Amsterdam ; Boston : Elsevier, 2006
Descrizione fisica xiv, 442 p. : ill. ; 24 cm
Disciplina 511.326
Altri autori (Persone) Urzyczyn, Pawełauthor
Collana Studies in logic and the foundations of mathematics, 0049-237X ; 149
Soggetto topico Curry-Howard isomorphism
Lambda calculus
ISBN 9780444520777
0444520775
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991003277399707536
Sørensen, Morten Heine  
Amsterdam ; Boston : Elsevier, 2006
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Nonlinear Maps and their Applications : Selected Contributions from the NOMA 2011 International Workshop / / edited by Clara Grácio, Daniele Fournier-Prunaret, Tetsushi Ueta, Yoshifumi Nishio
Nonlinear Maps and their Applications : Selected Contributions from the NOMA 2011 International Workshop / / edited by Clara Grácio, Daniele Fournier-Prunaret, Tetsushi Ueta, Yoshifumi Nishio
Edizione [1st ed. 2014.]
Pubbl/distr/stampa New York, NY : , : Springer New York : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (175 pages) : illustrations
Disciplina 511.326
Collana Springer Proceedings in Mathematics & Statistics
Soggetto topico Dynamics
Ergodic theory
System theory
Game theory
Biomathematics
Dynamical Systems and Ergodic Theory
Complex Systems
Game Theory, Economics, Social and Behav. Sciences
Mathematical and Computational Biology
ISBN 1-4614-9161-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto J. P. Almeida; A. A. Pinto; D. A. Rand, Renormalization of circle diffeomorphism sequences and Markov sequences -- F. Balibrea; M. V. Caballero, Examples of Lyapunov exponents in two dimensional systems -- R. A. da Costa; S. N. Dorogovtsev; A.V. Goltsev; J. F. F. Mendes, Characteristics of the explosive percolation transition -- E. S. Roberts; A. Annibale; A. C. C. Coolen, Controlled Markovian dynamics of graphs: unbiased generation of random graphs with prescribed topological properties -- G. Bettencourt, A case leading to rationalist of the drift -- L. S. Efremova, Remarks on the nonwandering set of skew products with a closed set of periodic points of the quotient map -- J. Erreira, Green route planner -- P. Gomes; N. Franco; L. Silva, Families of hyperbolic Lorenz knots -- C. Gracio; A. C. C. Coolen; A. Annibale, Cycle statistics in complex networks and Ihara's zeta function; Z. B. Jemaa; D.Fournier-Prunaret; S. Belghith, Independence test of chaotic sequences; Y. Kawai; T. Tsubone, Stability Transformation Method for Unstable Periodic Orbits and Its Realization; N. Klinshpont, Lorenz attractors and generalizations. Geometric and topological aspects; R. Lopez-Ruiz; E. Shivanian, A nonlinear map for the decay to equilibrium of ideal gases -- S. Mendes, On the dynamics of a cubic p-adic polynomial -- C. Serpa; J. Buescu, A dynamical approach to congruences: linking circle maps and aperiodic necklaces -- Y. Uwate; Y. Nishio, Complex pattern in a chain of couples maps based on neuron model with space and time-varying couplings.
Record Nr. UNINA-9910299965303321
New York, NY : , : Springer New York : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui