Author:
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1774
Book Description
Nuclear Science Abstracts
Author:
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1774
Book Description
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1774
Book Description
Scientific Bulletin
Author:
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 930
Book Description
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 930
Book Description
Organic Free Radicals
Author: Hanns Fischer
Publisher: Springer Science & Business Media
ISBN: 3642739636
Category : Science
Languages : en
Pages : 246
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642739636
Category : Science
Languages : en
Pages : 246
Book Description
Energy Research Abstracts
Author:
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 782
Book Description
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 782
Book Description
Algorithms - ESA 2003
Author: Giuseppe Di Battista
Publisher: Springer
ISBN: 3540396586
Category : Computers
Languages : en
Pages : 810
Book Description
This book constitutes the refereed proceedings of the 11th Annual European Symposium on Algorithms, ESA 2003, held in Budapest, Hungary, in September 2003. The 66 revised full papers presented were carefully reviewed and selected from 165 submissions. The scope of the papers spans the entire range of algorithmics from design and mathematical analysis issues to real-world applications, engineering, and experimental analysis of algorithms.
Publisher: Springer
ISBN: 3540396586
Category : Computers
Languages : en
Pages : 810
Book Description
This book constitutes the refereed proceedings of the 11th Annual European Symposium on Algorithms, ESA 2003, held in Budapest, Hungary, in September 2003. The 66 revised full papers presented were carefully reviewed and selected from 165 submissions. The scope of the papers spans the entire range of algorithmics from design and mathematical analysis issues to real-world applications, engineering, and experimental analysis of algorithms.
Logic-Based Program Synthesis and Transformation
Author: Manuel V Hermenegildo
Publisher: Springer
ISBN: 331963139X
Category : Computers
Languages : en
Pages : 365
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
Publisher: Springer
ISBN: 331963139X
Category : Computers
Languages : en
Pages : 365
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
Vector and Parallel Processing - VECPAR'98
Author: Jose M.L.M. Palma
Publisher: Springer
ISBN: 3540485163
Category : Computers
Languages : en
Pages : 721
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Vector and Parallel Processing, VECPAR'98, held in Porto, Portugal, in June 1998. The 41 revised full papers presented were carefully selected during two rounds of reviewing and revision. Also included are six invited papers and introductory chapter surveys. The papers are organized in sections on eigenvalue problems and solutions of linear systems; computational fluid dynamics, structural analysis, and mesh partitioning; computing in education; computer organization, programming and benchmarking; image analysis and synthesis; parallel database servers; and nonlinear problems.
Publisher: Springer
ISBN: 3540485163
Category : Computers
Languages : en
Pages : 721
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Vector and Parallel Processing, VECPAR'98, held in Porto, Portugal, in June 1998. The 41 revised full papers presented were carefully selected during two rounds of reviewing and revision. Also included are six invited papers and introductory chapter surveys. The papers are organized in sections on eigenvalue problems and solutions of linear systems; computational fluid dynamics, structural analysis, and mesh partitioning; computing in education; computer organization, programming and benchmarking; image analysis and synthesis; parallel database servers; and nonlinear problems.
Automata, Languages, and Programming
Author: Magnús M. Halldórsson
Publisher: Springer
ISBN: 366247672X
Category : Computers
Languages : en
Pages : 1141
Book Description
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.
Publisher: Springer
ISBN: 366247672X
Category : Computers
Languages : en
Pages : 1141
Book Description
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.
Current Pharmaceutical Design
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 78
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 78
Book Description
Research in Computational Molecular Biology
Author: Russell Schwartz
Publisher: Springer Nature
ISBN: 3030452573
Category : Computers
Languages : en
Pages : 293
Book Description
This book constitutes the proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020. The 13 regular and 24 short papers presented were carefully reviewed and selected from 206 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.
Publisher: Springer Nature
ISBN: 3030452573
Category : Computers
Languages : en
Pages : 293
Book Description
This book constitutes the proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020. The 13 regular and 24 short papers presented were carefully reviewed and selected from 206 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.