Results
|
|
1541.
|
|
|
|
1542.
|
|
|
|
1543.
|
|
|
|
1544.
|
Verified Software: Theorie, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8164
Edition: 1st ed. 2014.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1545.
|
|
|
|
1546.
|
|
|
|
1547.
|
Usability and Internationalization. Global and Local User Interfaces [electronic resource] : Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4560
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1548.
|
|
|
|
1549.
|
|
|
|
1550.
|
|
|
|
1551.
|
|
|
|
1552.
|
|
|
|
1553.
|
|
|
|
1554.
|
|
|
|
1555.
|
|
|
|
1556.
|
|
|
|
1557.
|
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7902
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.
|
|
|
1558.
|
|
|
|
1559.
|
|
|
|
1560.
|
|
