Search Results for Software Development & Engineering.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

44 Results Found

1 2 3 4

000000000000DEFAULT

Soft computing evaluation logic : the LSP decision method and its applications

Author

Dujmovic, Jozo, 1941- author.

Preferred Shelf Number

QA76.9 .S63 D85 2018

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland

Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland

Author

Madeyski, Lech. editor. Śmiałek, Michał. editor. Hnatkowska, Bogumiła. editor. Huzar, Zbigniev. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43606-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Author

Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Author

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66197-1

Format:

Availability

Online Library~1

Available:
Copies:

Autonomic Road Transport Support Systems

Author

McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II

Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II

Author

Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49390-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47169-3

Format:

Availability

Online Library~1

Available:
Copies:

Robot Operating System (ROS) The Complete Reference (Volume 1)

Author

Koubaa, Anis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Intelligent Computer Systems in Engineering Design Principles and Applications

Author

Sunnersjö, Staffan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Ontology Engineering 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers

Ontology Engineering 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers

Author

Tamma, Valentina. editor. Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Gonçalves, Rafael. editor. Ławrynowicz, Agnieszka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33245-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I

Author

Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49381-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach

Author

Gumzej, Roman. author. SpringerLink (Online service)