Search Results for Mathematical logic. - Narrowed by: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-28T06:09:44Z
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484033
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:483633
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics for Computer Science Classical and Non-Classical
ent://SD_ILS/0/SD_ILS:399616
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Wasilewska, Anita. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332107.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332982.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
ent://SD_ILS/0/SD_ILS:331002
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334073.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334772
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334778.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334821
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335030
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335040
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335040.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334034
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334034.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334041
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(334041.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334355
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Programming Logics Essays in Memory of Harald Ganzinger
ent://SD_ILS/0/SD_ILS:334468
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334468.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334630
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334630.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334634
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334634.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
ent://SD_ILS/0/SD_ILS:334978
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334978.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334979
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Preferred Shelf Number ONLINE(334979.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334985
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335003
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335003.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335125
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335125.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335126
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Hinze, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335126.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332981
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332981.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334673.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334715.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Gaag, Linda C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334728.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
ent://SD_ILS/0/SD_ILS:336496
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Mogavero, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336496.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
ent://SD_ILS/0/SD_ILS:197087
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
ent://SD_ILS/0/SD_ILS:197102
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Treatise on Intuitionistic Type Theory
ent://SD_ILS/0/SD_ILS:206159
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Granström, Johan Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190296
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Treinen, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190814
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
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-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191090
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
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/>
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188863
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186638
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Artemov, Sergei N. 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-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Model Theory and Its Applications
ent://SD_ILS/0/SD_ILS:185593
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187306
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184845
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adapting Proofs-as-Programs The Curry-Howard Protocol
ent://SD_ILS/0/SD_ILS:165486
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logically determined design clockless system design with NULL convention logic
ent://SD_ILS/0/SD_ILS:301645
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Fant, Karl M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={1F7D25ED-7DB8-40A3-B98F-A6D66E238591}&Format=50">Click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471684787">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471702897">http://dx.doi.org/10.1002/0471702897</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=25243&ref=toc">http://www.myilibrary.com?id=25243&ref=toc</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471684787">http://proquest.tech.safaribooksonline.de/9780471684787</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183367
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182983
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Categories for Software Engineering
ent://SD_ILS/0/SD_ILS:181067
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Fiadeiro, José Luiz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sayısal devrelerde mantıksal tasarım
ent://SD_ILS/0/SD_ILS:124805
2024-11-28T06:09:44Z
2024-11-28T06:09:44Z
Author Yarımağan, Ünal.<br/>Preferred Shelf Number TK7888.4 Y37 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>