Refine your search

Your search returned 2260 results.

Not what you expected? Check for suggestions
Sort
Results
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe. by Series: Programming and Software Engineering ; 9276
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).

Information Systems Engineering in Complex Environments : CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers / edited by Selmin Nurcan, Elias Pimenidis. by Series: Lecture Notes in Business Information Processing ; 204
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).

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

Data Assessment for Electrical Surge Protective Devices / by Eddie Davis, Nick Kooiman, Kylash Viswanathan. by Series: SpringerBriefs in Fire
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: New York, NY : Springer New York : 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).

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

Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers / edited by Mohammad S. Obaidat, Tuncer Ören, Janusz Kacprzyk, Joaquim Filipe. by Series: Advances in Intelligent Systems and Computing ; 402
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).

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.