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.

Biblioteca

MARC Lista (tabellare)
Algorithms for Computational Biology [[electronic resource] ] : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth
Algorithms for Computational Biology [[electronic resource] ] : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (X, 155 p. 49 illus., 2 illus. in color.)
Disciplina 004
Collana Lecture Notes in Bioinformatics
Soggetto topico User interfaces (Computer systems)
Information storage and retrieval
Application software
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
ISBN 3-319-21233-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Genetic Processing -- Generalized Hultman Numbers and the Distribution of Multi-break Distances -- Implicit Transpositions in Shortest DCJ Scenarios -- Constraint-Based Genetic -- Compilation -- Molecular Recognition/Prediction P2RANK: Knowledge-Based Ligand Binding Site Prediction Using Aggregated Local Features -- StreaM - A Stream-Based Algorithm for Counting Motifs in Dynamic Graphs -- Convolutional LSTM Networks for Subcellular Localization of Proteins -- Phylogenetics -- Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees Based on Subsets of Chloroplastic Core Genes -- Constructing and Employing Tree Alignment Graphs for Phylogenetic Synthesis -- A More Practical Algorithm for the Rooted Triplet Distance -- Likelihood-Based Inference of Phylogenetic Networks from Sequence Data by PhyloDAG -- Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. .
Record Nr. UNISA-996204582403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth
Algorithms for Computational Biology : Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / / edited by Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (X, 155 p. 49 illus., 2 illus. in color.)
Disciplina 004
Collana Lecture Notes in Bioinformatics
Soggetto topico User interfaces (Computer systems)
Information storage and retrieval
Application software
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
ISBN 3-319-21233-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Genetic Processing -- Generalized Hultman Numbers and the Distribution of Multi-break Distances -- Implicit Transpositions in Shortest DCJ Scenarios -- Constraint-Based Genetic -- Compilation -- Molecular Recognition/Prediction P2RANK: Knowledge-Based Ligand Binding Site Prediction Using Aggregated Local Features -- StreaM - A Stream-Based Algorithm for Counting Motifs in Dynamic Graphs -- Convolutional LSTM Networks for Subcellular Localization of Proteins -- Phylogenetics -- Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees Based on Subsets of Chloroplastic Core Genes -- Constructing and Employing Tree Alignment Graphs for Phylogenetic Synthesis -- A More Practical Algorithm for the Rooted Triplet Distance -- Likelihood-Based Inference of Phylogenetic Networks from Sequence Data by PhyloDAG -- Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver. .
Record Nr. UNINA-9910483106603321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algorithms for Computational Biology [[electronic resource] ] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Algorithms for Computational Biology [[electronic resource] ] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XIV, 275 p. 76 illus.)
Disciplina 570.285
Collana Lecture Notes in Bioinformatics
Soggetto topico Bioinformatics
Algorithms
Computer science—Mathematics
Data mining
Biomathematics
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Data Mining and Knowledge Discovery
Mathematical and Computational Biology
ISBN 3-319-07953-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996199995303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithms for Computational Biology : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Algorithms for Computational Biology : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XIV, 275 p. 76 illus.)
Disciplina 570.285
Collana Lecture Notes in Bioinformatics
Soggetto topico Bioinformatics
Algorithms
Computer science—Mathematics
Data mining
Biomathematics
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Data Mining and Knowledge Discovery
Mathematical and Computational Biology
ISBN 3-319-07953-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910483690103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Ethical and Social Impacts of Information and Communication Technology : 22nd International Conference, ETHICOMP 2025, Lisbon, Portugal, September 17-19, 2025, Proceedings
Ethical and Social Impacts of Information and Communication Technology : 22nd International Conference, ETHICOMP 2025, Lisbon, Portugal, September 17-19, 2025, Proceedings
Autore Alvarez Isabel
Edizione [1st ed.]
Pubbl/distr/stampa Cham : , : Springer, , 2025
Descrizione fisica 1 online resource (899 pages)
Disciplina 303.4833
Altri autori (Persone) Arias-OlivaMario
DediuAdrian-Horia
SilvaNuno
Collana Lecture Notes in Computer Science Series
ISBN 3-032-01429-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996678677203316
Alvarez Isabel  
Cham : , : Springer, , 2025
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Language and Automata Theory and Applications [[electronic resource] ] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe
Language and Automata Theory and Applications [[electronic resource] ] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XXII, 618 p. 75 illus. in color.)
Disciplina 001.64201
Collana Theoretical Computer Science and General Issues
Soggetto topico Artificial intelligence
Computer science
Machine theory
Algorithms
Computer science—Mathematics
Discrete mathematics
Artificial Intelligence
Theory of Computation
Formal Languages and Automata Theory
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
ISBN 3-319-30000-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466014203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe
Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XXII, 618 p. 75 illus. in color.)
Disciplina 001.64201
Collana Theoretical Computer Science and General Issues
Soggetto topico Artificial intelligence
Computer science
Machine theory
Algorithms
Computer science—Mathematics
Discrete mathematics
Artificial Intelligence
Theory of Computation
Formal Languages and Automata Theory
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
ISBN 3-319-30000-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910484302803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Language and Automata Theory and Applications [[electronic resource] ] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
Language and Automata Theory and Applications [[electronic resource] ] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XV, 754 p. 140 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Algorithms
Computer science—Mathematics
Discrete mathematics
Artificial intelligence
Theory of Computation
Formal Languages and Automata Theory
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Artificial Intelligence
ISBN 3-319-15579-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata.
Record Nr. UNISA-996198744203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XV, 754 p. 140 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Algorithms
Computer science—Mathematics
Discrete mathematics
Artificial intelligence
Theory of Computation
Formal Languages and Automata Theory
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Artificial Intelligence
ISBN 3-319-15579-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata.
Record Nr. UNINA-9910483856203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Language and Automata Theory and Applications [[electronic resource] ] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe
Language and Automata Theory and Applications [[electronic resource] ] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XIV, 614 p. 108 illus.)
Disciplina 001.64201
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer science—Mathematics
Discrete mathematics
Machine theory
Algorithms
Artificial intelligence
Theory of Computation
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Formal Languages and Automata Theory
Artificial Intelligence
ISBN 3-319-04921-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996205177203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui