Leszek Pacholski - Böcker
Visar alla böcker från författaren Leszek Pacholski. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
SOFSEM 2001: Theory and Practice of Informatics
28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings
Häftad, Engelska, 2001
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2001, held in Piestany, Slovak Republic, in November/December 2001. Teh volume presents 12 invited lectures and one keynote paper by leading researchers together with 18 revised full research papers selected from 46 submissions. The papers span the whole range of informatics with emphasis on trends in informatics, enabling technologies for global computing, and practical systems engineering.
Computer Science Logic
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Häftad, Engelska, 1995
1 069 kr
Skickas inom 10-15 vardagar
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Mathematical Foundations of Computer Science 1999
24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Häftad, Engelska, 1999
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99, held in Szklarska Poreba, Poland, in September 1999.The 37 revised full papers presented together with four invited contributions were carefully selected from 68 submissions. The papers are organized in sections on computing over reals, compression techniques, foundations of programming, complexity and algorithms, model checking, distributed computing, functional programming, automata, security, logic, counting problems, processes and bisimulation, graph algorithms, and type theory.