Search Results for

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1255 Results Found

1 .. 8 9 10 11 12 .. 105

000000000000DEFAULT

109.

Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Author

Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01090-4

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

Author

Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68195-5

Format:

Availability

Online Library~1

Available:
Copies:

112.

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Author

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77935-5

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

Author

Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66604-4

Format:

Availability

Online Library~1

Available:
Copies:

114.

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Author

Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98938-9

Format:

Availability

Online Library~1

Available:
Copies:

115.

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

Author

Deng, Xiaotie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99660-8

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

Author

Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90418-4

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

Author

Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00787-4

Format:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Author

Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02852-7

Format:

Availability

Online Library~1

Available:
Copies:

119.

Real-Time Modelling and Processing for Communication Systems Applications and Practices

Author

Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)