2022

Unlocking Agile's Missed Potential

Webber, Robert



 

2022

Unlocking Agile's missed potential

Webber, Robert (Executive), author.

Hoboken, New Jersey : Wiley-IEEE Computer Society Pr, [2022]

 

2021

Advances in artificial intelligence and security : 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings.

ICAIS (Conference) (7th : 2021 : Dublin, Ireland)

Cham, Switzerland : Springer, [2021]

 

2017

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system

Boldo, Sylvie, author.

London : ISTE Press ; Oxford, UK : Elsevier, 2017

 

2016

Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday

Cham : Springer, 2016

 

2015

Language production, cognition, and the lexicon

Cham : Springer, [2015]

 

2014

Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

International Conference on Formal Engineering Methods (16th : 2014 : Luxembourg, Luxembourg)

Cham : Springer, 2014

 

2014

Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France,

European Symposium on Programming (23rd : 2014 : Grenoble, France)

Heidelberg : Springer, 2014

 

2013

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

Chlipala, Adam, 1981-

Cambridge, MA : The MIT Press, [2013]

 

2013

Governing the provision of ecosystem services

 

2012

Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and

AISC (Conference) (11th : 2012 : Bremen, Germany)



 

2010

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings

International Conference on Formal Engineering Methods (12th : 2010 : Shanghai, China)



 

2009

Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17-20, 2009

TPHOLs (22nd : 2009 : Munich, Germany)



 

2008

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings

Conference on Computability in Europe (4th : 2008 : Athens, Greece)



 

2006

Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

 

2006

Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings

Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Fuji-Susono, Japan)



 

1994

Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16-22, 1994 Proceedings

LPAR (Conference) (5th : 1994 : Kiev, Ukraine)