Arama Sonuçları Logic - Daraltılmış: Electronic data processing.

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-11-29T00:54:16Z

Yazar Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-57669-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

2024-11-29T00:54:16Z

Yazar Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18026-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2024-11-29T00:54:16Z

Yazar Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92701-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

2024-11-29T00:54:16Z

Yazar Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69407-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-11-29T00:54:16Z

Yazar Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

2024-11-29T00:54:16Z

Yazar Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73445-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-11-29T00:54:16Z

Yazar Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

2024-11-29T00:54:16Z

Yazar Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73001-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2024-11-29T00:54:16Z

Yazar Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11754602
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

2024-11-29T00:54:16Z

Yazar Lippe, Wolfram-Manfred. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-29274-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2024-11-29T00:54:16Z

Yazar Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106890
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of logic and proof techniques for computer science

2024-11-29T00:54:16Z

Yazar Krantz, Steven George, 1951-
Yer Numarası QA 76 K723 2002
Format: Kitap
Durum Beytepe Kütüphanesi~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00801-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2024-11-29T00:54:16Z

Yazar Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90530-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-11-29T00:54:16Z

Yazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02149-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2024-11-29T00:54:16Z

Yazar Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00250-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

2024-11-29T00:54:16Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332910.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334111.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334658.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38718-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2024-11-29T00:54:16Z

Yazar Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334702.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets XVI

2024-11-29T00:54:16Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası ONLINE(334220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2024-11-29T00:54:16Z

Yazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2024-11-29T00:54:16Z

Yazar Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334980.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2024-11-29T00:54:16Z

Yazar Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31365-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings

2024-11-29T00:54:16Z

Yazar Milano, Michela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33558-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

2024-11-29T00:54:16Z

Yazar Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21691-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

2024-11-29T00:54:16Z

Yazar Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03456-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

2024-11-29T00:54:16Z

Yazar Curien, Pierre-Louis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02273-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings

2024-11-29T00:54:16Z

Yazar Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10631-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-11-29T00:54:16Z

Yazar Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

2024-11-29T00:54:16Z

Yazar Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78773-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities

2024-11-29T00:54:16Z

Yazar Simon, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-017-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-11-29T00:54:16Z

Yazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2024-11-29T00:54:16Z

Yazar Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11682462
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

2024-11-29T00:54:16Z

Yazar Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780274
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-11-29T00:54:16Z

Yazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814948
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11527695
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-11-29T00:54:16Z

Yazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137280
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

2024-11-29T00:54:16Z

Yazar Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136292
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1