Mike Hinchey (auth.): mencari di situs web Z-Library

Akses gratis ke pengetahuan dan budaya.

Don't use scam websites

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (13)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Experience from the DARPA Urban Challenge

Experience from the DARPA Urban Challenge

Springer London

Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 8.08 MB

0 / 0

english, 2012

2

Experience from the DARPA Urban Challenge

Experience from the DARPA Urban Challenge

Springer London

Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 9.31 MB

0 / 0

english, 2012

3

Conquering Complexity

Conquering Complexity

Springer-Verlag London

José Luiz Fiadeiro (auth.), Mike Hinchey, Lorcan Coyle (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 9.54 MB

0 / 0

english, 2012

4

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 3.76 MB

0 / 0

english, 2011

5

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 4.54 MB

0 / 4.0

english, 2011

6

Autonomy Requirements Engineering for Space Missions

Autonomy Requirements Engineering for Space Missions

Springer International Publishing

Emil Vassev, Mike Hinchey (auth.)

Tahun:

2014

Bahasa:

english

File:

PDF, 4.29 MB

0 / 0

english, 2014

7

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 5.19 MB

0 / 0

english, 2012

8

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann (auth.), Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 7.57 MB

0 / 0

english, 2010

9

Biologically-Inspired Collaborative Computing: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy

Biologically-Inspired Collaborative Computing: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy

Marco Dorigo (auth.), Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 4.31 MB

0 / 0

english, 2008

10

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 7.80 MB

0 / 0

english, 2003

11

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 3.87 MB

0 / 0

english, 2011

12

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 7.74 MB

0 / 0

english, 2012

13

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 9.14 MB

0 / 0

english, 2003