Mathematical Foundations of Computer Science 1981
Author: J. Gruska
Publisher: Springer Science & Business Media
Published: 1981-08
Total Pages: 608
ISBN-13: 9783540108566
DOWNLOAD EBOOKRead and Download eBook Full
Author: J. Gruska
Publisher: Springer Science & Business Media
Published: 1981-08
Total Pages: 608
ISBN-13: 9783540108566
DOWNLOAD EBOOKAuthor: Jozef Gruska
Publisher: Springer Science & Business Media
Published: 1986-08-01
Total Pages: 810
ISBN-13: 9783540167839
DOWNLOAD EBOOKAuthor: Rastislav Královic
Publisher: Springer Science & Business Media
Published: 2006-08-11
Total Pages: 827
ISBN-13: 3540377913
DOWNLOAD EBOOKThis 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.
Author: Wojciech Penczek
Publisher: Springer Science & Business Media
Published: 1996-08-07
Total Pages: 614
ISBN-13: 9783540615507
DOWNLOAD EBOOKThis 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.
Author: Michael Main
Publisher: Springer Science & Business Media
Published: 1988-03-09
Total Pages: 652
ISBN-13: 9783540190202
DOWNLOAD EBOOKThis 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.
Author: Igor Privara
Publisher: Springer Science & Business Media
Published: 1997-08-13
Total Pages: 536
ISBN-13: 9783540634379
DOWNLOAD EBOOKThis 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.
Author: J. Staunstrup
Publisher: Springer Science & Business Media
Published: 1982-04
Total Pages: 436
ISBN-13: 9783540114901
DOWNLOAD EBOOKAuthor: K. Glazek
Publisher: Springer Science & Business Media
Published: 2013-06-29
Total Pages: 394
ISBN-13: 9401599645
DOWNLOAD EBOOKThis 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).
Author: P. Deussen
Publisher: Springer
Published: 1981-03-01
Total Pages: 276
ISBN-13: 9783540105763
DOWNLOAD EBOOKAuthor: Michael Sean Mahoney
Publisher: Harvard University Press
Published: 2011-06-20
Total Pages: 261
ISBN-13: 0674055683
DOWNLOAD EBOOKComputer 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.