Top 1200 herbert denmark PDF Book Page 48

book image

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)
·644 Pages
·2002
·9.298 MB

book image

Mathematics and the Real World: Proceedings of an International Workshop Roskilde University Centre (Denmark), 1978

Bernhelm Booss, Mogens Niss (auth.), Bernhelm Booss, Mogens Niss (eds.)
·142 Pages
·1979
·4.139 MB

book image

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Bob Coecke, Ross Duncan (auth.), Robert Glück, Tetsuo Yokoyama (eds.)
·250 Pages
·2013
·4.163 MB

book image

SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings

Jean-Louis Camus, Thierry Le Sergent (auth.), Rick Reed, Jeanne Reed (eds.)
·449 Pages
·2001
·4.682 MB

book image

¿Tienen las Américas una historia común? Herbert E. Bolton, las fronteras y la Gran América

Horacio Crespo ; Andrés Kozel ; Alexander Betancourt (coords.)
·630 Pages
·2018
·7.641 MB

book image

Flexible Query Answering Systems: 5th International Conference, FQAS 2002 Copenhagen, Denmark, October 27–29, 2002 Proceedings

Giorgos Akrivas, Manolis Wallace, Giorgos Stamou (auth.), Jaime G. Carbonell, Jörg Siekmann, Troels Andreasen, Henning Christiansen, Amihai Motro, Henrik Legind Larsen (eds.)
·396 Pages
·2002
·14.287 MB

book image

Tunneling Phenomena in Solids: Lectures presented at the 1967/NATO Advanced Study Institute at Risö, Denmark

E. O. Kane (auth.), Elias Burstein, Stig Lundqvist (eds.)
·573 Pages
·1969
·7.012 MB

book image

Flexible Query Answering Systems: Third International Conference, FQAS'98 Roskilde, Denmark, May 13–15, 1998 Proceedings

Slim Abdennadher, Heribert Schütz (auth.), Troels Andreasen, Henning Christiansen, Henrik Legind Larsen (eds.)
·400 Pages
·1998
·5.44 MB