1. |
|
- Hutchison, David. (författare)
-
Evolvable Systems: From Biology to Hardware [Elektronisk resurs] 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Gregory S. Hornby, Lukáš Sekanina, Pauline C. Haddow.
- 2008
- E-bok
|
|
2. |
|
- Hutchison, David. (författare)
-
Smart Graphics [Elektronisk resurs] 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Marc Christie.
- 2008
- E-bok
|
|
3. |
|
- Hutchison, David. (författare)
-
Computer Aided Verification [electronic resource] 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Aarti Gupta, Sharad Malik.
- 2008
- E-bok
|
|
4. |
|
- Hutchison, David. (författare)
-
Theorem Proving in Higher Order Logics [electronic resource] 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.
- 2008
- E-bok
|
|
5. |
|
- Hutchison, David. (författare)
-
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support [electronic resource] Results of the IMPROVE Project / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Manfred Nagl, Wolfgang Marquardt.
- 2008
- E-bok
|
|
6. |
|
- Hutchison, David. (författare)
-
CONCUR 2008 - Concurrency Theory [Elektronisk resurs] 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Franck Breugel, Marsha Chechik.
- 2008
- E-bok
|
|
7. |
|
- Hutchison, David. (författare)
-
Computer Science Logic [Elektronisk resurs] 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Kaminski, Simone Martini.
- 2008
- E-bok
|
|
8. |
|
- Hutchison, David. (författare)
-
Verified Software: Theories, Tools, Experiments [Elektronisk resurs] Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Natarajan Shankar, Jim Woodcock.
- 2008
- E-bok
|
|
9. |
|
- Hutchison, David. (författare)
-
Runtime Verification [Elektronisk resurs] 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Martin Leucker.
- 2008
- E-bok
|
|
10. |
|
- Hutchison, David. (författare)
-
Static Analysis [electronic resource] 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, María Alpuente, Germán Vidal.
- 2008
- E-bok
|
|