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] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
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
![]() |
||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|