Algorithm Theory -- SWAT 2012 [[electronic resource] ] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings / / edited by Fedor V. Fomin, Petteri Kaski |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIII, 410 p. 62 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Discrete Mathematics in Computer Science Data Science |
ISBN | 3-642-31155-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465514603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automata, Languages, and Programming [[electronic resource] ] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / / edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXVI, 854 p. 55 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-642-39206-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation. |
Record Nr. | UNISA-996465997003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automata, Languages, and Programming [[electronic resource] ] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / / edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXVI, 698 p. 55 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-642-39212-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation. |
Record Nr. | UNISA-996465996203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / / edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXVI, 854 p. 55 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-642-39206-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation. |
Record Nr. | UNINA-9910483344303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / / edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXVI, 698 p. 55 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-642-39212-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation. |
Record Nr. | UNINA-9910483151503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Science – Theory and Applications [[electronic resource] ] : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / / edited by Fedor V. Fomin, Vladimir V. Podolskii |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXXII, 335 p. 41 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Numerical analysis Artificial intelligence—Data processing Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Numerical Analysis Data Science Artificial Intelligence |
ISBN | 3-319-90530-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465825603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Science – Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / / edited by Fedor V. Fomin, Vladimir V. Podolskii |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXXII, 335 p. 41 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Numerical analysis Artificial intelligence—Data processing Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Numerical Analysis Data Science Artificial Intelligence |
ISBN | 3-319-90530-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349429903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Graph-Theoretic Concepts in Computer Science [[electronic resource] ] : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers / / edited by Fedor V. Fomin |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XIII, 358 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Numerical analysis Artificial intelligence—Data processing Computer graphics Discrete Mathematics in Computer Science Numerical Analysis Data Science Computer Graphics |
ISBN | 3-540-48382-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Treewidth: Characterizations, Applications, and Computations -- Locally Injective Graph Homomorphism: Lists Guarantee Dichotomy -- Generalised Dualities and Finite Maximal Antichains -- Chordal Deletion Is Fixed-Parameter Tractable -- A Fixed-Parameter Algorithm for the Minimum Weight Triangulation Problem Based on Small Graph Separators -- Divide-and-Color -- Listing Chordal Graphs and Interval Graphs -- A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set in Graphs -- Improved Edge-Coloring with Three Colors -- Vertex Coloring of Comparability+ke and –ke Graphs -- Convex Drawings of Graphs with Non-convex Boundary -- How to Sell a Graph: Guidelines for Graph Retailers -- Strip Graphs: Recognition and Scheduling -- Approximating the Traffic Grooming Problem in Tree and Star Networks -- Bounded Arboricity to Determine the Local Structure of Sparse Graphs -- An Implicit Representation of Chordal Comparabilty Graphs in Linear-Time -- Partitioned Probe Comparability Graphs -- Computing Graph Polynomials on Graphs of Bounded Clique-Width -- Generation of Graphs with Bounded Branchwidth -- Minimal Proper Interval Completions -- Monotony Properties of Connected Visible Graph Searching -- Finding Intersection Models of Weakly Chordal Graphs -- A Fully Dynamic Algorithm for the Recognition of P 4-Sparse Graphs -- Clique Graph Recognition Is NP-Complete -- Homogeneity vs. Adjacency: Generalising Some Graph Decomposition Algorithms -- Certifying Algorithms for Recognizing Proper Circular-Arc Graphs and Unit Circular-Arc Graphs -- Graph Labelings Derived from Models in Distributed Computing -- Flexible Matchings -- Simultaneous Graph Embeddings with Fixed Edges -- Approximation Algorithms for Restricted Cycle Covers Based on Cycle Decompositions -- Circular-Perfect Concave-Round Graphs. |
Record Nr. | UNISA-996466146703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Graph-theoretic concepts in computer science : 32nd international workshop, WG 2006, Bergen, Norway, June 22-24, 2006 : revised papers / / Fedor V. Fomin (ed.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | 1 online resource (XIII, 358 p.) |
Disciplina | 005.1 |
Altri autori (Persone) | FominFedor V |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Soggetto topico |
Graph theory
Computer science |
ISBN | 3-540-48382-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Treewidth: Characterizations, Applications, and Computations -- Locally Injective Graph Homomorphism: Lists Guarantee Dichotomy -- Generalised Dualities and Finite Maximal Antichains -- Chordal Deletion Is Fixed-Parameter Tractable -- A Fixed-Parameter Algorithm for the Minimum Weight Triangulation Problem Based on Small Graph Separators -- Divide-and-Color -- Listing Chordal Graphs and Interval Graphs -- A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set in Graphs -- Improved Edge-Coloring with Three Colors -- Vertex Coloring of Comparability+ke and –ke Graphs -- Convex Drawings of Graphs with Non-convex Boundary -- How to Sell a Graph: Guidelines for Graph Retailers -- Strip Graphs: Recognition and Scheduling -- Approximating the Traffic Grooming Problem in Tree and Star Networks -- Bounded Arboricity to Determine the Local Structure of Sparse Graphs -- An Implicit Representation of Chordal Comparabilty Graphs in Linear-Time -- Partitioned Probe Comparability Graphs -- Computing Graph Polynomials on Graphs of Bounded Clique-Width -- Generation of Graphs with Bounded Branchwidth -- Minimal Proper Interval Completions -- Monotony Properties of Connected Visible Graph Searching -- Finding Intersection Models of Weakly Chordal Graphs -- A Fully Dynamic Algorithm for the Recognition of P 4-Sparse Graphs -- Clique Graph Recognition Is NP-Complete -- Homogeneity vs. Adjacency: Generalising Some Graph Decomposition Algorithms -- Certifying Algorithms for Recognizing Proper Circular-Arc Graphs and Unit Circular-Arc Graphs -- Graph Labelings Derived from Models in Distributed Computing -- Flexible Matchings -- Simultaneous Graph Embeddings with Fixed Edges -- Approximation Algorithms for Restricted Cycle Covers Based on Cycle Decompositions -- Circular-Perfect Concave-Round Graphs. |
Altri titoli varianti | WG 2006 |
Record Nr. | UNINA-9910484199603321 |
Berlin, : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The Multivariate Algorithmic Revolution and Beyond [[electronic resource] ] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / / edited by Hans L. Bodlaender, Rodney Downey, Fedor V. Fomin, Dániel Marx |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XXII, 506 p. 32 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Computer science Machine theory Discrete Mathematics in Computer Science Theory of Computation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming |
ISBN | 3-642-30891-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465310703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|