Arama Sonuçları Programming Languages - Daraltılmış: Computer software.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming$002bLanguages$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ic$003dtrue$0026ps$003d300?dt=list2026-06-14T18:22:55ZPrinciples of Programming Languagesent://SD_ILS/0/SD_ILS:1758802026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Dowek, Gilles. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347512026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334751.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39206-1">http://dx.doi.org/10.1007/978-3-642-39206-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3347532026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334753.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39212-2">http://dx.doi.org/10.1007/978-3-642-39212-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1971102026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1971122026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948882026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22006-7">http://dx.doi.org/10.1007/978-3-642-22006-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948892026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1925662026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1925672026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14165-2">http://dx.doi.org/10.1007/978-3-642-14165-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algoritma tasarlama ve C ile temel bilgisayar programlamaent://SD_ILS/0/SD_ILS:5142402026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Abuşoğlu, Atakan.<br/>Yer Numarası QA76.75 A28 2019<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>MATLAB Optimization Techniquesent://SD_ILS/0/SD_ILS:6185772026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0292-0">https://doi.org/10.1007/978-1-4842-0292-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Programming for Numerical Analysisent://SD_ILS/0/SD_ILS:6186072026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0295-1">https://doi.org/10.1007/978-1-4842-0295-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Symbolic Algebra and Calculus Toolsent://SD_ILS/0/SD_ILS:6186442026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0343-9">https://doi.org/10.1007/978-1-4842-0343-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Matrix Algebraent://SD_ILS/0/SD_ILS:6185222026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0307-1">https://doi.org/10.1007/978-1-4842-0307-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Differential Equationsent://SD_ILS/0/SD_ILS:6185342026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0310-1">https://doi.org/10.1007/978-1-4842-0310-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Numerical Calculationsent://SD_ILS/0/SD_ILS:6185452026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0346-0">https://doi.org/10.1007/978-1-4842-0346-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Control Systems Engineeringent://SD_ILS/0/SD_ILS:6185542026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0289-0">https://doi.org/10.1007/978-1-4842-0289-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Linear Algebraent://SD_ILS/0/SD_ILS:6185602026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0322-4">https://doi.org/10.1007/978-1-4842-0322-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Differential and Integral Calculusent://SD_ILS/0/SD_ILS:6186862026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0304-0">https://doi.org/10.1007/978-1-4842-0304-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340142026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334014.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348442026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334844.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350722026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335072.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334278.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Programming and Algorithms Using Rent://SD_ILS/0/SD_ILS:3311922026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Ergül, Özgür. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331192.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5328-3">http://dx.doi.org/10.1007/978-1-4471-5328-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349802026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Schulte, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334980.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349902026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334990.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40698-0">http://dx.doi.org/10.1007/978-3-642-40698-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350032026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335003.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedingsent://SD_ILS/0/SD_ILS:3350462026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335046.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352062026-06-14T18:22:55Z2026-06-14T18:22:55ZYazar Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335206.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>