Mike Hinchey: mencari di tapak web Z-Library

Akses percuma kepada pengetahuan dan budaya.

Don't use scam websites

Buku (19)
Yang paling popular
Senarai
- Senarai
- Jadual

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

Fail:

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

Fail:

PDF, 9.31 MB

0 / 0

english, 2012

3

Ethical and Legal Aspects of Computing

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

Tahun:

2024

Bahasa:

english

Fail:

PDF, 5.90 MB

0 / 4.0

english, 2024

4

Conquering Complexity

Conquering Complexity

Springer-Verlag London

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

Tahun:

2012

Bahasa:

english

Fail:

PDF, 9.54 MB

0 / 0

english, 2012

5

Conquering Complexity

Conquering Complexity

Mike Hinchey, Lorcan Coyle

Tahun:

2012

Bahasa:

english

Fail:

PDF, 10.03 MB

0 / 0

english, 2012

6

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

Fail:

PDF, 3.76 MB

0 / 0

english, 2011

7

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

Fail:

PDF, 4.54 MB

0 / 4.0

english, 2011

8

Autonomy Requirements Engineering for Space Missions

Autonomy Requirements Engineering for Space Missions

Springer International Publishing

Emil Vassev, Mike Hinchey (auth.)

Tahun:

2014

Bahasa:

english

Fail:

PDF, 4.29 MB

0 / 0

english, 2014

9

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

Fail:

PDF, 5.19 MB

0 / 0

english, 2012

10

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

Tahun:

2017

Bahasa:

english

Fail:

PDF, 9.41 MB

0 / 0

english, 2017

11

Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Springer International Publishing

Phan Cong Vinh, Emil Vassev, Mike Hinchey (eds.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 19.65 MB

0 / 0

english, 2015

12

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

Fail:

PDF, 7.57 MB

0 / 0

english, 2010

13

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

Tahun:

2017

Bahasa:

english

Fail:

PDF, 23.72 MB

0 / 0

english, 2017

14

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... in Information and Communication Technology)

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... in Information and Communication Technology)

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf

Tahun:

2010

Bahasa:

english

Fail:

PDF, 5.41 MB

0 / 0

english, 2010

15

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

Fail:

PDF, 4.31 MB

0 / 0

english, 2008

16

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

Fail:

PDF, 7.80 MB

0 / 0

english, 2003

17

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

Fail:

PDF, 3.87 MB

0 / 0

english, 2011

18

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

Fail:

PDF, 7.74 MB

0 / 0

english, 2012

19

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

Fail:

PDF, 9.14 MB

0 / 0

english, 2003