Refine your search

Your search returned 248 results.

Not what you expected? Check for suggestions
Sort
Results
Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov. by Series: Theoretical Computer Science and General Issues ; 9328
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).

Validation of Evolving Software / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. 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).

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Series: Programming and Software Engineering ; 8941
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).

Requirements Engineering: Foundation for Software Quality : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / edited by Samuel A. Fricker, Kurt Schneider. by Series: Programming and Software Engineering ; 9013
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 Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario. by Series: Theoretical Computer Science and General Issues ; 9268
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).

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Series: Programming and Software Engineering ; 9128
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 Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen. by Series: Programming and Software Engineering ; 9104
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).

Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani. by Series: Programming and Software Engineering ; 9392
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).

Petri Net Synthesis / by Eric Badouel, Luca Bernardinello, Philippe Darondeau. by Series: Texts in Theoretical Computer Science. An EATCS Series
Edition: 1st ed. 2015.
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).

Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Shankara Narayanan Krishna. by Series: Theoretical Computer Science and General Issues ; 8923
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).

Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione. by Series: Programming and Software Engineering ; 9274
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 Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle. by Series: Lecture Notes in Artificial Intelligence ; 9323
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).

Cyber Physical Systems. Design, Modeling, and Evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Mohammad Reza Mousavi, Christian Berger. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9361
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).

KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph. by Series: Lecture Notes in Computer Science ; 9324
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).

Hybrid Systems Biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / edited by Alessandro Abate, David Šafránek. by Series: Lecture Notes in Bioinformatics ; 9271
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).

Mantığa başlangıç risâleleri / Fârâbî ; inceleme-çeviri: Hüseyin Sarıoğlu ; editör Harun Kuşlu. by Series: Türk-İslâm Bilim Kültür Mirası dizisi ; 10
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: General;
Language: Türkçe, Arapça Publisher: Ankara : Türkiye Bilimler Akademisi, 2017
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon B753.F34 M36 2017.

Et-Takrib li-haddi'l-mantık : Mantık ve dini ilimler : (inceleme-metim-çeviri) / İbn Hazm El-Endelüsi ; çeviren ve hazırlayan: İbrahim Çapak, Yusuf Arıkaner. by Series: Türkiye Yazma Eserler Kurumu Başkanlığı yayınları ; Bilim ve felsefe serisi ; 111
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: General;
Language: Türkçe Original language: Arabic Publisher: İstanbul : Türkiye Yazma Eserler Kurumu Başkanlığı, 2018
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon B753.I34 I2619 2018.

Designing social inquiry : scientific inference in qualitative research / Gary King, Robert O. Keohane, Sidney Verba. by Series: Princeton paperbacks
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: Princeton, N.J. : Princeton University Press, 1994Copyright date: ©1994
Other title:
  • Scientific inference in qualitative research
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon H61 .K56 1994.

Critical thinking : a concise guide / Tracy Bowell, Robert Cowan, and Gary Kemp. by
Edition: Fifth Edition published 2020
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: New York : Routledge, 2019Copyright date: ©2020
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon B809.2 .B69 2019. Not available: Tıp Fakültesi Medikal Kütüphane: Ödünç Verilemez-Kurumiçi kullanım / Not for loan-For inhouse use (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.