Refine your search

Your search returned 471 results.

Not what you expected? Check for suggestions
Sort
Results
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).

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. by Series: Programming and Software Engineering ; 9300
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).

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

Bir savunma sanayii firmasında tedarikçi seçimi çalışması / Kübra Nur Demir. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: Adult;
Language: Türkçe Publisher: Ankara : TOBB ETÜ Fen Bilimleri Enstitüsü, 2018
Dissertation note: Tez (Yüksek Lisans)--TOBB ETÜ Fen Bilimleri Enstitüsü Ağustos 2018
Online resources:
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1).

The practice of programming / Brian W. Kernighan, Rob Pike. by Series: Addison-Wesley professional computing series
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: Reading, MA : Addison-Wesley, 1999Copyright date: ©1999
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.6 .K48 1999.

Türkiye elektrik piyasasında risk duyarlı enerji depolama politikaları kullanarak fiyat arbitraj potansiyelinin araştırılması / Ceren Vergili ; thesis advisor Salih Tekin. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: Adult;
Language: Türkçe Publisher: Ankara : TOBB ETÜ Fen Bilimleri Enstitüsü, 2019
Dissertation note: Tez (Yüksek Lisans)--TOBB ETÜ Fen Bilimleri Enstitüsü Ağustos 2019
Other title:
  • Investigating price arbitrage potential based on risk sensitive energy storage policy in turkish electricity
Online resources:
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1).

Havacılık sektöründe ikram yükleme planlarının ve ikram yükleme lokasyonlarının optimizasyonu / Seren Bilge Yılmaz ; thesis advisor Eda Yücel. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: Adult;
Language: Türkçe Publisher: Ankara : TOBB ETÜ Fen Bilimleri Enstitüsü, 2019
Dissertation note: Tez (Yüksek Lisans)--TOBB ETÜ Fen Bilimleri Enstitüsü Ağustos 2019
Other title:
  • Optimizing onboard catering loading locations and plans for airlines
Online resources:
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1).

Rassal iş süreleri altında öğrenme eğrisi etkili melez akış tipi çizelgeleme / Fatih Aydın ; thesis advisor Kürşad Derinkuyu. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: Adult;
Language: Türkçe Publisher: Ankara : TOBB ETÜ Fen Bilimleri Enstitüsü, 2019
Dissertation note: Tez (Yüksek Lisans Tezi)--TOBB ETÜ Fen Bilimleri Enstitüsü Aralık 2019
Other title:
  • Hybrid flow shop scheduling with learning effect under uncertain process times
Online resources:
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1).

Introduction to econometrics / by Oskar Lange ; prepared with the collaboration of Antoni Banasinski on the basis of lectures delivered at the University of Warsaw. by
Edition: Second edition revised and enlarged
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: Oxford [England] : Pergamon, 1962
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Kurumiçi kullanım / Not for loan-For inhouse use (1).

Local search in combinatorial optimization / edited and with a new preface by Emile Aarts and Jan Karel Lenstra by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: Princeton, N.J. : Princeton University Press, [2003]Copyright date: ©2003
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon T57.88 .L6 2003.

Gün öncesi elektrik piyasası ve yan hizmetlerin birlikte optimizasyonu / Rıdvan Memiş ; thesis advisor Kürşad Derinkuyu. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: Adult;
Language: Türkçe Publisher: Ankara : TOBB ETÜ Fen Bilimleri Enstitüsü, 2019
Dissertation note: Tez (Yüksek Lisans Tezi)--TOBB ETÜ Fen Bilimleri Enstitüsü Aralık 2019
Other title:
  • Co-optimization of the day ahead electricity market andancillary services
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1).

Elektrikli ve benzinli araç rota planlaması, maliyet optimizasyonu ve karşılaştırması / Kaan Kılıç ; thesis advisor Melike Meterelliyoz Kuyzu. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: Adult;
Language: Türkçe Publisher: Ankara : TOBB ETÜ Sosyal Bilimleri Enstitüsü, 2020
Dissertation note: Tez (Yüksek Lisans)--TOBB ETÜ Sosyal Bilimler Enstitüsü Temmuz 2020.
Other title:
  • Electric and gasoline vehicle routing problem, cost optimization and comparison
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1).

Doğrusal programlama : (giriş) / Haz. Asım Aksade. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction ; Audience: General;
Language: Türkçe Publisher: Ankara : Devlet Yatırım Bankası, 1973
Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Kurumiçi kullanım / Not for loan-For inhouse use (1).

Dynamic programming with management applications, [by] N. A. J. Hastings. by Series: Operational research series
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: İngilizce Publisher: London : Butterworths, 1973Copyright date: ©1973
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon T57.83 .H377 1973.

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