Author books / Книги автора Jim Davies » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Jim Davies

book Imagination

epub

Author: Jim Davies
Language: English
Year: 2019

00

15.02.2024

0

0

book Being the Person Your Dog Thinks You Are: The Science of a Better You

Being the Person Your Dog Thinks You Are: The Science of a Better You

epub

Author: Jim Davies
Language: English
Year: 2021

00

07.02.2024

0

0

book Engineering Agile Big-Data Systems

Engineering Agile Big-Data Systems

pdf

Author: Christian Dirschl Andreas Koller Kevin Feeney Jim Davies James Welch Sebastian Hellman
Language: English
Year: 2018

00

07.02.2024

0

0

book Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

pdf

Author: Michael Leuschel Jens Bendisposto (auth.) Jim Davies Leila Silva Adenilso Simao (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Riveted : the science of why jokes make us laugh, movies make us cry, and religion makes us feel one with the universe

Riveted : the science of why jokes make us laugh, movies make us cry, and religion makes us feel one with the universe

epub

Author: Jim Davies
Language: English
Year: 2014

00

29.01.2024

0

0

book FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

pdf

Author: C. A. R. Hoare (auth.) Jeannette M. Wing Jim Woodcock Jim Davies (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

pdf

Author: Pascal Poizat Christine Choppy Jean-Claude Royer (auth.) Jeannette M. Wing Jim Woodcock Jim Davies (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

pdf

Author: Michael Leuschel Jens Bendisposto (auth.) Jim Davies Leila Silva Adenilso Simao (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Specification and proof in real-time CSP

Specification and proof in real-time CSP

pdf

Author: Jim Davies
Language: English
Year: 1993

00

27.01.2024

0

0

book Developments in Services of General Interest

Developments in Services of General Interest

pdf

Author: Erika Szyszczak (auth.) Erika Szyszczak Jim Davies Mads Andenæs Tarjei Bekkedal (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0