wyszukanych pozycji: 5
Advanced Functional Programming: 4th International School, Afp 2002, Oxford, Uk, August 19-24, 2002, Revised Lectures
ISBN: 9783540401322 / Angielski / Miękka / 2003 / 216 str. Termin realizacji zamówienia: ok. 20 dni roboczych. MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.
MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.
|
|
cena:
195,87 zł |
Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
ISBN: 9783540645917 / Angielski / Miękka / 1998 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text presents the refereed proceedings of the 4th International Conference on Mathematics of Program Construction (MPC'98), held in Marstrand in Sweden. The 17 revised full papers presented were selected from 57 submissions. Also included are three invited papers. The volume is devoted to the use of clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware. Various approaches to formal methods for systems design and analysis are covered.
This text presents the refereed proceedings of the 4th International Conference on Mathematics of Program Construction (MPC'98), held in Marstrand in ...
|
|
cena:
195,87 zł |
Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text
ISBN: 9783540594512 / Angielski / Miękka / 1995 / 336 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995.
The last few years have seen important new developments in functional programming techniques: concepts, such as monads, type classes, and several new special purpose libraries of higher-order functions are new and powerful methods for structuring programs. This book brings programmers, software engineers and computer scientists up-to-date with the latest techniques. Most tutorial contributions contain exercises to... This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, S...
|
|
cena:
195,87 zł |
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
ISBN: 9781402073748 / Angielski / Twarda / 2003 / 246 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only... Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of pol... |
|
cena:
391,77 zł |
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and
ISBN: 9783642313738 / Angielski / Miękka / 2012 / 473 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012 and more.
Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th S...
|
|
cena:
195,87 zł |