Results of search for 'ccl=su:"Programming."'

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 Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		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 Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		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 Dastani, Mehdi [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9392 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Petri Net Synthesis / by Eric Badouel, Luca Bernardinello, Philippe Darondeau. by Badouel, Eric [author.] Bernardinello, Luca [author.] Darondeau, Philippe [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Computer Science and Its Applications : 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings / edited by Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel. by Amine, Abdelmalek [editor.] Bellatreche, Ladjel [editor.] Elberrichi, Zakaria [editor.] Neuhold, Erich J [editor.] Wrembel, Robert [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 456 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		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 Beklemishev, Lev D [editor.] Blass, Andreas [editor.] Dershowitz, Nachum [editor.] Finkbeiner, Bernd [editor.] Schulte, Wolfram [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9300 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione. by Fantechi, Alessandro [editor.] Pelliccione, Patrizio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9274 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		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 De Nivelle, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9323 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / edited by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen. by Holzinger, Andreas [editor.] Cardoso, Jorge [editor.] Cordeiro, José [editor.] Libourel, Therese [editor.] Maciaszek, Leszek A [editor.] van Sinderen, Marten [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 555 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		No cover image available Bir savunma sanayii firmasında tedarikçi seçimi çalışması / Kübra Nur Demir. by Demir, Kübra Nur TOBB Ekonomi ve Teknoloji Üniversitesi. Fen Bilimleri Enstitüsü Material type: 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: Ulusal Tez Merkezi Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1). Add to cart (remove)
		The practice of programming / Brian W. Kernighan, Rob Pike. by Kernighan, Brian W [author] Pike, Rob [author] Series: Addison-Wesley professional computing series Material type: 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. Place hold Add to cart (remove)
		No cover image available 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 Vergili, Ceren [author] Tekin, Salih [advisor] TOBB Ekonomi ve Teknoloji Üniversitesi. Fen Bilimleri Enstitüsü Material type: 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: Ulusal Tez Merkezi Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1). Add to cart (remove)
		No cover image available 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 Yılmaz, Seren Bilge [author] Yücel, Eda [advisor] TOBB Ekonomi ve Teknoloji Üniversitesi. Fen Bilimleri Enstitüsü Material type: 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: Ulusal Tez Merkezi Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1). Add to cart (remove)
		No cover image available Rassal iş süreleri altında öğrenme eğrisi etkili melez akış tipi çizelgeleme / Fatih Aydın ; thesis advisor Kürşad Derinkuyu. by Aydın, Fatih [author] Derinkuyu, Kürşad [advisor] TOBB Ekonomi ve Teknoloji Üniversitesi. Fen Bilimleri Enstitüsü Material type: 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: Ulusal Tez Merkezi Availability: Not available: Merkez Kütüphane: Ödünç Verilemez-Tez / Not For Loan-Thesis (1). Add to cart (remove)
		No cover image available 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 Lange, Oskar [author] Banasiński, Antoni [author] Edition: Second edition revised and enlarged Material type: 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). Add to cart (remove)
		Local search in combinatorial optimization / edited and with a new preface by Emile Aarts and Jan Karel Lenstra by Aarts, E. H. L. (Emile H. L.) [editor, writer of preface] Lenstra, J. K [editor, writer of preface] Material type: 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. Place hold Add to cart (remove)
		No cover image available Gün öncesi elektrik piyasası ve yan hizmetlerin birlikte optimizasyonu / Rıdvan Memiş ; thesis advisor Kürşad Derinkuyu. by Memiş, Rıdvan [author] Derinkuyu, Kürşad [advisor] TOBB Ekonomi ve Teknoloji Üniversitesi. Fen Bilimleri Enstitüsü Material type: 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). Add to cart (remove)
		No cover image available Elektrikli ve benzinli araç rota planlaması, maliyet optimizasyonu ve karşılaştırması / Kaan Kılıç ; thesis advisor Melike Meterelliyoz Kuyzu. by Kılıç, Kaan [author] Kuyzu, Melike Meterelliyoz [advisor] TOBB Ekonomi ve Teknoloji Üniversitesi. Sosyal Bilimler Enstitüsü Material type: 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). Add to cart (remove)
		No cover image available Doğrusal programlama : (giriş) / Haz. Asım Aksade. by Aksade, Asım [editor] Material type: 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). Add to cart (remove)
		Dynamic programming with management applications, [by] N. A. J. Hastings. by Hastings, N. A. J, 1937- [author] Series: Operational research series Material type: 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. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Home libraries

Item types

Locations

Series

Topics

Titles

Your search returned 471 results.