Search Results for Logic. - Narrowed by: E-Book - 2012
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-03T02:05:07Z
Synchronous precharge logic
ent://SD_ILS/0/SD_ILS:148585
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Smoszna, Marek.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123985279">http://www.sciencedirect.com/science/book/9780123985279</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic: A Brief Course
ent://SD_ILS/0/SD_ILS:204617
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of education
ent://SD_ILS/0/SD_ILS:260949
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203138557">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Molecular logic-based computation
ent://SD_ILS/0/SD_ILS:343059
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Silva, A. Prasanna de.<br/>Preferred Shelf Number ONLINE(343059.1)<br/>Electronic Access <a href="http://msvu.eblib.com/patron/FullRecord.aspx?p=1185759">Check for Full Text</a> Access restricted: MSVU users only
Royal Society of Chemistry <a href="http://dx.doi.org/10.1039/9781849733021">http://dx.doi.org/10.1039/9781849733021</a>
ebrary <a href="http://site.ebrary.com/id/10640412">http://site.ebrary.com/id/10640412</a>
<a href="http://swb.eblib.com/patron/FullRecord.aspx?p=1185759">http://swb.eblib.com/patron/FullRecord.aspx?p=1185759</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatory logic pure, applied and typed
ent://SD_ILS/0/SD_ILS:285121
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Bimb,̤ Katalin, 1963-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439800010">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Purgatory the logic of total transformation
ent://SD_ILS/0/SD_ILS:233627
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Walls, Jerry L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital logic design a rigorous approach
ent://SD_ILS/0/SD_ILS:280400
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Even, Guy. Medina, Moti, 1979-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sets, Logic and Maths for Computing
ent://SD_ILS/0/SD_ILS:173460
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Makinson, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2500-6">http://dx.doi.org/10.1007/978-1-4471-2500-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and the Organization of Information
ent://SD_ILS/0/SD_ILS:174190
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Frické, Martin. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3088-9">http://dx.doi.org/10.1007/978-1-4614-3088-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Circuit Design Selected Methods
ent://SD_ILS/0/SD_ILS:196263
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Vingron, Shimon P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic for Computer Science
ent://SD_ILS/0/SD_ILS:173540
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
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-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic : the laws of truth
ent://SD_ILS/0/SD_ILS:376248
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Between Logic and Reality Modeling Inference, Action and Understanding
ent://SD_ILS/0/SD_ILS:206351
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2390-0">http://dx.doi.org/10.1007/978-94-007-2390-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The World-Time Parallel Tense and Modality in Logic and Metaphysics
ent://SD_ILS/0/SD_ILS:235840
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Rini, A. A.. Cresswell, M. J..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139084215">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:207043
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Languages in Logic A Philosophical and Cognitive Analysis
ent://SD_ILS/0/SD_ILS:236923
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Dutilh Novaes, Catarina.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139108010">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structure and Monadic Second-Order Logic A Language-Theoretic Approach
ent://SD_ILS/0/SD_ILS:237947
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Courcelle, Bruno. Engelfriet, Joost.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511977619">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The emotional and priestly logic of plural marriage
ent://SD_ILS/0/SD_ILS:246738
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Flake, Kathleen. Project Muse. Merrill-Cazier Library. Special Collections & Archives.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780874218039/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Rise of China vs. the Logic of Strategy
ent://SD_ILS/0/SD_ILS:230515
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Luttwak, Edward N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.4159/harvard.9780674067936">http://dx.doi.org/10.4159/harvard.9780674067936</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Freedom and reflection Hegel and the logic of agency
ent://SD_ILS/0/SD_ILS:232334
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Yeomans, Christopher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199794522.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199794522.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The politics of logic Badiou, Wittgenstein, and the consequences of formalism
ent://SD_ILS/0/SD_ILS:260185
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Livingston, Paul M., 1976-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203806630">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of autonomy law, morality and autonomous reasoning
ent://SD_ILS/0/SD_ILS:281259
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Sieckmann, Jan-Reinard, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kantian reason and Hegelian spirit the idealistic logic of modern theology
ent://SD_ILS/0/SD_ILS:305880
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Dorrien, Gary J. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781444355918">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomolecular information processing from logic systems to smart sensors and actuators
ent://SD_ILS/0/SD_ILS:306174
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Katz, Evgeny.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9783527645480">http://dx.doi.org/10.1002/9783527645480</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Type-2 Fuzzy Logic in Intelligent Control Applications
ent://SD_ILS/0/SD_ILS:195707
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Castillo, Oscar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24663-0">http://dx.doi.org/10.1007/978-3-642-24663-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196774
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197191
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197296
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196693
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196711
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers
ent://SD_ILS/0/SD_ILS:197083
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Lassiter, Daniel. editor. Slavkovik, Marija. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31467-4">http://dx.doi.org/10.1007/978-3-642-31467-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197086
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31482-7">http://dx.doi.org/10.1007/978-3-642-31482-7</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-09-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197160
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31951-8">http://dx.doi.org/10.1007/978-3-642-31951-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197246
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Ong, Luke. 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-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Strategy for Action – I The Logic and Context of Strategic Management
ent://SD_ILS/0/SD_ILS:204653
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gandellini, Giorgio. author. Pezzi, Alberto. author. Venanzi, Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2487-8">http://dx.doi.org/10.1007/978-88-470-2487-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adiabatic Logic Future Trend and System Level Perspective
ent://SD_ILS/0/SD_ILS:206336
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Teichmann, Philip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2345-0">http://dx.doi.org/10.1007/978-94-007-2345-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic
ent://SD_ILS/0/SD_ILS:168623
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-901-7">http://dx.doi.org/10.1007/978-0-85729-901-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197456
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Durán, Franciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risk Management Technologies With Logic and Probabilistic Models
ent://SD_ILS/0/SD_ILS:206641
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Solozhentsev, E.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4288-8">http://dx.doi.org/10.1007/978-94-007-4288-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stealing shining rivers agrarian conflict, market logic, and conservation in a Mexican forest
ent://SD_ILS/0/SD_ILS:239681
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Doane, Molly, 1966- Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780816599448/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic
ent://SD_ILS/0/SD_ILS:242087
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Baltas, Aristeidēs. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780822977902/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Disruptive Logic Architectures and Technologies From Device to System Level
ent://SD_ILS/0/SD_ILS:174185
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3058-2">http://dx.doi.org/10.1007/978-1-4614-3058-2</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-09-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197106
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Cold War and After : History, Theory, and the Logic of International Politics.
ent://SD_ILS/0/SD_ILS:376168
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Trachtenberg, Marc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7rk9r">http://www.jstor.org/stable/10.2307/j.ctt7rk9r</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Three Failures of Creationism : Logic, Rhetoric, and Science
ent://SD_ILS/0/SD_ILS:376205
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Fitch, Walter M., 1929-2011.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.1525/j.ctt1pnn5n">http://www.jstor.org/stable/10.1525/j.ctt1pnn5n</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Truth and Falsehood An Inquiry into Generalized Logical Values
ent://SD_ILS/0/SD_ILS:205958
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0907-2">http://dx.doi.org/10.1007/978-94-007-0907-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A course in model theory
ent://SD_ILS/0/SD_ILS:279217
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Tent, Katrin, 1963- Ziegler, Martin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Around and Beyond the Square of Opposition
ent://SD_ILS/0/SD_ILS:176782
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0379-3">http://dx.doi.org/10.1007/978-3-0348-0379-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A midwestern mosaic immigration and political socialization in rural America
ent://SD_ILS/0/SD_ILS:241775
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Lay, J. Celeste. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9781439907948/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frank Ankersmit's lost historical cause a journey from language to experience
ent://SD_ILS/0/SD_ILS:261194
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Icke, Peter P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203723791">Click here to view</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Special Sciences and the Unity of Science
ent://SD_ILS/0/SD_ILS:206243
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Pombo, Olga. editor. Torres, Juan Manuel. editor. Symons, John. editor. Rahman, Shahid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2030-5">http://dx.doi.org/10.1007/978-94-007-2030-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
ent://SD_ILS/0/SD_ILS:206660
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4435-6">http://dx.doi.org/10.1007/978-94-007-4435-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Instruction Sequences for Computer Science
ent://SD_ILS/0/SD_ILS:207045
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Bergstra, Jan A. author. Middelburg, Cornelis A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-65-7">http://dx.doi.org/10.2991/978-94-91216-65-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Place and dialectic two essays
ent://SD_ILS/0/SD_ILS:234251
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Nishida, Kitarō, 1870-1945. American Academy of Religion.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199841172.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199841172.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frequency-Domain Control Design for High-Performance Systems
ent://SD_ILS/0/SD_ILS:247731
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author O'Brien, J. O'Brien, J., ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBCE078E">http://dx.doi.org/10.1049/PBCE078E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy-aware memory management for embedded multimedia systems a computer-aided design approach
ent://SD_ILS/0/SD_ILS:286142
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Balasa, Florin. Pradhan, Dhiraj K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439814017">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent systems for engineers and scientists
ent://SD_ILS/0/SD_ILS:291599
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Hopgood, Adrian A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865965">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital circuit boards mach 1 ghz
ent://SD_ILS/0/SD_ILS:299296
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Morrison, Ralph.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://lib.myilibrary.com?id=425373">Connect to MyiLibrary resource.</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9781118278116">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118278123">http://dx.doi.org/10.1002/9781118278123</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=836591">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=836591</a>
ebrary <a href="http://site.ebrary.com/id/10630495">http://site.ebrary.com/id/10630495</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial control systems mathematical and statistical models and techniques
ent://SD_ILS/0/SD_ILS:288809
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Badiru, Adedeji Bodunde, 1952- Ibidapo-Obe, Oye. Ayeni, Babatunde J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420075595">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java programming
ent://SD_ILS/0/SD_ILS:293234
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Sarang, P. G. (Poornachandra G.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/java-programming">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Philosophy demystified
ent://SD_ILS/0/SD_ILS:294111
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Arp, Robert. Watson, Jamie Carlin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/philosophy-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Meaningful games exploring language with game theory
ent://SD_ILS/0/SD_ILS:276739
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Clark, Robin Lee, 1957- Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780262298742/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frege's notations what they are and how they mean
ent://SD_ILS/0/SD_ILS:279084
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Landini, Gregory. Palgrave Connect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Making claims knowledge design, capture, and sharing in HCI
ent://SD_ILS/0/SD_ILS:279897
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author McCrickard, D. Scott, 1970-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gd̲el's way exploits into an undecidable world
ent://SD_ILS/0/SD_ILS:287306
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203169575">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple-base number system theory and applications
ent://SD_ILS/0/SD_ILS:288049
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Dimitrov, Vassil. Jullien, Graham. Muscedere, Roberto.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439830475">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems engineering and architecting creating formal requirements
ent://SD_ILS/0/SD_ILS:289928
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Bellagamba, Laurence.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439881422">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded systems circuits and programming
ent://SD_ILS/0/SD_ILS:289943
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Sanchez, Julio, 1938- Canton, Maria P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439879313">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Unknown Component Problem Theory and Applications
ent://SD_ILS/0/SD_ILS:166624
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Villa, Tiziano. author. Yevtushenko, Nina. author. Brayton, Robert K. author. Mishchenko, Alan. author. Petrenko, Alexandre. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68759-9">http://dx.doi.org/10.1007/978-0-387-68759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compact Models and Measurement Techniques for High-Speed Interconnects
ent://SD_ILS/0/SD_ILS:173845
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Sharma, Rohit. author. Chakravarty, Tapas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1071-3">http://dx.doi.org/10.1007/978-1-4614-1071-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
ent://SD_ILS/0/SD_ILS:174371
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Miller, Chris. editor. Rolin, Jean-Philippe. editor. Speissegger, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4042-0">http://dx.doi.org/10.1007/978-1-4614-4042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Mathematical Structures and Proofs
ent://SD_ILS/0/SD_ILS:174389
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gerstein, Larry J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4265-3">http://dx.doi.org/10.1007/978-1-4614-4265-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The NCL Natural Constraint Language
ent://SD_ILS/0/SD_ILS:195465
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Zhou, Jianyang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23845-1">http://dx.doi.org/10.1007/978-3-642-23845-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recognizing Variable Environments The Theory of Cognitive Prism
ent://SD_ILS/0/SD_ILS:195532
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Dong, Tiansi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24058-4">http://dx.doi.org/10.1007/978-3-642-24058-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196145
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27269-1">http://dx.doi.org/10.1007/978-3-642-27269-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kreativität und Form Programm eines Glasperlenspiels zum Experimentieren mit Wissen
ent://SD_ILS/0/SD_ILS:196221
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Zimmermann, Rainer E. author. Wiedemann, Simon M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27521-0">http://dx.doi.org/10.1007/978-3-642-27521-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196402
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196520
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Birkedal, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196526
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196547
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196553
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196554
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28872-2">http://dx.doi.org/10.1007/978-3-642-28872-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196559
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196702
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:196717
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29517-1">http://dx.doi.org/10.1007/978-3-642-29517-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196784
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196745
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kienzle, 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-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196754
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196896
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196897
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30476-7">http://dx.doi.org/10.1007/978-3-642-30476-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196917
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30561-0">http://dx.doi.org/10.1007/978-3-642-30561-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196918
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30564-1">http://dx.doi.org/10.1007/978-3-642-30564-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Entwurf integrierter 3D-Systeme der Elektronik
ent://SD_ILS/0/SD_ILS:196921
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Lienig, Jens. editor. Dietrich, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30572-6">http://dx.doi.org/10.1007/978-3-642-30572-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196925
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30598-6">http://dx.doi.org/10.1007/978-3-642-30598-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196934
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196948
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196962
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Giese, Holger. editor. Rosu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30793-5">http://dx.doi.org/10.1007/978-3-642-30793-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
ent://SD_ILS/0/SD_ILS:197188
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gibbons, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32202-0">http://dx.doi.org/10.1007/978-3-642-32202-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197272
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197276
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Pattinson, Dirk. editor. Schröder, Lutz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32784-1">http://dx.doi.org/10.1007/978-3-642-32784-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197133
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31759-0">http://dx.doi.org/10.1007/978-3-642-31759-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197295
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Durand-Lose, Jérôme. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32894-7">http://dx.doi.org/10.1007/978-3-642-32894-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197323
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33125-1">http://dx.doi.org/10.1007/978-3-642-33125-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197402
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Milano, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197416
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197419
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33675-1">http://dx.doi.org/10.1007/978-3-642-33675-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197473
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Bshouty, Nader H. editor. Stoltz, Gilles. editor. Vayatis, Nicolas. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34106-9">http://dx.doi.org/10.1007/978-3-642-34106-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars
ent://SD_ILS/0/SD_ILS:197476
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Steels, Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34120-5">http://dx.doi.org/10.1007/978-3-642-34120-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:197486
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197514
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34407-7">http://dx.doi.org/10.1007/978-3-642-34407-7</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197459
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197577
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197587
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197592
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development IX
ent://SD_ILS/0/SD_ILS:197616
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:197634
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35746-6">http://dx.doi.org/10.1007/978-3-642-35746-6</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Non solo calcoli Domande e risposte sui perché della matematica
ent://SD_ILS/0/SD_ILS:204679
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Villani, Vinicio. author. Bernardi, Claudio. author. Zoccante, Sergio. author. Porcaro, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2610-0">http://dx.doi.org/10.1007/978-88-470-2610-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teoria algebrica dei meccanismi automatici
ent://SD_ILS/0/SD_ILS:191521
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Righi, R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10932-4">http://dx.doi.org/10.1007/978-3-642-10932-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recht ex machina Formalisierung des Rechts im Internet der Dienste
ent://SD_ILS/0/SD_ILS:193673
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196086
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196286
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27872-3">http://dx.doi.org/10.1007/978-3-642-27872-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sparsity Graphs, Structures, and Algorithms
ent://SD_ILS/0/SD_ILS:196287
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27875-4">http://dx.doi.org/10.1007/978-3-642-27875-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196294
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27901-0">http://dx.doi.org/10.1007/978-3-642-27901-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Correctness-by-Construction Approach to Programming
ent://SD_ILS/0/SD_ILS:196299
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27919-5">http://dx.doi.org/10.1007/978-3-642-27919-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196304
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27940-9">http://dx.doi.org/10.1007/978-3-642-27940-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196329
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28038-2">http://dx.doi.org/10.1007/978-3-642-28038-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196338
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196340
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28073-3">http://dx.doi.org/10.1007/978-3-642-28073-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196418
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Dediu, Adrian-Horia. 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-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196271
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196452
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28472-4">http://dx.doi.org/10.1007/978-3-642-28472-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196472
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Schmitt, Jens B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28540-0">http://dx.doi.org/10.1007/978-3-642-28540-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
ent://SD_ILS/0/SD_ILS:196468
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:196616
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On Intuitionistic Fuzzy Sets Theory
ent://SD_ILS/0/SD_ILS:196621
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Atanassov, Krassimir T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29127-2">http://dx.doi.org/10.1007/978-3-642-29127-2</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:196973
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Heisel, Maritta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30835-2">http://dx.doi.org/10.1007/978-3-642-30835-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196979
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Cooper, S. Barry. editor. Dawar, Anuj. 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-30870-3">http://dx.doi.org/10.1007/978-3-642-30870-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196982
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30885-7">http://dx.doi.org/10.1007/978-3-642-30885-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196983
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30891-8">http://dx.doi.org/10.1007/978-3-642-30891-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197011
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Noble, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31057-7">http://dx.doi.org/10.1007/978-3-642-31057-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197019
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197089
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197048
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31262-5">http://dx.doi.org/10.1007/978-3-642-31262-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197066
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197211
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197352
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197361
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Cerro, Luis Fariñas. editor. Herzig, Andreas. editor. Mengin, Jérôme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33353-8">http://dx.doi.org/10.1007/978-3-642-33353-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197363
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197223
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32469-7">http://dx.doi.org/10.1007/978-3-642-32469-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197226
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197418
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197437
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Groundwork in the Theory of Argumentation Selected Papers of J. Anthony Blair
ent://SD_ILS/0/SD_ILS:206342
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Blair, J. Anthony. author. Tindale, Christopher W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2363-4">http://dx.doi.org/10.1007/978-94-007-2363-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Interpretation in the Exact Sciences Essays in Honour of William Demopoulos
ent://SD_ILS/0/SD_ILS:206407
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Frappier, Melanie. editor. Brown, Derek. editor. DiSalle, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2582-9">http://dx.doi.org/10.1007/978-94-007-2582-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Olympiad Treasures
ent://SD_ILS/0/SD_ILS:168359
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Andreescu, Titu. author. Enescu, Bogdan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8253-8">http://dx.doi.org/10.1007/978-0-8176-8253-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Excursions in the History of Mathematics
ent://SD_ILS/0/SD_ILS:168364
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kleiner, Israel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8268-2">http://dx.doi.org/10.1007/978-0-8176-8268-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner's Guide to Discrete Mathematics
ent://SD_ILS/0/SD_ILS:168370
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Wallis, W.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8286-6">http://dx.doi.org/10.1007/978-0-8176-8286-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematical Experience, Study Edition
ent://SD_ILS/0/SD_ILS:168373
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Davis, Philip J. author. Hersh, Reuben. author. Marchisotto, Elena Anne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8295-8">http://dx.doi.org/10.1007/978-0-8176-8295-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner's Guide to Finite Mathematics For Business, Management, and the Social Sciences
ent://SD_ILS/0/SD_ILS:168381
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Wallis, W.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8319-1">http://dx.doi.org/10.1007/978-0-8176-8319-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197171
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Peña, Ricardo. editor. Page, Rex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32037-8">http://dx.doi.org/10.1007/978-3-642-32037-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197366
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33386-6">http://dx.doi.org/10.1007/978-3-642-33386-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197270
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32759-9">http://dx.doi.org/10.1007/978-3-642-32759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197455
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197540
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197633
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35743-5">http://dx.doi.org/10.1007/978-3-642-35743-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formale Grundlagen der Programmierung
ent://SD_ILS/0/SD_ILS:198901
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Nebel, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2296-3">http://dx.doi.org/10.1007/978-3-8348-2296-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topical Themes in Argumentation Theory Twenty Exploratory Studies
ent://SD_ILS/0/SD_ILS:206583
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author van Eemeren, Frans H. editor. Garssen, Bart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4041-9">http://dx.doi.org/10.1007/978-94-007-4041-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rudolf Carnap and the Legacy of Logical Empiricism
ent://SD_ILS/0/SD_ILS:206558
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Creath, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-3929-1">http://dx.doi.org/10.1007/978-94-007-3929-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Olives poems
ent://SD_ILS/0/SD_ILS:239514
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Stallings, A. E. (Alicia Elsbeth), 1968- Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780810165779/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Set Theory With a Gentle Introduction to Forcing
ent://SD_ILS/0/SD_ILS:173379
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Halbeisen, Lorenz J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2173-2">http://dx.doi.org/10.1007/978-1-4471-2173-2</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-09-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195885
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:195895
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25264-8">http://dx.doi.org/10.1007/978-3-642-25264-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:195898
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196668
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197023
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31131-4">http://dx.doi.org/10.1007/978-3-642-31131-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197076
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197090
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31494-0">http://dx.doi.org/10.1007/978-3-642-31494-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197115
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197117
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Kutrib, Martin. editor. Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31623-4">http://dx.doi.org/10.1007/978-3-642-31623-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197121
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Yen, Hsu-Chun. editor. Ibarra, Oscar H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31653-1">http://dx.doi.org/10.1007/978-3-642-31653-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197134
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31762-0">http://dx.doi.org/10.1007/978-3-642-31762-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197293
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32885-5">http://dx.doi.org/10.1007/978-3-642-32885-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197301
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Koutny, Maciej. editor. Ulidowski, Irek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32940-1">http://dx.doi.org/10.1007/978-3-642-32940-1</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-03T02:05:07Z
2024-09-03T02:05:07Z
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/>
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197393
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Finkel, Alain. editor. Leroux, Jérôme. 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-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197399
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33536-5">http://dx.doi.org/10.1007/978-3-642-33536-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logician and the engineer : how George Boole and Claude Shannon created the information age
ent://SD_ILS/0/SD_ILS:376778
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Nahin, Paul J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mere possibilities : metaphysical foundations of modal semantics
ent://SD_ILS/0/SD_ILS:376042
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Stalnaker, Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sd1g">http://www.jstor.org/stable/10.2307/j.ctt7sd1g</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A tale of two cultures : qualitative and quantitative research in the social sciences
ent://SD_ILS/0/SD_ILS:376650
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Goertz, Gary, 1953- Mahoney, James, 1968-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.cttq94gh">http://www.jstor.org/stable/10.2307/j.cttq94gh</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Dynamical Systems : Modeling, Stability, and Robustness.
ent://SD_ILS/0/SD_ILS:376106
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7s02z">http://www.jstor.org/stable/10.2307/j.ctt7s02z</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pursuits of wisdom : six ways of life in ancient philosophy from Socrates to Plotinus
ent://SD_ILS/0/SD_ILS:376409
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Cooper, John M. (John Madison), 1939-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sk03">http://www.jstor.org/stable/10.2307/j.ctt7sk03</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hip-hop culture in college students' lives elements, embodiment, and higher edutainment
ent://SD_ILS/0/SD_ILS:261125
2024-09-03T02:05:07Z
2024-09-03T02:05:07Z
Author Petchauer, Emery.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203805381">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>