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 Informatics [[electronic resource] ] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / / edited by Miroslav Ćirić, Manfred Droste, Jean-Éric Pin
| Algebraic Informatics [[electronic resource] ] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / / edited by Miroslav Ćirić, Manfred Droste, Jean-Éric Pin |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 259 p. 273 illus., 22 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence—Data processing Numerical analysis Computer science—Mathematics Discrete mathematics Algorithms Coding theory Information theory Computer Science Logic and Foundations of Programming Data Science Numerical Analysis Discrete Mathematics in Computer Science Coding and Information Theory |
| ISBN | 3-030-21363-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466325003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / / edited by Miroslav Ćirić, Manfred Droste, Jean-Éric Pin
| Algebraic Informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / / edited by Miroslav Ćirić, Manfred Droste, Jean-Éric Pin |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 259 p. 273 illus., 22 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence—Data processing Numerical analysis Computer science—Mathematics Discrete mathematics Algorithms Coding theory Information theory Computer Science Logic and Foundations of Programming Data Science Numerical Analysis Discrete Mathematics in Computer Science Coding and Information Theory |
| ISBN | 3-030-21363-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910337843303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fields of Logic and Computation III [[electronic resource] ] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
| Fields of Logic and Computation III [[electronic resource] ] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (x, 341 pages) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Data structures (Computer science) Computer communication systems Special purpose computers Artificial intelligence Computer logic Software engineering Programming Techniques Data Structures Computer Communication Networks Special Purpose and Application-Based Systems Logic in AI Software Engineering |
| ISBN | 3-030-48006-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. . |
| Record Nr. | UNISA-996418286403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
| Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (x, 341 pages) |
| Disciplina |
004.015113
005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Data structures (Computer science) Computer communication systems Special purpose computers Artificial intelligence Computer logic Software engineering Programming Techniques Data Structures Computer Communication Networks Special Purpose and Application-Based Systems Logic in AI Software Engineering |
| ISBN | 3-030-48006-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. . |
| Record Nr. | UNINA-9910409668103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Groups, modules, and model theory - surveys and recent developments : in memory of Rüdiger Göbel / / edited by Manfred Droste, László Fuchs, Brendan Goldsmith, Lutz Strüngmann
| Groups, modules, and model theory - surveys and recent developments : in memory of Rüdiger Göbel / / edited by Manfred Droste, László Fuchs, Brendan Goldsmith, Lutz Strüngmann |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXXIV, 475 p. 30 illus.) |
| Disciplina | 512.2 |
| Soggetto topico |
Group theory
Group Theory and Generalizations |
| ISBN | 3-319-51718-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rudiger Gobel: An Appreciation (Droste, Fuchs, Goldsmith, Strungman) -- Part I: Survey Articles -- Properties of Abelian groups determined by their endomorphism ring (Albrecht) -- The zero-divisor graph of a commutative semigroup: a survey (Anderson, Badawi) -- A Remak-Krull-Schmidt class of torsion-free Abelian groups (Arnold, Mader, Mutzbauer, Solak) -- Rigid À1-free Abelian groups with prescribed factors and their role in the theory of cellular covers (Strungmann) -- Definable valuations induced by definable subgroups (Dupont) -- Groups of automorphisms of totally ordered sets: techniques, model theory and applications in decision problems (Glass) -- Algebraic entropies for Abelian groups with applications to the structure of their endomorphism rings: a survey (Goldsmith, Salce) -- On subsets and subgroups defined by commutators and some related questions (Charlotte Kappe, Longobardi, Maj) -- Recent progress in module approximations (Trlifaj) -- Part II: Research Articles -- A class of pure subgroups of the Specker group (Corner) -- Countable 1-transitive trees (Chicot, Truss) -- On Ore’s theorem and universal words for permutations and injections of infinite sets (Droste) -- An extension of M.C.R. Butler’s theorem on endomorphism rings (Dugas, Herden, Shelah) -- The Jacobson radical’s role in isomorphism theorems for p-adic modules extends to topological isomorphism (Flagg) -- A note on Hieronymi’s theorem: every definably complete structure is definably Baire (Fornasiero) -- Cotorsion and Tor pairs and finitistic dimensions over commutative rings (Fuchs) -- Permutation groups without irreducible elements (Glass, Macpherson) -- R-Hopfian and L-co-Hopfian Abelian groups (with an appendix by A.L.S. Corner on near automorphisms of an Abelian group) (Goldsmith, Gong) -- On the Abelianization of certain topologist’s products (Herfort, Hojka) -- Some remarks on DP-minimal groups (Kaplan, Levi, Simon) -- Square subgroups of decomposable rank three groups (Karimi) -- An invariant on primary Abelian groups with applications to their projective dimensions (Keef) -- The valuation difference rank of a quasi-ordered difference field (Kuhlmann, Matusinski, Point) -- The lattice of U-sequences of an Abelian p-group (McLean) -- Strongly non-singular rings and Morita equivalence (McQuaig) -- The class of (2,3)-groups with homocyclic regulator quotient of exponent p2 (Solak) -- Unbounded monotone subgroups of the Baer-Specker group (Wald) -- Clusterization of correlation functions (Zuevsky). |
| Record Nr. | UNINA-9910254283403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||