Refine your search

Your search returned 761 results.

Not what you expected? Check for suggestions
Sort
Results
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers / edited by José-Luis Sierra-Rodríguez, José-Paulo Leal, Alberto Simões. by Series: Communications in Computer and Information Science ; 563
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).

Enterprise Information Systems : 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers / edited by Slimane Hammoudi, Leszek Maciaszek, Ernest Teniente, Olivier Camp, José Cordeiro. by Series: Lecture Notes in Business Information Processing ; 241
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).

Multi-disciplinary Trends in Artificial Intelligence : 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015, Proceedings / edited by Antonis Bikakis, Xianghan Zheng. by Series: Lecture Notes in Artificial Intelligence ; 9426
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).

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 Security -- ESORICS 2015 : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I / edited by Günther Pernul, Peter Y A Ryan, Edgar Weippl. by Series: Security and Cryptology ; 9326
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).

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).

Integrated Uncertainty in Knowledge Modelling and Decision Making : 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Thierry Demoeux. by Series: Lecture Notes in Artificial Intelligence ; 9376
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).

Energy Informatics : 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings / edited by Sebastian Gottwalt, Lukas König, Hartmut Schmeck. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9424
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).

Theory and Practice of Natural Computing : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / edited by Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide. by Series: Theoretical Computer Science and General Issues ; 9477
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).

Algorithms and Architectures for Parallel Processing : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li. by Series: Theoretical Computer Science and General Issues ; 9530
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).

Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo. by Series: Programming and Software Engineering ; 9459
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).

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