Refine your search

Your search returned 1670 results.

Not what you expected? Check for suggestions
Sort
Results
HCI International 2015 - Posters’ Extended Abstracts : International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II / edited by Constantine Stephanidis. by Series: Communications in Computer and Information Science ; 529
Material type: Text Text; Format: electronic available online remote; 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).

Computer Engineering and Technology : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu. by Series: Communications in Computer and Information Science ; 491
Material type: Text Text; Format: electronic available online remote; 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).

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer. by Series: Programming and Software Engineering ; 9109
Material type: Text Text; Format: electronic available online remote; 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).

Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Series: Programming and Software Engineering ; 8997
Material type: Text Text; Format: electronic available online remote; 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).

Computer Vision - ACCV 2014 Workshops : Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part III / edited by C. V. Jawahar, Shiguang Shan. by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9010
Material type: Text Text; Format: electronic available online remote; 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).

Computer Vision - ACCV 2014 Workshops : Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part I / edited by C.V. Jawahar, Shiguang Shan. by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9008
Material type: Text Text; Format: electronic available online remote; 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).

Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman. by Series: Programming and Software Engineering ; 9202
Material type: Text Text; Format: electronic available online remote; 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).

Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman. by Series: Programming and Software Engineering ; 9434
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; 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).

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang. by Series: Programming and Software Engineering ; 9364
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; 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).

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. by Series: Programming and Software Engineering ; 9397
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; 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).

Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann. by Series: Theoretical Computer Science and General Issues ; 8963
Material type: Text Text; Format: electronic available online remote; 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).

Trends in Functional Programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers / edited by Jurriaan Hage, Jay McCarthy. by Series: Theoretical Computer Science and General Issues ; 8843
Material type: Text Text; Format: electronic available online remote; 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).

Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt. by Series: Security and Cryptology ; 7807
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; 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).

The 2-tuple Linguistic Model : Computing with Words in Decision Making / by Luis Martínez, Rosa M. Rodriguez, Francisco Herrera. by
Material type: Text Text; Format: electronic available online remote; 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).

Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Series: Theoretical Computer Science and General Issues ; 8606
Material type: Text Text; Format: electronic available online remote; 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-Computer Interaction: Users and Contexts : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III / edited by Masaaki Kurosu. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9171
Material type: Text Text; Format: electronic available online remote; 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).

Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise. by Series: Lecture Notes in Artificial Intelligence ; 9322
Material type: Text Text; Format: electronic available online remote; 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).

Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son. by Series: Programming and Software Engineering ; 9131
Material type: Text Text; Format: electronic available online remote; 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).

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Series: Programming and Software Engineering ; 9154
Material type: Text Text; Format: electronic available online remote; 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).

Pages
Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.