2000 - 2009, "Computer-Controlled Systems"

2 uitgaven gevonden

• Computer Aided Systems Theory - EUROCAST 2005 Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia Engelstalig Paperback 9783540290025 September 2005 634 pagina's Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001) and Las Palmas (2003) in addition... Vanaf 123,00 Bekijk exemplaren
• Logic in Computer Science Michael (Imperial College of Science Huth, Mark (University of Birmingham) Ryan Engelstalig Paperback 9780521543101 Augustus 2004 440 pagina's This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical... Vanaf 67,99 Bekijk exemplaren