Results
|
|
4801.
|
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.
|
|
|
4802.
|
|
|
|
4803.
|
|
|
|
4804.
|
|
|
|
4805.
|
|
|
|
4806.
|
|
|
|
4807.
|
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.
|
|
|
4808.
|
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.
|
|
|
4809.
|
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.
|
|
|
4810.
|
|
|
|
4811.
|
|
|
|
4812.
|
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.
|
|
|
4813.
|
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.
|
|
|
4814.
|
|
|
|
4815.
|
|
|
|
4816.
|
|
|
|
4817.
|
|
|
|
4818.
|
|
|
|
4819.
|
|
|
|
4820.
|
|
