MPG.eBooks - Search Results

1

Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

“...This volume contains the proceedings of the 12th International Conference on Computer Aided Veri...”

Read Now

2

Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

“... Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers...”

Read Now

3

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Published 2022

Springer International Publishing

“...rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel...”

Read Now

4

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Published 2022

Springer International Publishing

“...rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel...”

Read Now

5

Decision-Aiding Software : Skills, Obstacles and Applications

by Nagel, Stuart S.
Published 1991

Palgrave Macmillan

“...The aim of this book is to clarify what is involved in using decision-aiding software in evaluative...”

Read Now

6

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Published 2021

Springer International Publishing

“...rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021...”

Read Now

7

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Published 2021

Springer International Publishing

“...rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021...”

Read Now

8

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Published 2020

Springer International Publishing

“...st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA...”

Read Now

9

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Published 2020

Springer International Publishing

“...st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA...”

Read Now

10

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

“... Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers...”

Read Now

11

Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

“... Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers...”

Read Now

12

Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

“... Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full...”

Read Now

13

Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Read Now

14

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Published 2019

Springer International Publishing

“...st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA...”

Read Now

15

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Published 2019

Springer International Publishing

“...st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA...”

Read Now

16

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Published 2023

Springer Nature Switzerland

“... of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris...”

Read Now

17

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

Published 2023

Springer Nature Switzerland

“... Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023....”

Read Now

18

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Published 2023

Springer Nature Switzerland

“... of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris...”

Read Now

19

CCSP Self-Study : Securing Cisco IOS Networks (SECUR)

by Roland, John
Published 2004

Cisco Press

Subjects: “...Study Aids / Tests...”

Read Now

20

Computer Aided Software Engineering

Published 1996

Springer US

“...Computer Aided Software Engineering brings together in one place important contributions and up...”

Narrow Search