Author: American Mathematical Society
Publisher:
ISBN:
Category :
Languages : en
Pages : 224
Book Description
Mathematical aspects of computer science : [proceedings of a Symposium in Applied Mathematics of the American Mathematical Society ; held in New York City, April 5 - 7, 1966]
Author: American Mathematical Society
Publisher:
ISBN:
Category :
Languages : en
Pages : 224
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 224
Book Description
Mathematical Aspects of Computer Science
Author: Jacob T. Schwartz
Publisher: American Mathematical Soc.
ISBN: 9780821867280
Category :
Languages : en
Pages : 234
Book Description
Publisher: American Mathematical Soc.
ISBN: 9780821867280
Category :
Languages : en
Pages : 234
Book Description
Foundations of Software Science and Computation Structures
Author: Naoki Kobayashi
Publisher: Springer Nature
ISBN: 3031572319
Category :
Languages : en
Pages : 283
Book Description
Publisher: Springer Nature
ISBN: 3031572319
Category :
Languages : en
Pages : 283
Book Description
Mathematical Aspects of Computer and Information Sciences
Author: Ilias S. Kotsireas
Publisher: Springer
ISBN: 331932859X
Category : Computers
Languages : en
Pages : 628
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015. The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session.
Publisher: Springer
ISBN: 331932859X
Category : Computers
Languages : en
Pages : 628
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015. The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session.
The Influence of Computing on Mathematical Research and Education
Author: Joseph P. LaSalle
Publisher: American Mathematical Soc.
ISBN: 0821813269
Category : Mathematics
Languages : en
Pages : 215
Book Description
Publisher: American Mathematical Soc.
ISBN: 0821813269
Category : Mathematics
Languages : en
Pages : 215
Book Description
Systems and Computer Science
Author: John F Hart
Publisher: University of Toronto Press
ISBN: 1487589824
Category : Education
Languages : en
Pages : 264
Book Description
This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The primary purposes of the Conference were the promotion of research and the development of the teaching of computer science in Canadian universities. The papers focus attention on some of the concepts of Computer Science as a new field of study and at the same time provide a background for scientists looking at the subject for the first time. The chief developments in computer science have been concerned with the "applied" rather than the "pure" areas of the field: numerical analysis, applied statistics and operations research, and data processing. But there is something more to computers than the physical components and this book represents an attempt to correct the imbalance between "applied" and "pure" by drawing attention to certain theoretical aspects of computer and information science. Among the topics discussed are the theory of finite and infinite automata, aspects of formal language theory, heuristic and non-heuristic approaches to theorem proving and the mathematical formulation of the theory of general systems. There are also references to the problems of machine design, to software systems including higher-level languages, to multiple control computer models and to applied systems. This collection of papers will appeal first to graduate students and professors in Computer Science. It will also be of interest to computer scientists in industry and in government and university research groups and to the scientific public interested in discovering some of the principal ingredients and directions of the computer and information sciences.
Publisher: University of Toronto Press
ISBN: 1487589824
Category : Education
Languages : en
Pages : 264
Book Description
This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The primary purposes of the Conference were the promotion of research and the development of the teaching of computer science in Canadian universities. The papers focus attention on some of the concepts of Computer Science as a new field of study and at the same time provide a background for scientists looking at the subject for the first time. The chief developments in computer science have been concerned with the "applied" rather than the "pure" areas of the field: numerical analysis, applied statistics and operations research, and data processing. But there is something more to computers than the physical components and this book represents an attempt to correct the imbalance between "applied" and "pure" by drawing attention to certain theoretical aspects of computer and information science. Among the topics discussed are the theory of finite and infinite automata, aspects of formal language theory, heuristic and non-heuristic approaches to theorem proving and the mathematical formulation of the theory of general systems. There are also references to the problems of machine design, to software systems including higher-level languages, to multiple control computer models and to applied systems. This collection of papers will appeal first to graduate students and professors in Computer Science. It will also be of interest to computer scientists in industry and in government and university research groups and to the scientific public interested in discovering some of the principal ingredients and directions of the computer and information sciences.
Mathematical Aspects of Computer and Information Sciences
Author: Johannes Blömer
Publisher: Springer
ISBN: 3319724533
Category : Computers
Languages : en
Pages : 462
Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.
Publisher: Springer
ISBN: 3319724533
Category : Computers
Languages : en
Pages : 462
Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.
National Union Catalog
Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032
Book Description
Includes entries for maps and atlases.
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032
Book Description
Includes entries for maps and atlases.
Books in Series
Author:
Publisher:
ISBN:
Category : Monographic series
Languages : en
Pages : 1814
Book Description
Vols. for 1980- issued in three parts: Series, Authors, and Titles.
Publisher:
ISBN:
Category : Monographic series
Languages : en
Pages : 1814
Book Description
Vols. for 1980- issued in three parts: Series, Authors, and Titles.
Reviews in Graph Theory
Author: William G. Brown
Publisher:
ISBN:
Category : Graph theory
Languages : en
Pages : 350
Book Description
Publisher:
ISBN:
Category : Graph theory
Languages : en
Pages : 350
Book Description