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.
Algebraic geometry and commutative algebra / / Siegfried Bosch
| Algebraic geometry and commutative algebra / / Siegfried Bosch |
| Autore | Bosch S (Siegfried), <1944-> |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | London, England : , : Springer-Verlag, , [2022] |
| Descrizione fisica | 1 online resource (508 pages) |
| Disciplina | 516.35 |
| Collana | Universitext Ser. |
| Soggetto topico |
Geometry, Algebraic
Commutative algebra Algebra |
| ISBN |
9781447175230
9781447175223 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996472037103316 |
Bosch S (Siegfried), <1944->
|
||
| London, England : , : Springer-Verlag, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic groups and Lie groups with few factors [e-book] / by Alfonso Bartolo ... [et al.]
| Algebraic groups and Lie groups with few factors [e-book] / by Alfonso Bartolo ... [et al.] |
| Autore | Bartolo, Alfonso |
| Pubbl/distr/stampa | Berlin : Springer, 2008 |
| Descrizione fisica | v.: digital |
| Disciplina | 516.35 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1944 |
| Soggetto topico |
Algebra
Geometry, algebraic Group theory Topological groups |
| ISBN | 9783540785842 |
| Classificazione | AMS 20G20 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-b13877471 |
|
Bartolo, Alfonso
|
||
| Berlin : Springer, 2008 | ||
| Software | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebraic groups and lie groups with few factors / Alfonso Di Bartolo, Giovanni Falcone [et al.]
| Algebraic groups and lie groups with few factors / Alfonso Di Bartolo, Giovanni Falcone [et al.] |
| Autore | DI BARTOLO, Alfonso |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XVI, 206 p. ; 24 cm |
| Disciplina | 512 |
| Altri autori (Persone) | FALCONE, Giovanni |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Algebra |
| ISBN | 978-3-540-78583-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003115830203316 |
|
DI BARTOLO, Alfonso
|
||
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic homogeneous spaces and invariant theory / Frank D. Grosshans
| Algebraic homogeneous spaces and invariant theory / Frank D. Grosshans |
| Autore | Grosshans, Frank D. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1997 |
| Descrizione fisica | VI, 148 p. ; 24 cm. |
| Disciplina | 512.944 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Algebra |
| ISBN | 3-540-63628-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000012298 |
|
Grosshans, Frank D.
|
||
| Berlin [etc.] : Springer, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Algebraic Informatics [[electronic resource] ] : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / / edited by Symeon Bozapalidis, George Rahonis
| Algebraic Informatics [[electronic resource] ] : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / / edited by Symeon Bozapalidis, George Rahonis |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (VIII, 289 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algebra Machine theory Software engineering Computer science—Mathematics Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Symbolic and Algebraic Manipulation |
| ISBN | 3-540-75414-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- On Generalizations of Weighted Finite Automata and Graphics Applications -- Sturmian and Episturmian Words -- From Tree-Based Generators to Delegation Networks -- Bifinite Chu Spaces -- Tiling Recognizable Two-Dimensional Languages -- Algebraic Methods in Quantum Informatics -- Recognizable vs. Regular Picture Languages -- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems -- Contributed Papers -- Deterministic Two-Dimensional Languages over One-Letter Alphabet -- Recognizable Picture Languages and Polyominoes -- An Algebra for Tree-Based Music Generation -- Aperiodicity in Tree Automata -- The Syntactic Complexity of Eulerian Graphs -- Learning Deterministically Recognizable Tree Series — Revisited -- The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs -- Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques -- Nonassociativity à la Kleene -- Restarting Tree Automata and Linear Context-Free Tree Languages. |
| Record Nr. | UNISA-996465436803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Informatics [[electronic resource] ] : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / / edited by Symeon Bozapalidis, George Rahonis
| Algebraic Informatics [[electronic resource] ] : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / / edited by Symeon Bozapalidis, George Rahonis |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (VIII, 289 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algebra Machine theory Software engineering Computer science—Mathematics Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Symbolic and Algebraic Manipulation |
| ISBN | 3-540-75414-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- On Generalizations of Weighted Finite Automata and Graphics Applications -- Sturmian and Episturmian Words -- From Tree-Based Generators to Delegation Networks -- Bifinite Chu Spaces -- Tiling Recognizable Two-Dimensional Languages -- Algebraic Methods in Quantum Informatics -- Recognizable vs. Regular Picture Languages -- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems -- Contributed Papers -- Deterministic Two-Dimensional Languages over One-Letter Alphabet -- Recognizable Picture Languages and Polyominoes -- An Algebra for Tree-Based Music Generation -- Aperiodicity in Tree Automata -- The Syntactic Complexity of Eulerian Graphs -- Learning Deterministically Recognizable Tree Series — Revisited -- The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs -- Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques -- Nonassociativity à la Kleene -- Restarting Tree Automata and Linear Context-Free Tree Languages. |
| Record Nr. | UNINA-9910484816403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic K-theory / R. G. Swan
| Algebraic K-theory / R. G. Swan |
| Autore | Swan, Richard G. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1968 |
| Descrizione fisica | 262 p. ; 28 cm. |
| Disciplina | 512 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Algebra
Categoria (matematica) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015050 |
|
Swan, Richard G.
|
||
| Berlin [etc.] : Springer, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Algebraic K-theory and its geometric applications / edited by R. M. F. Moss and C. B. Thomas
| Algebraic K-theory and its geometric applications / edited by R. M. F. Moss and C. B. Thomas |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1969 |
| Descrizione fisica | IV, 86 p. ; 26 cm. |
| Disciplina | 512.55 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Algebra
Categoria (matematica) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000013774 |
| Berlin [etc.] : Springer, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Algebraic linguistics; analytical models / Solomon Marcus
| Algebraic linguistics; analytical models / Solomon Marcus |
| Autore | MARCUS, Solomon |
| Descrizione fisica | XI, 254 p. ill. ; 24 cm |
| Disciplina | 512 |
| Collana | Mathematics in science and engineering |
| Soggetto topico | Algebra |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003336240203316 |
|
MARCUS, Solomon
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methodology and Software Technology [[electronic resource] ] : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / / edited by Helene Kirchner, Christophe Ringeissen
| Algebraic Methodology and Software Technology [[electronic resource] ] : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / / edited by Helene Kirchner, Christophe Ringeissen |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 508 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Algebra Computer logic Mathematical logic Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-45719-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- From Specifications to Code in Casl -- Automata and Games for Synthesis -- Pragmatics of Modular SOS -- Tool-Assisted Specification and Verification of the JavaCard Platform -- Higher-Order Quantification and Proof Search* -- Algebraic Support for Service-Oriented Architecture -- Regular Papers -- Fully Automatic Adaptation of Software Components Based on Semantic Specifications* -- HasCasl: Towards Integrated Specification and Development of Functional Programs -- Removing Redundant Arguments of Functions* -- A Class of Decidable Parametric Hybrid Systems -- Vacuity Checking in the Modal Mu-Calculus* -- On Solving Temporal Logic Queries -- Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations* -- An Algebra of Non-safe Petri Boxes -- Refusal Simulation and Interactive Games -- A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching -- Equational Axioms for Probabilistic Bisimilarity -- Bisimulation by Unification* -- Transforming Processes to Check and Ensure Information Flow Security* -- On Bisimulations for the Spi Calculus* -- Specifying and Verifying a Decimal Representation in Java for Smart Cards* -- A Method for Secure Smartcard Applications -- Extending JML Specifications with Temporal Logic -- Algebraic Dynamic Programming -- Analyzing String Buffers in C -- A Foundation of Escape Analysis* -- A Framework for Order-Sorted Algebra -- Guarded Transitions in Evolving Specifications -- Revisiting the Categorical Approach to Systems* -- Proof Transformations for Evolutionary Formal Software Development -- Sharing Objects by Read-Only References -- Class-Based versus Object-Based: A Denotational Comparison -- System Descriptions -- BRAIN: Backward Reachability Analysis with Integers -- The Development Graph Manager Maya. |
| Record Nr. | UNINA-9910143876303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Algebra
(1540)
- Mathematics (217)
- Matrix theory (169)
- Linear and Multilinear Algebras, Matrix Theory (167)
- Number theory (122)