Results
|
|
|
Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Andrew Pitts. by Series: Theoretical Computer Science and General Issues ; 9034
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli. by Series: Theoretical Computer Science and General Issues ; 9035
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cooperative Design, Visualization, and Engineering : 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings / edited by Yuhua Luo. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9320
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
|
|
|
|
|
|
Interactive Storytelling : 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Copenhagen, Denmark, November 30 - December 4, 2015, Proceedings / edited by Henrik Schoenau-Fog, Luis Emilio Bruni, Sandy Louchart, Sarune Baceviciute. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9445
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
|
|
|
|
|
|
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Series: Programming and Software Engineering ; 9058
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
Human Work Interaction Design. Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces : 4th IFIP 13.6 Working Conference, HWID 2015, London, UK, June 25-26, 2015, Revised Selected Papers / edited by José Abdelnour Nocera, Barbara Rita Barricelli, Arminda Lopes, Pedro Campos, Torkil Clemmensen. by Series: IFIP Advances in Information and Communication Technology ; 468
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
