Search Results for Logic. - Narrowed by: E-Book - 2010
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$0025092010$0025092010$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-02T22:33:10Z
Logic Colloquium 2007
ent://SD_ILS/0/SD_ILS:236783
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic the basics
ent://SD_ILS/0/SD_ILS:266548
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Beall, J. C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203851555">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:266562
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Gensler, Harry J., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203855003">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The science of logic
ent://SD_ILS/0/SD_ILS:144526
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-<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=329358">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic Foundations for Information Science
ent://SD_ILS/0/SD_ILS:198215
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Li, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Pro 9 audio and music production
ent://SD_ILS/0/SD_ILS:147910
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Cousins, Mark, 1972- Hepworth-Sawyer, Russ.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data integration the relational logic approach
ent://SD_ILS/0/SD_ILS:279149
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Genesereth, Michael R., 1948-<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=440318">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic with engineering applications
ent://SD_ILS/0/SD_ILS:304142
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ross, Timothy J. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781119994374">http://dx.doi.org/10.1002/9781119994374</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10358927">http://site.ebrary.com/lib/alltitles/Doc?id=10358927</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic and hydrological modeling
ent://SD_ILS/0/SD_ILS:287898
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author ?en, Zekí.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439809402">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modality metaphysics, logic, and epistemology
ent://SD_ILS/0/SD_ILS:233513
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hale, Bob, 1945- Hoffmann, Aviv.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic the question of truth
ent://SD_ILS/0/SD_ILS:245516
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780253004451/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course in Mathematical Logic for Mathematicians
ent://SD_ILS/0/SD_ILS:172015
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Manin, Yu. I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a Design Flow for Reversible Logic
ent://SD_ILS/0/SD_ILS:205530
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9579-4">http://dx.doi.org/10.1007/978-90-481-9579-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linguistic Fuzzy Logic Methods in Social Sciences
ent://SD_ILS/0/SD_ILS:192305
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Arfi, Badredine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13343-5">http://dx.doi.org/10.1007/978-3-642-13343-5</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-02T22:33:10Z
2024-09-02T22:33:10Z
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/>
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
ent://SD_ILS/0/SD_ILS:205323
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-8812-3">http://dx.doi.org/10.1007/978-90-481-8812-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Philosophy of Mathematics in the Early Husserl
ent://SD_ILS/0/SD_ILS:205021
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Centrone, Stefania. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3246-1">http://dx.doi.org/10.1007/978-90-481-3246-1</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-02T22:33:10Z
2024-09-02T22:33:10Z
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/>
Cognition and conditionals probability and logic in human thinking
ent://SD_ILS/0/SD_ILS:232741
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Oaksford, M. (Mike) Chater, Nick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199233298.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199233298.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of discipline global capitalism and the architecture of government
ent://SD_ILS/0/SD_ILS:233350
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Roberts, Alasdair (Alasdair Scott)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195374988.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195374988.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The decision model a business logic framework linking business and technology
ent://SD_ILS/0/SD_ILS:286056
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Von Halle, Barbara. Goldberg, Larry, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420082821">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940
ent://SD_ILS/0/SD_ILS:231522
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Mancosu, Paolo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The civil rights movement and the logic of social change
ent://SD_ILS/0/SD_ILS:277966
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Luders, Joseph E.<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=313291">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313291</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple formal logic with common-sense symbolic techniques
ent://SD_ILS/0/SD_ILS:266011
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Vander Nat, Arnold.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203874523">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The multinational enterprise in developing countries local versus global logic
ent://SD_ILS/0/SD_ILS:266437
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Molz, Rick. Ratiu, Catalin. Taleb, Ali.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203847053">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic-Based Algorithms for Video De-Interlacing
ent://SD_ILS/0/SD_ILS:191449
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10695-8">http://dx.doi.org/10.1007/978-3-642-10695-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192461
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dawar, Anuj. 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-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:192466
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Raedt, Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13840-9">http://dx.doi.org/10.1007/978-3-642-13840-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192603
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ent://SD_ILS/0/SD_ILS:192610
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14309-0">http://dx.doi.org/10.1007/978-3-642-14309-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192881
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15164-4">http://dx.doi.org/10.1007/978-3-642-15164-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192894
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
ent://SD_ILS/0/SD_ILS:192900
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15223-8">http://dx.doi.org/10.1007/978-3-642-15223-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Fermüller, Christian G. 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-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193255
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ö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-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
ent://SD_ILS/0/SD_ILS:192688
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Montali, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers
ent://SD_ILS/0/SD_ILS:192749
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Icard, Thomas. editor. Muskens, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14729-6">http://dx.doi.org/10.1007/978-3-642-14729-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Logic and Soft Computing 2010 Volume 2
ent://SD_ILS/0/SD_ILS:193043
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Cao, Bing-yuan. editor. Wang, Guo-jun. editor. Chen, Shui-li. editor. Guo, Si-zong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15660-1">http://dx.doi.org/10.1007/978-3-642-15660-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Clarke, Edmund M. 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-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:172306
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Triantaphyllou, Evangelos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1630-3">http://dx.doi.org/10.1007/978-1-4419-1630-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cuts and clouds vagueness, its nature, and its logic
ent://SD_ILS/0/SD_ILS:234392
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dietz, Richard. Moruzzi, Sebastiano.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199570386.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199570386.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191856
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Escobar, Santiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191936
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Blume, Matthias. editor. Kobayashi, Naoki. editor. 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-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192043
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Schreye, Danny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12592-8">http://dx.doi.org/10.1007/978-3-642-12592-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
ent://SD_ILS/0/SD_ILS:192546
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Cao, Tru Hoang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14087-7">http://dx.doi.org/10.1007/978-3-642-14087-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192571
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192832
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14977-1">http://dx.doi.org/10.1007/978-3-642-14977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:192849
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15025-8">http://dx.doi.org/10.1007/978-3-642-15025-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:193440
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16867-3">http://dx.doi.org/10.1007/978-3-642-16867-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rational theory of international politics : the logic of competition and cooperation
ent://SD_ILS/0/SD_ILS:374795
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Glaser, Charles L. (Charles Louis), 1954-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7t1j1">http://www.jstor.org/stable/10.2307/j.ctt7t1j1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Why not kill them all? : the logic and prevention of mass political murder
ent://SD_ILS/0/SD_ILS:375120
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Chirot, Daniel. McCauley, Clark R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7pf8w">http://www.jstor.org/stable/10.2307/j.ctt7pf8w</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Proof Complexity
ent://SD_ILS/0/SD_ILS:237834
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Cook, Stephen. Nguyen, Phuong.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Category theory
ent://SD_ILS/0/SD_ILS:278706
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Awodey, Steve, 1959-<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=375073">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375073</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Philosophy of Syntax Foundational Topics
ent://SD_ILS/0/SD_ILS:205034
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Talasiewicz, Mieszko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3288-1">http://dx.doi.org/10.1007/978-90-481-3288-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Deduction, Hybrid Systems and Modal Logics
ent://SD_ILS/0/SD_ILS:205315
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kurt Gödel Essays for his Centennial
ent://SD_ILS/0/SD_ILS:236216
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Framework for Priority Arguments
ent://SD_ILS/0/SD_ILS:236766
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Lerman, Manuel.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cleavage politics and the populist right the new cultural conflict in Western Europe
ent://SD_ILS/0/SD_ILS:245962
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Bornschier, Simon. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9781439901946/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explaining Games The Epistemic Programme in Game Theory
ent://SD_ILS/0/SD_ILS:170680
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author de Bruin, Boudewijn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9906-9">http://dx.doi.org/10.1007/978-1-4020-9906-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Truth through proof a formalist foundation for mathematics
ent://SD_ILS/0/SD_ILS:233257
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Weir, Alan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Theories A Categorical Introduction to General Algebra
ent://SD_ILS/0/SD_ILS:239089
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511760754">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The primacy of grammar
ent://SD_ILS/0/SD_ILS:239572
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Mukherji, Nirmalangshu. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Dynamic Circuit Response (Analog Circuit Design Series Volume 2)
ent://SD_ILS/0/SD_ILS:248001
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Feucht, D.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/SBCS014E">http://dx.doi.org/10.1049/SBCS014E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Waveform-Processing Circuits (Analog Circuit Design Series Volume 4)
ent://SD_ILS/0/SD_ILS:248003
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Feucht, D.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/SBCS016E">http://dx.doi.org/10.1049/SBCS016E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent control systems with an introduction to system of systems engineering
ent://SD_ILS/0/SD_ILS:285084
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Nanayakkara, Thrishantha. Jamshidi, Mohammad. Sahin, Ferat.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420079258">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Minds, ethics, and conditionals themes from the philosophy of Frank Jackson
ent://SD_ILS/0/SD_ILS:230712
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ravenscroft, Ian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199267989.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199267989.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Propositions, functions, and analysis selected essays on Russell's philosophy
ent://SD_ILS/0/SD_ILS:231578
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hylton, Peter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Molecular symmetry and fuzzy symmetry
ent://SD_ILS/0/SD_ILS:280763
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Zhao, Xuezhuang.<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=540316">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=540316</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetics and randomness
ent://SD_ILS/0/SD_ILS:288786
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ruvinsky, Anatoly.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420078879">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design
ent://SD_ILS/0/SD_ILS:288823
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439809136">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The philosophy of logical atomism
ent://SD_ILS/0/SD_ILS:263984
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Russell, Bertrand, 1872-1970.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203864777">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-sensor data fusion with MATLAB
ent://SD_ILS/0/SD_ILS:285063
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Raol, J. R. (Jitendra R.), 1947-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439800058">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical thinking a concise guide
ent://SD_ILS/0/SD_ILS:265021
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Bowell, Tracy, 1965- Kemp, Gary, 1960 Oct. 15-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203874134">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical reasoning patterns, problems, conjectures, and proofs
ent://SD_ILS/0/SD_ILS:265616
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Nickerson, Raymond S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Roads to infinity the mathematics of truth and proof
ent://SD_ILS/0/SD_ILS:289852
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Stillwell, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ent://SD_ILS/0/SD_ILS:166574
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68361-4">http://dx.doi.org/10.1007/978-0-387-68361-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Speech Processing in Embedded Systems
ent://SD_ILS/0/SD_ILS:167277
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Sinha, Priyabrata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75581-6">http://dx.doi.org/10.1007/978-0-387-75581-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Set Theory
ent://SD_ILS/0/SD_ILS:169590
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The P=NP Question and Gödel’s Lost Letter
ent://SD_ILS/0/SD_ILS:172787
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
ent://SD_ILS/0/SD_ILS:188417
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191650
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11319-2">http://dx.doi.org/10.1007/978-3-642-11319-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192372
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13550-7">http://dx.doi.org/10.1007/978-3-642-13550-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192376
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192385
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13595-8">http://dx.doi.org/10.1007/978-3-642-13595-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192412
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13675-7">http://dx.doi.org/10.1007/978-3-642-13675-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192417
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13688-7">http://dx.doi.org/10.1007/978-3-642-13688-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Time for Verification Essays in Memory of Amir Pnueli
ent://SD_ILS/0/SD_ILS:192436
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13754-9">http://dx.doi.org/10.1007/978-3-642-13754-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192460
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13821-8">http://dx.doi.org/10.1007/978-3-642-13821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192342
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13464-7">http://dx.doi.org/10.1007/978-3-642-13464-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192363
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Calude, Cristian S. editor. Hagiya, Masami. editor. Morita, Kenichi. editor. Rozenberg, Grzegorz. editor. Timmis, Jon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13523-1">http://dx.doi.org/10.1007/978-3-642-13523-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192572
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14186-7">http://dx.doi.org/10.1007/978-3-642-14186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192577
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14203-1">http://dx.doi.org/10.1007/978-3-642-14203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192606
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14295-6">http://dx.doi.org/10.1007/978-3-642-14295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192614
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
ent://SD_ILS/0/SD_ILS:192618
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192622
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14347-2">http://dx.doi.org/10.1007/978-3-642-14347-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192878
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192904
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192906
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192925
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192933
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15323-5">http://dx.doi.org/10.1007/978-3-642-15323-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192935
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author 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-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192858
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15057-9">http://dx.doi.org/10.1007/978-3-642-15057-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193083
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15784-4">http://dx.doi.org/10.1007/978-3-642-15784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193048
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193121
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Kowalewski, Stefan. editor. Roveri, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15898-8">http://dx.doi.org/10.1007/978-3-642-15898-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
ent://SD_ILS/0/SD_ILS:193180
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Katz, Shmuel. editor. Mezini, Mira. editor. 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-16086-8">http://dx.doi.org/10.1007/978-3-642-16086-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193187
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hutter, Marcus. editor. Stephan, Frank. editor. Vovk, Vladimir. 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-16108-7">http://dx.doi.org/10.1007/978-3-642-16108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193206
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16164-3">http://dx.doi.org/10.1007/978-3-642-16164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193211
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16178-0">http://dx.doi.org/10.1007/978-3-642-16178-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
EPSA Philosophical Issues in the Sciences Launch of the European Philosophy of Science Association
ent://SD_ILS/0/SD_ILS:205023
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Suárez, Mauricio. editor. Dorato, Mauro. editor. Rédei, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3252-2">http://dx.doi.org/10.1007/978-90-481-3252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
EPSA Epistemology and Methodology of Science Launch of the European Philosophy of Science Association
ent://SD_ILS/0/SD_ILS:205027
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Suárez, Mauricio. editor. Dorato, Mauro. editor. Rédei, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3263-8">http://dx.doi.org/10.1007/978-90-481-3263-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Singular Reference: A Descriptivist Perspective
ent://SD_ILS/0/SD_ILS:205041
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Orilia, Francesco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3312-3">http://dx.doi.org/10.1007/978-90-481-3312-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty
ent://SD_ILS/0/SD_ILS:205508
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Cummings, Louise. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9504-6">http://dx.doi.org/10.1007/978-90-481-9504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VHDL 101 everything you need to know to get started
ent://SD_ILS/0/SD_ILS:146777
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Kafig, William.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177047">http://www.sciencedirect.com/science/book/9781856177047</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:191664
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11355-0">http://dx.doi.org/10.1007/978-3-642-11355-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191698
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Pnueli, Amir. 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-11486-1">http://dx.doi.org/10.1007/978-3-642-11486-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191704
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11503-5">http://dx.doi.org/10.1007/978-3-642-11503-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ent://SD_ILS/0/SD_ILS:191706
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11512-7">http://dx.doi.org/10.1007/978-3-642-11512-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191707
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Patt, Yale N. editor. Foglia, Pierfrancesco. editor. Duesterwald, Evelyn. editor. Faraboschi, Paolo. editor. Martorell, Xavier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11515-8">http://dx.doi.org/10.1007/978-3-642-11515-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191741
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11618-6">http://dx.doi.org/10.1007/978-3-642-11618-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191743
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
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-11623-0">http://dx.doi.org/10.1007/978-3-642-11623-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191754
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11659-9">http://dx.doi.org/10.1007/978-3-642-11659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191841
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11931-6">http://dx.doi.org/10.1007/978-3-642-11931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191847
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191890
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191857
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Lectures on Software Engineering LASER Summer School 2007/2008
ent://SD_ILS/0/SD_ILS:192186
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Müller, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13010-6">http://dx.doi.org/10.1007/978-3-642-13010-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192215
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dediu, Adrian-Horia. editor. Fernau, Henning. 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-13089-2">http://dx.doi.org/10.1007/978-3-642-13089-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192253
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13182-0">http://dx.doi.org/10.1007/978-3-642-13182-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192270
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13238-4">http://dx.doi.org/10.1007/978-3-642-13238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
ent://SD_ILS/0/SD_ILS:192678
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14509-4">http://dx.doi.org/10.1007/978-3-642-14509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192682
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Butterfield, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14521-6">http://dx.doi.org/10.1007/978-3-642-14521-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192693
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192736
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14684-8">http://dx.doi.org/10.1007/978-3-642-14684-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192865
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15114-9">http://dx.doi.org/10.1007/978-3-642-15114-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193017
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15585-7">http://dx.doi.org/10.1007/978-3-642-15585-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193028
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15618-2">http://dx.doi.org/10.1007/978-3-642-15618-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193037
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15643-4">http://dx.doi.org/10.1007/978-3-642-15643-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193051
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193130
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193275
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16373-9">http://dx.doi.org/10.1007/978-3-642-16373-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193169
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16054-7">http://dx.doi.org/10.1007/978-3-642-16054-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193377
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Qin, Shengchao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16690-7">http://dx.doi.org/10.1007/978-3-642-16690-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193335
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
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-16558-0">http://dx.doi.org/10.1007/978-3-642-16558-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193354
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16612-9">http://dx.doi.org/10.1007/978-3-642-16612-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193240
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16265-7">http://dx.doi.org/10.1007/978-3-642-16265-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193496
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193511
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:193514
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
ent://SD_ILS/0/SD_ILS:193677
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17685-2">http://dx.doi.org/10.1007/978-3-642-17685-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems VII
ent://SD_ILS/0/SD_ILS:193541
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17245-8">http://dx.doi.org/10.1007/978-3-642-17245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192660
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Gao, Yuan. editor. Lu, Hanlin. editor. Seki, Shinnosuke. editor. Yu, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14455-4">http://dx.doi.org/10.1007/978-3-642-14455-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Vienna Circle in the Nordic Countries
ent://SD_ILS/0/SD_ILS:205151
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Manninen, Juha. editor. Stadler, Friedrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3683-4">http://dx.doi.org/10.1007/978-90-481-3683-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FPGAs 101 everything you need to know to get started
ent://SD_ILS/0/SD_ILS:145857
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Smith, Gina R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177061">http://www.sciencedirect.com/science/book/9781856177061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Phenomenology and Mathematics
ent://SD_ILS/0/SD_ILS:205165
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Hartimo, Mirja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3729-9">http://dx.doi.org/10.1007/978-90-481-3729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Concurrent Systems
ent://SD_ILS/0/SD_ILS:175934
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Roscoe, A.W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-258-0">http://dx.doi.org/10.1007/978-1-84882-258-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cardinal Invariants on Boolean Algebras
ent://SD_ILS/0/SD_ILS:176670
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Monk, J. Donald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0334-8">http://dx.doi.org/10.1007/978-3-0346-0334-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematische Logik
ent://SD_ILS/0/SD_ILS:176698
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ziegler, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
ent://SD_ILS/0/SD_ILS:189998
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Deiser, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Tools for Handling Change in Agent-Based Systems
ent://SD_ILS/0/SD_ILS:190937
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191800
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11797-8">http://dx.doi.org/10.1007/978-3-642-11797-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191802
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191805
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11811-1">http://dx.doi.org/10.1007/978-3-642-11811-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191810
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11829-6">http://dx.doi.org/10.1007/978-3-642-11829-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
ent://SD_ILS/0/SD_ILS:191827
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Puppis, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191889
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12104-3">http://dx.doi.org/10.1007/978-3-642-12104-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191866
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191867
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Banach Spaces and Descriptive Set Theory: Selected Topics
ent://SD_ILS/0/SD_ILS:191905
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Dodos, Pandelis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12153-1">http://dx.doi.org/10.1007/978-3-642-12153-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191939
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Ghosh, Sudipto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192298
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13321-3">http://dx.doi.org/10.1007/978-3-642-13321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192502
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13953-6">http://dx.doi.org/10.1007/978-3-642-13953-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192510
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13977-2">http://dx.doi.org/10.1007/978-3-642-13977-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192532
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14046-4">http://dx.doi.org/10.1007/978-3-642-14046-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192534
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Kaufmann, Matt. editor. Paulson, Lawrence C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14052-5">http://dx.doi.org/10.1007/978-3-642-14052-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192552
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author D’Hondt, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14107-2">http://dx.doi.org/10.1007/978-3-642-14107-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192779
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14819-4">http://dx.doi.org/10.1007/978-3-642-14819-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192941
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Kučera, Antonín. 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-15349-5">http://dx.doi.org/10.1007/978-3-642-15349-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192949
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15375-4">http://dx.doi.org/10.1007/978-3-642-15375-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192956
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Cohen, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15396-9">http://dx.doi.org/10.1007/978-3-642-15396-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193336
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
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-16561-0">http://dx.doi.org/10.1007/978-3-642-16561-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193340
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
ent://SD_ILS/0/SD_ILS:193568
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17322-6">http://dx.doi.org/10.1007/978-3-642-17322-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
ent://SD_ILS/0/SD_ILS:193650
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17599-2">http://dx.doi.org/10.1007/978-3-642-17599-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ends of empire : Asian American critique and the Cold War
ent://SD_ILS/0/SD_ILS:374825
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Kim, Jodi, 1970-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.5749/j.ctttsf9b">http://www.jstor.org/stable/10.5749/j.ctttsf9b</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonplussed! : mathematical proof of implausible ideas
ent://SD_ILS/0/SD_ILS:374983
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Havil, Julian, 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7t03s">http://www.jstor.org/stable/10.2307/j.ctt7t03s</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The responsibility of the philosopher
ent://SD_ILS/0/SD_ILS:375055
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Vattimo, Gianni, 1936- D'Agostini, Franca, 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/vatt15242">http://www.jstor.org/stable/10.7312/vatt15242</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Buddhist philosophy of language in India : Jñānaśrīmitra on exclusion
ent://SD_ILS/0/SD_ILS:375071
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author McCrea, Lawrence J. Patil, Parimal G. Jñānaśrīmitra. Apohaprakaraṇa. English & Sanskrit.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/mccr15094">http://www.jstor.org/stable/10.7312/mccr15094</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inside the red box : North Korea's post-totalitarian politics
ent://SD_ILS/0/SD_ILS:375077
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author McEachern, Patrick, 1980-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/mcea15322">http://www.jstor.org/stable/10.7312/mcea15322</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Origins : on the genesis of psychic reality
ent://SD_ILS/0/SD_ILS:375944
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Mills, Jon, 1964-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt80nn2">http://www.jstor.org/stable/10.2307/j.ctt80nn2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dialectical Passions : Negation in Postwar Art Theory.
ent://SD_ILS/0/SD_ILS:377036
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Day, Gail.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/day-14938">http://www.jstor.org/stable/10.7312/day-14938</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The force of argument essays in honor of Timothy Smiley
ent://SD_ILS/0/SD_ILS:265785
2024-09-02T22:33:10Z
2024-09-02T22:33:10Z
Author Smiley, T. J. (Timothy John) Lear, Jonathan. Oliver, Alex.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203859810">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>