Search Results for Logic. - Narrowed by: E-Book - Information theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-03T00:11:19Z
Computation Engineering Applied Automata Theory and Logic
ent://SD_ILS/0/SD_ILS:165858
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Gopalakrishnan, Ganesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401714
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs and Algorithms An Introduction to Logic and Computability
ent://SD_ILS/0/SD_ILS:168427
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Dowek, Gilles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-121-9">http://dx.doi.org/10.1007/978-0-85729-121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ent://SD_ILS/0/SD_ILS:192610
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14309-0">http://dx.doi.org/10.1007/978-3-642-14309-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192881
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15164-4">http://dx.doi.org/10.1007/978-3-642-15164-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191090
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189439
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92701-3">http://dx.doi.org/10.1007/978-3-540-92701-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190268
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02261-6">http://dx.doi.org/10.1007/978-3-642-02261-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:190413
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02734-5">http://dx.doi.org/10.1007/978-3-642-02734-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190517
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03092-5">http://dx.doi.org/10.1007/978-3-642-03092-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185815
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69407-6">http://dx.doi.org/10.1007/978-3-540-69407-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185946
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186716
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73001-9">http://dx.doi.org/10.1007/978-3-540-73001-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186854
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73445-1">http://dx.doi.org/10.1007/978-3-540-73445-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ent://SD_ILS/0/SD_ILS:183555
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Bollig, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Realism-Antirealism Debate in the Age of Alternative Logics
ent://SD_ILS/0/SD_ILS:206212
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Rahman, Shahid. editor. Primiero, Giuseppe. editor. Marion, Mathieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1923-1">http://dx.doi.org/10.1007/978-94-007-1923-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483779
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ekštein, Kamil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27947-9">https://doi.org/10.1007/978-3-030-27947-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Variant Construction from Theoretical Foundation to Applications
ent://SD_ILS/0/SD_ILS:484902
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Zheng, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2282-2">https://doi.org/10.1007/978-981-13-2282-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486080
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Huang, Shujian. editor. Knight, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-1721-1">https://doi.org/10.1007/978-981-15-1721-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486210
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21363-3">https://doi.org/10.1007/978-3-030-21363-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486418
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXXIII
ent://SD_ILS/0/SD_ILS:399733
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Model Checking
ent://SD_ILS/0/SD_ILS:401293
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III
ent://SD_ILS/0/SD_ILS:401990
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93713-7">https://doi.org/10.1007/978-3-319-93713-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:401495
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93701-4">https://doi.org/10.1007/978-3-319-93701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401521
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93698-7">https://doi.org/10.1007/978-3-319-93698-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Artifacts Towards a Philosophy of Computer Science
ent://SD_ILS/0/SD_ILS:402712
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Turner, Raymond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:399569
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489310
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334465.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
ent://SD_ILS/0/SD_ILS:335433
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335433.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teoria degli Automi Finiti
ent://SD_ILS/0/SD_ILS:335644
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335644.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334564
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
ent://SD_ILS/0/SD_ILS:338349
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Schenke, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338349.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2295-6">http://dx.doi.org/10.1007/978-3-8348-2295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196438
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28412-0">http://dx.doi.org/10.1007/978-3-642-28412-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Discrete Structures for Computer Science
ent://SD_ILS/0/SD_ILS:196778
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Pace, Gordon J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29840-0">http://dx.doi.org/10.1007/978-3-642-29840-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Complexity of Valued Constraint Satisfaction Problems
ent://SD_ILS/0/SD_ILS:197450
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Živný, Stanislav. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33974-5">http://dx.doi.org/10.1007/978-3-642-33974-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
ent://SD_ILS/0/SD_ILS:203972
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54106-6">http://dx.doi.org/10.1007/978-4-431-54106-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:196262
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27654-5">http://dx.doi.org/10.1007/978-3-642-27654-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196803
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197302
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32943-2">http://dx.doi.org/10.1007/978-3-642-32943-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194517
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:194028
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Apartness and Uniformity A Constructive Development
ent://SD_ILS/0/SD_ILS:195019
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to the Theory of Programming Languages
ent://SD_ILS/0/SD_ILS:168414
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The P=NP Question and Gödel’s Lost Letter
ent://SD_ILS/0/SD_ILS:172787
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192376
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192614
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191741
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11618-6">http://dx.doi.org/10.1007/978-3-642-11618-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192693
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~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. Proceedings
ent://SD_ILS/0/SD_ILS:189739
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189741
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
ent://SD_ILS/0/SD_ILS:189763
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00659-3">http://dx.doi.org/10.1007/978-3-642-00659-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190925
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190830
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04081-8">http://dx.doi.org/10.1007/978-3-642-04081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190942
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04420-5">http://dx.doi.org/10.1007/978-3-642-04420-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189435
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189784
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189848
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00982-2">http://dx.doi.org/10.1007/978-3-642-00982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190456
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02906-6">http://dx.doi.org/10.1007/978-3-642-02906-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190598
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03351-3">http://dx.doi.org/10.1007/978-3-642-03351-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190621
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03429-9">http://dx.doi.org/10.1007/978-3-642-03429-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191634
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computable Models
ent://SD_ILS/0/SD_ILS:175885
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Turner, Raymond. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-052-4">http://dx.doi.org/10.1007/978-1-84882-052-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:190109
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190189
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190317
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Computational Paradigms Changing Conceptions of What is Computable
ent://SD_ILS/0/SD_ILS:166594
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68546-5">http://dx.doi.org/10.1007/978-0-387-68546-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188772
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics of Specification Languages
ent://SD_ILS/0/SD_ILS:187056
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:189027
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
ent://SD_ILS/0/SD_ILS:204291
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-0784-0">http://dx.doi.org/10.1007/978-88-470-0784-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of the Spin Model Checker
ent://SD_ILS/0/SD_ILS:175556
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188677
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Calculus of Computation Decision Procedures with Applications to Verification
ent://SD_ILS/0/SD_ILS:187058
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Algebraic Graph Transformation
ent://SD_ILS/0/SD_ILS:182540
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</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-09-03T00:11:19Z
2024-09-03T00:11:19Z
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/>
Parameterized Complexity Theory
ent://SD_ILS/0/SD_ILS:182197
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Introduction to Programming
ent://SD_ILS/0/SD_ILS:175351
2024-09-03T00:11:19Z
2024-09-03T00:11:19Z
Author Mills, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>