Arama Sonuçları Programming. - Daraltılmış: Computational complexity.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming.$0026qf$003dSUBJECT$002509Konu$002509Computational$002bcomplexity.$002509Computational$002bcomplexity.$0026ps$003d300$0026isd$003dtrue?dt=list2025-12-06T07:03:48ZApproximation Algorithms and Semidefinite Programmingent://SD_ILS/0/SD_ILS:1948902025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22015-9">http://dx.doi.org/10.1007/978-3-642-22015-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4014662025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar van Hoeve, Willem-Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93031-2">https://doi.org/10.1007/978-3-319-93031-2</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:3347512025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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:3347532025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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/>Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349692025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</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:3349802025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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/>DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3328922025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332892.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01928-4">http://dx.doi.org/10.1007/978-3-319-01928-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342682025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334268.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36694-9">http://dx.doi.org/10.1007/978-3-642-36694-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345492025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334549.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967762025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29828-8">http://dx.doi.org/10.1007/978-3-642-29828-8</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:1971122025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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/>DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1971902025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32208-2">http://dx.doi.org/10.1007/978-3-642-32208-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974022025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Milano, Michela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</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:1971102025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948882025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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/>DNA Computing and Molecular Programming 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954012025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Cardelli, Luca. editor. Shih, William. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23638-9">http://dx.doi.org/10.1007/978-3-642-23638-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1944932025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Günlük, Oktay. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20807-2">http://dx.doi.org/10.1007/978-3-642-20807-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945232025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946592025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21311-3">http://dx.doi.org/10.1007/978-3-642-21311-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923622025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13520-0">http://dx.doi.org/10.1007/978-3-642-13520-0</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:1925662025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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:1925672025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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/>Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1921962025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Eisenbrand, Friedrich. editor. Shepherd, F. Bruce. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13036-6">http://dx.doi.org/10.1007/978-3-642-13036-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>50 Years of Integer Programming 1958-2008 From the Early Years to the State-of-the-Artent://SD_ILS/0/SD_ILS:1854332025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Jünger, Michael. editor. Liebling, Thomas M. editor. Naddef, Denis. editor. Nemhauser, George L. editor. Pulleyblank, William R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68279-0">http://dx.doi.org/10.1007/978-3-540-68279-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1901672025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01929-6">http://dx.doi.org/10.1007/978-3-642-01929-6</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:1904632025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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:1904642025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar 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/>Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908832025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linear and Integer Programming vs Linear Integration and Counting A Duality Viewpointent://SD_ILS/0/SD_ILS:1646322025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Lasserre, Jean-Bernard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-09414-4">http://dx.doi.org/10.1007/978-0-387-09414-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1859952025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1859982025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1853782025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68155-7">http://dx.doi.org/10.1007/978-3-540-68155-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1856352025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Lodi, Andrea. editor. Panconesi, Alessandro. editor. Rinaldi, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68891-4">http://dx.doi.org/10.1007/978-3-540-68891-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866542025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72792-7">http://dx.doi.org/10.1007/978-3-540-72792-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868452025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865292025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72397-4">http://dx.doi.org/10.1007/978-3-540-72397-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1840032025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11757375">http://dx.doi.org/10.1007/11757375</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1843202025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1843212025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828342025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831652025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Jünger, Michael. editor. Kaibel, Volker. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137143">http://dx.doi.org/10.1007/b137143</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832512025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136920">http://dx.doi.org/10.1007/b136920</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3349622025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345522025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Albert, Elvira. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334552.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and theory of computation handbook. General concepts and techniquesent://SD_ILS/0/SD_ILS:5470352025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Atallah, Mikhail J. Blanton, Marina.<br/>Yer Numarası QA76.9 .A43 A432 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781584888239">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and Complexityent://SD_ILS/0/SD_ILS:5464332025-12-06T07:03:48Z2025-12-06T07:03:48ZYazar Wilf, Herbert S., author. Taylor and Francis.<br/>Yer Numarası QA63<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780429294921">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>