Search Results for Logic design - Narrowed by: SpringerLink (Online service) - Electronic data processing.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bdata$002bprocessing.$002509Electronic$002bdata$002bprocessing.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-21T22:31:07Z
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401195
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399721
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:399852
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400552
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author 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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Schulte, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334980.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197402
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Milano, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194785
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193781
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190272
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Curien, Pierre-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190633
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:190568
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191428
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10631-6">http://dx.doi.org/10.1007/978-3-642-10631-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188237
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:189340
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
ent://SD_ILS/0/SD_ILS:175672
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Simon, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:186979
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:184259
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:183971
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183496
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:183239
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183106
2024-08-21T22:31:07Z
2024-08-21T22:31:07Z
Author Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136292">http://dx.doi.org/10.1007/b136292</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>