Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Series: Theoretical Computer Science and General Issues ; 9207
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).
|
|
|
|
New Horizons in Design Science: Broadening the Research Agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings / edited by Brian Donnellan, Markus Helfert, Jim Kenneally, Debra VanderMeer, Marcus Rothenberger, Robert Winter. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9073
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).
|
|
|
|
Natural Language Processing and Chinese Computing : 4th CCF Conference, NLPCC 2015, Nanchang, China, October 9-13, 2015, Proceedings / edited by Juanzi Li, Heng Ji, Dongyan Zhao, Yansong Feng. by Series: Lecture Notes in Artificial Intelligence ; 9362
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).
|
|
|
|
Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Series: Lecture Notes in Artificial Intelligence ; 9120
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).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mobile Computing, Applications, and Services : 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12–13, 2015, Revised Selected Papers / edited by Stephan Sigg, Petteri Nurmi, Flora Salim. by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 162
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).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Natural Language Processing and Information Systems : 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings / edited by Chris Biemann, Siegfried Handschuh, André Freitas, Farid Meziane, Elisabeth Métais. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9103
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 Interface and the Management of Information. Information and Knowledge in Context : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / edited by Sakae Yamamoto. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9173
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).
|
|
|
|
|
|
|
|
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe. by Series: Programming and Software Engineering ; 9509
Edition: 1st ed. 2015.
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).
|
|
|
|
Future Data and Security Engineering : Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich Neuhold. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9446
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).
|
|
|
|
Risks and Security of Internet and Systems : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers / edited by Javier Lopez, Indrajit Ray, Bruno Crispo. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8924
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).
|
