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: Carol Critchlow
Publisher:
Published: 2011
Total Pages: 256
ISBN-13:
DOWNLOAD EBOOKFoundations of Computation is a free textbook for a one-semester course in theoretical computer science. It has been used for several years in a course at Hobart and William Smith Colleges. The course has no prerequisites other than introductory computer programming. The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.
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 EBOOK