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.
Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / / Thomas Lengauer, ed
| Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / / Thomas Lengauer, ed |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 511.8 |
| Altri autori (Persone) | LengauerThomas |
| Soggetto topico | Computer algorithms - Congresses |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Algorithms—ESA '93 |
| Record Nr. | UNISA-996465906103316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg
| Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 228 p.) |
| Disciplina | 572.8/0285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer simulation
Life sciences Computers Bioinformatics Computational biology Molecular biology Simulation and Modeling Life Sciences, general Theory of Computation Computer Appl. in Life Sciences Molecular Medicine |
| ISBN | 3-540-69524-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular computing: From conformational pattern recognition to complex processing networks -- A look at the visual modeling of plants using L-systems -- Bioinformatics and cheminformatics in the drug discovery cycle -- New developments in linking of biological databases and computer-generation of annotation: SWISS-PROT and its computer-annotated supplement TREMBL -- EpoDB: An erythropoiesis gene expression database in progress -- Recent advances in molecular distance geometry -- Three models of gene regulation in E. coli -- A new method to develop highly specific models for regulatory DNA regions -- Towards an object-oriented framework for the modeling of integrated metabolic processes -- TRRD and COMPEL databases on transcription linked to TRANSFACAS as tools for analysis and recognition of regulatory sequences -- Integrating heterogeneous datasets in genomic mapping: Radiation hybrids, YACs, genes and STS markers over the entire human chromosome X -- A clustering approach to Generalized Tree Alignment with application to Alu repeats -- Simple folding model for HP lattice proteins -- Fast protein fold recognition and accurate sequence-structure alignment -- Carbohydrates: Second-class citizens in biomedicine and in bioinformatics? -- Structural constraints and neutrality in RNA -- A systematic approach to finding new lead structures having biological activity -- Visualization and analysis of the complete yeast genome -- Virtual reality modeling for structural biology -- Evolutionary grammars: A grammatical model for genome evolution -- From DNA recombination to DNA computing via formal languages. |
| Record Nr. | UNISA-996465507903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg
| Bioinformatics [[electronic resource] ] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / / edited by Ralf Hofestädt, Thomas Lengauer, Markus Löffler, Dietmar Schomburg |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 228 p.) |
| Disciplina | 572.8/0285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer simulation
Life sciences Computers Bioinformatics Computational biology Molecular biology Simulation and Modeling Life Sciences, general Theory of Computation Computer Appl. in Life Sciences Molecular Medicine |
| ISBN | 3-540-69524-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Molecular computing: From conformational pattern recognition to complex processing networks -- A look at the visual modeling of plants using L-systems -- Bioinformatics and cheminformatics in the drug discovery cycle -- New developments in linking of biological databases and computer-generation of annotation: SWISS-PROT and its computer-annotated supplement TREMBL -- EpoDB: An erythropoiesis gene expression database in progress -- Recent advances in molecular distance geometry -- Three models of gene regulation in E. coli -- A new method to develop highly specific models for regulatory DNA regions -- Towards an object-oriented framework for the modeling of integrated metabolic processes -- TRRD and COMPEL databases on transcription linked to TRANSFACAS as tools for analysis and recognition of regulatory sequences -- Integrating heterogeneous datasets in genomic mapping: Radiation hybrids, YACs, genes and STS markers over the entire human chromosome X -- A clustering approach to Generalized Tree Alignment with application to Alu repeats -- Simple folding model for HP lattice proteins -- Fast protein fold recognition and accurate sequence-structure alignment -- Carbohydrates: Second-class citizens in biomedicine and in bioinformatics? -- Structural constraints and neutrality in RNA -- A systematic approach to finding new lead structures having biological activity -- Visualization and analysis of the complete yeast genome -- Virtual reality modeling for structural biology -- Evolutionary grammars: A grammatical model for genome evolution -- From DNA recombination to DNA computing via formal languages. |
| Record Nr. | UNINA-9910144920303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinformatics: From Genomes to Therapies - Molecular Sequences and Structures
| Bioinformatics: From Genomes to Therapies - Molecular Sequences and Structures |
| Autore | Lengauer Thomas |
| Pubbl/distr/stampa | [Place of publication not identified], : John Wiley & Sons Incorporated, 2007 |
| Altri autori (Persone) | LengauerThomas |
| Soggetto topico |
Biology - General
Biology Health & Biological Sciences |
| ISBN | 3-527-61936-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139381303321 |
Lengauer Thomas
|
||
| [Place of publication not identified], : John Wiley & Sons Incorporated, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinformatics: From Genomes to Therapies - Molecular Sequences and Structures
| Bioinformatics: From Genomes to Therapies - Molecular Sequences and Structures |
| Autore | Lengauer Thomas |
| Pubbl/distr/stampa | [Place of publication not identified], : John Wiley & Sons Incorporated, 2007 |
| Altri autori (Persone) | LengauerThomas |
| Soggetto topico |
Biology - General
Biology Health & Biological Sciences |
| ISBN | 3-527-61936-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910830741603321 |
|
Lengauer Thomas
|
||
| [Place of publication not identified], : John Wiley & Sons Incorporated, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bioinformatics: From Genomes to Therapies - Molecular Sequences and Structures
| Bioinformatics: From Genomes to Therapies - Molecular Sequences and Structures |
| Autore | Lengauer Thomas |
| Pubbl/distr/stampa | [Place of publication not identified], : John Wiley & Sons Incorporated, 2007 |
| Altri autori (Persone) | LengauerThomas |
| Soggetto topico |
Biology - General
Biology Health & Biological Sciences |
| ISBN | 3-527-61936-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911020055803321 |
|
Lengauer Thomas
|
||
| [Place of publication not identified], : John Wiley & Sons Incorporated, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
STACS 90 [[electronic resource] ] : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings / / edited by Christian Choffrut, Thomas Lengauer
| STACS 90 [[electronic resource] ] : 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings / / edited by Christian Choffrut, Thomas Lengauer |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (X, 318 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Computer logic Mathematical logic Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-46945-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A note on the almost-everywhere hierarchy for nondeterministic time -- The ring of k-regular sequences -- Minimal pairs and complete problems -- Hiding instances in multioracle queries -- Counting classes: Thresholds, parity, mods, and fewness -- Playing games of incomplete information -- Caterpillars and context-free languages -- Semi-commutations and algebraic languages -- Towards a process semantics in the logic programming style -- Parallel computations on strings and arrays -- Minimum vertex hulls for polyhedral domains -- Combinatorial rewriting on traces -- Kolmogorov complexity, restricted nondeterminism and generalized spectra -- Relation-sorted algebraic specifications with built-in coercers: Basic notions and results -- Computational power of one-way multihead finite automata -- Updating almost complete trees or one level makes all the difference -- Sorting the sums (xi+yj) in O(n2) comparisons -- Efficient checking of computations -- Hard promise problems and nonuniform complexity -- On the construction of abstract voronoi diagrams -- Approximation of convex figures by pairs of rectangles -- Nonblocking graphs: Greedy algorithms to compute disjoint paths -- Infinite trees and automaton definable relations over ?-words -- Enumerative Combinatorics and Computer Science -- Failures semantics based on interval semiwords is a congruence for refinement -- The analysis of local search problems and their heuristics. |
| Record Nr. | UNISA-996465613103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||