Mathematical Foundations of Computer Science 2006

Mathematical Foundations of Computer Science 2006

Author: Rastislav Královic

Publisher: Springer Science & Business Media

Published: 2006-08-11

Total Pages: 827

ISBN-13: 3540377913

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.


Mathematical Foundations of Computer Science 1996

Mathematical Foundations of Computer Science 1996

Author: Wojciech Penczek

Publisher: Springer Science & Business Media

Published: 1996-08-07

Total Pages: 614

ISBN-13: 9783540615507

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.


Mathematical Foundations of Programming Language Semantics

Mathematical Foundations of Programming Language Semantics

Author: Michael Main

Publisher: Springer Science & Business Media

Published: 1988-03-09

Total Pages: 652

ISBN-13: 9783540190202

DOWNLOAD EBOOK

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.


Mathematical Foundations of Computer Science 1997

Mathematical Foundations of Computer Science 1997

Author: Igor Privara

Publisher: Springer Science & Business Media

Published: 1997-08-13

Total Pages: 536

ISBN-13: 9783540634379

DOWNLOAD EBOOK

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.


A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences

A Guide to the Literature on Semirings and their Applications in Mathematics and Information Sciences

Author: K. Glazek

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 394

ISBN-13: 9401599645

DOWNLOAD EBOOK

This volume presents a short guide to the extensive literature concerning semir ings along with a complete bibliography. The literature has been created over many years, in variety of languages, by authors representing different schools of mathematics and working in various related fields. In many instances the terminology used is not universal, which further compounds the difficulty of locating pertinent sources even in this age of the Internet and electronic dis semination of research results. So far there has been no single reference that could guide the interested scholar or student to the relevant publications. This book is an attempt to fill this gap. My interest in the theory of semirings began in the early sixties, when to gether with Bogdan W ~glorz I tried to investigate some algebraic aspects of compactifications of topological spaces, semirings of semicontinuous functions, and the general ideal theory for special semirings. (Unfortunately, local alge braists in Poland told me at that time that there was nothing interesting in investigating semiring theory because ring theory was still being developed). However, some time later we became aware of some similar investigations hav ing already been done. The theory of semirings has remained "my first love" ever since, and I have been interested in the results in this field that have been appearing in literature (even though I have not been active in this area myself).


Histories of Computing

Histories of Computing

Author: Michael Sean Mahoney

Publisher: Harvard University Press

Published: 2011-06-20

Total Pages: 261

ISBN-13: 0674055683

DOWNLOAD EBOOK

Computer technology is pervasive in the modern world, its role ever more important as it becomes embedded in a myriad of physical systems and disciplinary ways of thinking. The late Michael Sean Mahoney was a pioneer scholar of the history of computing, one of the first established historians of science to take seriously the challenges and opportunities posed by information technology to our understanding of the twentieth century. MahoneyÕs work ranged widely, from logic and the theory of computation to the development of software and applications as craft-work. But it was always informed by a unique perspective derived from his distinguished work on the history of medieval mathematics and experimental practice during the Scientific Revolution. His writings offered a new angle on very recent events and ideas and bridged the gaps between academic historians and computer scientists. Indeed, he came to believe that the field was irreducibly pluralistic and that there could be only histories of computing. In this collection, Thomas Haigh presents thirteen of MahoneyÕs essays and papers organized across three categories: historiography, software engineering, and theoretical computer science. His introduction surveys MahoneyÕs work to trace the development of key themes, illuminate connections among different areas of his research, and put his contributions into context. The volume also includes an essay on Mahoney by his former students Jed Z. Buchwald and D. Graham Burnett. The result is a landmark work, of interest to computer professionals as well as historians of technology and science.