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.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...