Download or read book Mathematical Foundations of Computer Science 1976 written by Antoni Mazurkiewicz and published by Springer Science & Business Media. This book was released on 1976-07 with total page 630 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mathematical Foundations of Computer Science 1977 written by J. Gruska and published by Springer Science & Business Media. This book was released on 1977-08 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mathematical Foundations of Computer Science 1981 written by J. Gruska and published by Springer Science & Business Media. This book was released on 1981-08 with total page 608 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mathematical Foundations of Computer Science 1978 written by Józef Winkowski and published by Springer Science & Business Media. This book was released on 1978-08 with total page 570 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mathematical Foundations of Computer Science 1999 written by Miroslaw Kutylowski and published by Springer. This book was released on 2007-07-16 with total page 464 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Rajsbaum, and Mads Tofte, and 37 accepted papers chosen out of 68 submissions. The volume contains all accepted contributed papers, and three invited papers. The contributed papers have been selected for presentation based on their scientific quality, novelty, and interest for the general audience of MFCS par ticipants. Each paper has been reviewed by at least three independent referees — PC members and/or sub-referees appointed by them. The papers were se lected for presentation during a fully electronic virtual meeting of the program committee on May 7, 1999. The virtual PC meeting was supported by software written by Artur Zgoda, Ph.D. student at the University of Wroclaw. The entire communication and access to quite a sensitive database at PC headquarters in Wroclaw was secured by cryptographic protocols based on technology of certificates.

Download or read book Program Construction written by F.L. Bauer and published by Springer. This book was released on 2005-11-23 with total page 661 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Algebra written by J. Calmet and published by Springer Science & Business Media. This book was released on 1982-10-08 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book A Concurrent Pascal Compiler for Minicomputers written by A. C. Hartmann and published by Springer Science & Business Media. This book was released on 1977-06 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book CONPAR 81 written by Wolfgang Händler and published by Springer Science & Business Media. This book was released on 1981-06 with total page 526 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Programming Language Ada written by Honeywell and published by Springer. This book was released on 2005-06-29 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Design of Dynamic Data Structures written by Mark H. Overmars and published by Springer Science & Business Media. This book was released on 1983 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt: In numerous computer applications there is a need of storing large sets of objects in such a way that some questions about those objects can be answered efficiently. Data structures that store such sets of objects can be either static (built for a fixed set of objects) or dynamic (insertions of new objects and deletions of existing objects can be performed). Especially for more complex searching problems as they arise in such fields as computational geometry, database design and computer graphics, only static data structures are available. This book aims at remedying this lack of flexibility by providing a number of general techniques for turning static data structures for searching problems into dynamic structures. Although the approach is basically theoretical, the techniques offered are often practically applicable. The book is written in such a way that it is readable for those who have some elementary knowledge of data structures and algorithms. Although this monograph was first published in 1983, it is still unique as a general treatment of methods for constructing dynamic data structures.

Download or read book CONLAN Report written by R. Piloty and published by Springer Science & Business Media. This book was released on 1983-03 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Coroutines written by C.D. Marlin and published by Springer Science & Business Media. This book was released on 1980-10 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Using Sophisticated Models in Resolution Theorem Proving written by David M. Sandford and published by Springer Science & Business Media. This book was released on 1980-08 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Towards a Formal Description of Ada written by D Bjorner and published by Springer Science & Business Media. This book was released on 1980-12 with total page 650 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Boolean Calculus of Differences written by A. Thayse and published by Springer Science & Business Media. This book was released on 1981-02 with total page 158 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book CAAP 81 written by E. Astesiano and published by Springer Science & Business Media. This book was released on 1981-06 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: