Home Advanced Search

Advanced Search - Page 1

Program Development by Refinement: Case Studies Using the B Method

PDF
English
Year: 1999
Author: Ken A. Robinson (auth.), Emil Sekerinski, Kaisa Sere (eds.)

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

PDF
English
Year: 2008
Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

PDF
English
Year: 2002
Author: Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

Fast Software Encryption: 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers

PDF
English
Year: 2012
Author: Kaisa Nyberg (auth.), Anne Canteaut (eds.)

Multiobjective Optimization: Interactive and Evolutionary Approaches

PDF
English
Year: 2008
Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)

Multiobjective Optimization: Interactive and Evolutionary Approaches

PDF
English
Year: 2008
Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)

Multiobjective Optimization: Interactive and Evolutionary Approaches

PDF
English
Year: 2008
Author: Kaisa Miettinen (auth.), Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Słowiński (eds.)

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings

DJVU
English
Year: 1994
Author: R. J. R. Back, K. Sere (auth.), Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)

Out of Our Minds: Learning to Be Creative

EPUB
English
Year: 2017
Author: Ken Robinson

Out of Our Minds: Learning to be Creative

PDF
English
Year: 2011
Author: Ken Robinson