Cărți de Jeremy Gibbons

Cornerstones of Computing

Autor Jeremy Gibbons et al.

26 mar 2003

Preț: 472^.91 lei 591^.14 lei

6-8 săpt.

-20%

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5846

Editat de Jeremy Gibbons et al.

26 oct 2009

Preț: 321^.35 lei 401^.69 lei

6-8 săpt.

-20%

Autor Richard Bird et al.

8 iul 2020

Preț: 399^.86 lei 499^.82 lei

6-8 săpt.

-20%

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Lecture Notes in Computer Science, nr. 9715

Editat de Jeremy Gibbons et al.

29 mar 2018

Preț: 321^.04 lei 401^.30 lei

6-8 săpt.

-20%

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8315

Editat de Jeremy Gibbons et al.

27 ian 2014

Preț: 326^.03 lei 407^.54 lei

6-8 săpt.

-20%

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

IFIP Advances in Information and Communication Technology, nr. 115

Editat de Jeremy Gibbons et al.

8 mar 2013

Preț: 630^.47 lei 788^.09 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 7470

Editat de Jeremy Gibbons

10 iul 2012

Preț: 296^.53 lei 370^.66 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7342

Editat de Jeremy Gibbons et al.

18 iun 2012

Preț: 331^.04 lei 413^.81 lei

6-8 săpt.

-20%

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Lecture Notes in Computer Science, nr. 4719

Editat de Roland Backhouse et al.

30 noi 2007

Preț: 331^.22 lei 414^.03 lei

6-8 săpt.

-20%

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4591

Editat de Jim Davies et al.

22 iun 2007

Preț: 650^.69 lei 813^.35 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 2793

Editat de Roland Backhouse et al.

29 sep 2003

Preț: 297^.51 lei 371^.88 lei

6-8 săpt.

-20%

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Lecture Notes in Computer Science, nr. 2297

Editat de Roland Backhouse et al.

17 apr 2002

Preț: 331^.04 lei 413^.81 lei

6-8 săpt.

-20%

Cărți de Jeremy Gibbons

The Fun of Programming

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Algorithm Design with Haskell

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Generic and Indexed Programming

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Generic Programming: Advanced Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Papetărie, jocuri, reviste

Cărți de Jeremy Gibbons