Results
|
661.
|
|
|
662.
|
|
|
663.
|
|
|
664.
|
|
|
665.
|
|
|
666.
|
|
|
667.
|
|
|
668.
|
Knowledge-Based and Intelligent Information and Engineering Systems, Part III [electronic resource] : 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part III / by Series: Lecture Notes in Artificial Intelligence ; 6883
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
669.
|
|
|
670.
|
Human Centered Design [electronic resource] : Second International Conference, HCD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6776
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
671.
|
|
|
672.
|
|
|
673.
|
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 10981
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
674.
|
|
|
675.
|
|
|
676.
|
|
|
677.
|
|
|
678.
|
|
|
679.
|
|
|
680.
|
|