Results
|
5381.
|
|
|
5382.
|
|
|
5383.
|
|
|
5384.
|
|
|
5385.
|
|
|
5386.
|
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 9953
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
5387.
|
|
|
5388.
|
|
|
5389.
|
|
|
5390.
|
|
|
5391.
|
|
|
5392.
|
Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15–17, 2017, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10225
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
5393.
|
Universal Access in Human-Computer Interaction. Access to Interaction [electronic resource] : 9th International Conference, UAHCI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9176
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
5394.
|
Smart Homes and Health Telematics [electronic resource] : 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8456
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
5395.
|
|
|
5396.
|
|
|
5397.
|
Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8393
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
5398.
|
Universal Access in Human-Computer Interaction. Methods, Techniques, and Best Practices [electronic resource] : 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9737
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
5399.
|
|
|
5400.
|
|