Search Results for Software

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

254 Results Found

1 2 3 4 5 6 .. 22

000000000000DEFAULT

37.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26354-6

Format:

Availability

Online Library~1

Available:
Copies:

39.

Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings

Author

Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463 Salas, Joaquín. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21077-9

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12988-0

Format:

Availability

Online Library~1

Available:
Copies:

41.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22348-9

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers

Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers

Author

Dressler, Falko. editor. (orcid)0000-0002-1989-1750 Scheideler, Christian. editor. (orcid)0000-0002-5278-528X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

Author

Li, Yingshu. editor. Cardei, Mihaela. editor. Huang, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36412-0

Format:

Availability

Online Library~1

Available:
Copies:

44.

Web and Big Data Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I

Author

Shao, Jie. editor. Yiu, Man Lung. editor. Toyoda, Masashi. editor. Zhang, Dongxiang. editor. Wang, Wei. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26072-9

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I

Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I

Author

Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29551-6

Format:

Availability

Online Library~1

Available:
Copies:

46.

Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

Author

Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.