Results
|
|
1881.
|
Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10107
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.
|
|
|
1882.
|
Human Aspects of Information Security, Privacy, and Trust [electronic resource] : Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9190
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.
|
|
|
1883.
|
|
|
|
1884.
|
|
|
|
1885.
|
|
|
|
1886.
|
|
|
|
1887.
|
|
|
|
1888.
|
|
|
|
1889.
|
|
|
|
1890.
|
|
|
|
1891.
|
|
|
|
1892.
|
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings / by Series: Programming and Software Engineering ; 8035
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1893.
|
|
|
|
1894.
|
|
|
|
1895.
|
|
|
|
1896.
|
|
|
|
1897.
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7793
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1898.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / by Series: Programming and Software Engineering ; 7892
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1899.
|
|
|
|
1900.
|
|
