2005

Agent technology from a formal perspective

 

2022

Applications of networks, sensors and autonomous systems analytics : proceedings of ICANSAA 2020

International Conference on Applications of Networks, Sensors and Autonomous Systems Analytics (2020 : Kalyāṇī, India)

Singapore : Springer, [2022]

 

2014

Autonomy requirements engineering for space missions

Vassev, Emil, author

Cham : Springer, 2014

 

2008

Biologically-inspired collaborative computing : IFIP 20th World Computer Congress, second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Mil

IFIP International Conference on Biologically Inspired Computing (2nd : 2008 : Milan, Italy)



 

2008

Biologically-inspired collaborative computing : IFIP 20th World Computer Congress, Second IFIP TC10 International Conference on Biologically-inspired Collaborative Computing, September 8-9, 2008, Mila

IFIP International Conference on Biologically Inspired Computing (2nd : 2008 : Milan, Italy)

New York ; London : Springer, 2008

Request It 

2012

Conquering complexity

 

2010

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, Aust

TC10 Working Conference on Distributed and Parallel Embedded Systems (7th : 2010 : Brisbane, Qld.)



 

2012

Experience from the DARPA Urban Challenge

 

2005

Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers

FAABS 2004 (2004 : Greenbelt, Md.)



 

2007

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings

International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.)



 

1999

High-integrity system specification and design

Bowen, J. P. (Jonathan Peter), 1956-

London ; New York : Springer, [1999]

Request It 

2023

Innovations in signal processing and embedded systems : proceedings of ICISPES 2021

ICISPES (Conference) (1st : 2021 : Hyderabad, India)



 

2006

Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers

International Workshop on Radical Agent Concepts (2nd : 2005 : Greenbelt, Md.)



 

2015

Nature of computation and communication : International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised selected papers

ICTCC (Conference) (2014 : Ho Chi Minh City, Vietnam)

Cham : Springer, 2015

 

2017

Provably correct systems

Cham, Switzerland : Springer, 2017

 

2017

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 (Conference) (43rd : 2017 : Limerick, Ireland)

Cham, Switzerland : Springer, 2017

 

2012

Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)



 

2003

Understanding formal methods

Monin, Jean François, 1960-

London ; New York : Springer, [2003]

Request It 

1995

ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings