Refine your search

Your search returned 36 results.

Not what you expected? Check for suggestions
Sort
Results
Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Series: Theoretical Computer Science and General Issues ; 9463
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).

Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Series: Theoretical Computer Science and General Issues ; 9360
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).

Introduction to Concurrency Theory : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari. 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: 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).

Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures / by Ernst-Erich Doberkat. 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).

Computational Complexity of Solving Equation Systems / by Przemysław Broniek. by Series: SpringerBriefs in Philosophy
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).

Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. by Series: Theoretical Computer Science and General Issues ; 9394
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).

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

Turhan Valide Sultan Vakfiyesi / H. Ahmet Arslantürk. by Series: Tarih-Osmanlı ; 3
Edition: 1. baskı.
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: Türkçe, Osmanlıca Publisher: İstanbul : Okur Kitaplığı, 2012Copyright date: ©2012
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon BP170.25 .A75 2012.

Grundbau - Dynamik / Dr.-Ing. Hans Lorenz. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: Almanca Publisher: Germany [Berlin] : Springer-Verlag, 1960Copyright date: ©1960
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: TOBB Kütüphanesi Bağış Koleksiyonu - Klasik TOBBK TA 775 .L6 1960.

Foundation engineering / edited by G.A. Leonards. by Series: McGraw-Hill civil engineering series
Edition: International student edition.
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: New York : McGraw-Hill, 1962Copyright date: ©1962
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: TOBB Kütüphanesi Bağış Koleksiyonu - Klasik TOBBK TA 775 .L44 1962.

Foundation design and construction / [by] M. J. Tomlinson. by
Edition: 2nd ed.
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: London : Pitman, 1969
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Kurumiçi kullanım / Not for loan-For inhouse use (1).

Vakıf kuran kadınlar / yayın koordinatörü Rifat Türker ; yayın sorumlusu Adnan Tüzen ; genel yayın yönetmeni Mehmet Kurtoğlu ; hazırlayanlar Mevlüt Çam, Beyhan Hacıömeroğlu, Adem Şahin. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Türkçe Publisher: Ankara : Vakıflar Genel Müdürlüğü Yayınları, 2018
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon BP170.25 .V35 2018.

Advances in Geo-Science and Geo-Structures [electronic resource] : Select Proceedings of GSGS 2020 / edited by Awdhesh Kumar Choudhary, Somenath Mondal, Subhadeep Metya, G. L. Sivakumar Babu. by Series: Lecture Notes in Civil Engineering ; 154
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Ground Characterization and Foundations [electronic resource] : Proceedings of Indian Geotechnical Conference 2020 Volume 1 / edited by C. N. V. Satyanarayana Reddy, K. Muthukkumaran, Neelima Satyam, Ravikiran Vaidya. by Series: Lecture Notes in Civil Engineering ; 167
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: İngilizce Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Monotonicity in Logic and Language [electronic resource] : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl. by Series: Theoretical Computer Science and General Issues ; 12564
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook
Online resources:
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.