Search Results for Logic. - Narrowed by: E-Book - 2011
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$0025092011$0025092011$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-03T04:12:03Z
Logic demystified
ent://SD_ILS/0/SD_ILS:294115
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Boutelle, Anthony. Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VHDL for logic synthesis
ent://SD_ILS/0/SD_ILS:305729
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Rushton, Andrew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41715">http://www.books24x7.com/marc.asp?bookid=41715</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119995852">http://dx.doi.org/10.1002/9781119995852</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470688472">http://proquest.safaribooksonline.com/?fpi=9780470688472</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg</a>
<a href="http://proquest.safaribooksonline.com/9780470688472">http://proquest.safaribooksonline.com/9780470688472</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Memory-Based Logic Synthesis
ent://SD_ILS/0/SD_ILS:173066
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Sasao, Tsutomu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8104-2">http://dx.doi.org/10.1007/978-1-4419-8104-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aspects of Mathematical Logic
ent://SD_ILS/0/SD_ILS:191571
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Casari, E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Logic and its Proof-Theory
ent://SD_ILS/0/SD_ILS:205716
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gentzen Calculi for Modal Propositional Logic
ent://SD_ILS/0/SD_ILS:205557
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Poggiolesi, Francesca. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9670-8">http://dx.doi.org/10.1007/978-90-481-9670-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic Volume 16
ent://SD_ILS/0/SD_ILS:205856
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0479-4">http://dx.doi.org/10.1007/978-94-007-0479-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic Volume 15
ent://SD_ILS/0/SD_ILS:205858
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0485-5">http://dx.doi.org/10.1007/978-94-007-0485-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:285188
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hitzler, Pascal. Seda, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of logic and language
ent://SD_ILS/0/SD_ILS:148146
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of positive engagement
ent://SD_ILS/0/SD_ILS:376132
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Nincic, Miroslav.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7591/j.ctt7v74h">http://www.jstor.org/stable/10.7591/j.ctt7v74h</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
McGraw-Hill's conquering LSAT logic games
ent://SD_ILS/0/SD_ILS:294045
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Independence-Friendly Logic A Game-Theoretic Approach
ent://SD_ILS/0/SD_ILS:237414
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</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-03T04:12:03Z
2024-09-03T04:12:03Z
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/>
An introduction to practical formal methods using temporal logic
ent://SD_ILS/0/SD_ILS:305703
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Fisher, Michael, 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a>
<a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic based on Schaum's Outline of theory and problems of logic
ent://SD_ILS/0/SD_ILS:293904
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-easy-outline-logic">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Schaum's outline of theory and problems of logic
ent://SD_ILS/0/SD_ILS:293959
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proof, Computation and Agency Logic at the Crossroads
ent://SD_ILS/0/SD_ILS:205741
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Games, Norms and Reasons Logic at the Crossroads
ent://SD_ILS/0/SD_ILS:205924
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0714-6">http://dx.doi.org/10.1007/978-94-007-0714-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase
ent://SD_ILS/0/SD_ILS:147517
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Pejrolo, Andrea.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240522166">http://www.sciencedirect.com/science/book/9780240522166</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Strict Finitism and the Logic of Mathematical Applications
ent://SD_ILS/0/SD_ILS:206041
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ye, Feng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of the Trinity Augustine to Ockham
ent://SD_ILS/0/SD_ILS:239534
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Thom, Paul. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780823253623/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic with a probability semantics including solutions to some philosophical problems
ent://SD_ILS/0/SD_ILS:278532
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hailperin, Theodore.<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=383891">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=383891</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational logic and human thinking how to be artificially intelligent
ent://SD_ILS/0/SD_ILS:278748
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kowalski, Robert.<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=375916">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Techniques in Logic Synthesis, Optimizations and Applications
ent://SD_ILS/0/SD_ILS:172897
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gulati, Kanupriya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7518-8">http://dx.doi.org/10.1007/978-1-4419-7518-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193987
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Balasubramaniam, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19263-0">http://dx.doi.org/10.1007/978-3-642-19263-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194411
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Alpuente, María. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194483
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Mariño, Julio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:194501
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
ent://SD_ILS/0/SD_ILS:194531
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Beklemishev, Lev D. 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-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:194655
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21295-6">http://dx.doi.org/10.1007/978-3-642-21295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194672
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21350-2">http://dx.doi.org/10.1007/978-3-642-21350-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:194717
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21490-5">http://dx.doi.org/10.1007/978-3-642-21490-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194981
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22303-7">http://dx.doi.org/10.1007/978-3-642-22303-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195000
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Leite, João. editor. Torroni, Paolo. editor. Ågotnes, Thomas. editor. Boella, Guido. editor. Torre, Leon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22359-4">http://dx.doi.org/10.1007/978-3-642-22359-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kuchen, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp
ent://SD_ILS/0/SD_ILS:195153
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22830-8">http://dx.doi.org/10.1007/978-3-642-22830-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings
ent://SD_ILS/0/SD_ILS:195424
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Fanelli, Anna Maria. editor. Pedrycz, Witold. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23713-3">http://dx.doi.org/10.1007/978-3-642-23713-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
ent://SD_ILS/0/SD_ILS:205731
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Rini, Adriane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0050-5">http://dx.doi.org/10.1007/978-94-007-0050-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
ent://SD_ILS/0/SD_ILS:205780
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0214-1">http://dx.doi.org/10.1007/978-94-007-0214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
After Gödel Platonism and rationalism in mathematics and logic
ent://SD_ILS/0/SD_ILS:232029
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Tieszen, Richard L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
ent://SD_ILS/0/SD_ILS:191764
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194060
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
ent://SD_ILS/0/SD_ILS:195145
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008
ent://SD_ILS/0/SD_ILS:204527
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Skof, Fulvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1836-5">http://dx.doi.org/10.1007/978-88-470-1836-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs and Algorithms An Introduction to Logic and Computability
ent://SD_ILS/0/SD_ILS:168427
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Dowek, Gilles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-121-9">http://dx.doi.org/10.1007/978-0-85729-121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic and Set Theory Applying Formalized Logic to Analysis
ent://SD_ILS/0/SD_ILS:168601
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-808-9">http://dx.doi.org/10.1007/978-0-85729-808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Value Determination of Supply Chain Initiatives A Quantification Approach Based on Fuzzy Logic and System Dynamics
ent://SD_ILS/0/SD_ILS:200528
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Wessely, Philip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-6323-9">http://dx.doi.org/10.1007/978-3-8349-6323-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Logic and Model Theory A Brief Introduction
ent://SD_ILS/0/SD_ILS:173380
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2176-3">http://dx.doi.org/10.1007/978-1-4471-2176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Science of Operations Machines, Logic and the Invention of Programming
ent://SD_ILS/0/SD_ILS:176007
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Priestley, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-555-0">http://dx.doi.org/10.1007/978-1-84882-555-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193781
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
ent://SD_ILS/0/SD_ILS:194757
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Vasyukevich, Vadim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21611-4">http://dx.doi.org/10.1007/978-3-642-21611-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195554
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Why civil resistance works : the strategic logic of nonviolent conflict
ent://SD_ILS/0/SD_ILS:375712
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Chenoweth, Erica, 1980- author. Stephan, Maria J., author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/chen15682">http://www.jstor.org/stable/10.7312/chen15682</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
ent://SD_ILS/0/SD_ILS:247311
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hopkins, Burt C. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780253005274/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradoxes
ent://SD_ILS/0/SD_ILS:206078
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Łukowski, Piotr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1476-2">http://dx.doi.org/10.1007/978-94-007-1476-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs and Computations
ent://SD_ILS/0/SD_ILS:236373
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Schwichtenberg, Helmut. Wainer, Stanley S..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139031905">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dual Tableaux: Foundations, Methodology, Case Studies
ent://SD_ILS/0/SD_ILS:205717
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods of Cut-Elimination
ent://SD_ILS/0/SD_ILS:205808
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0320-9">http://dx.doi.org/10.1007/978-94-007-0320-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Łukasiewicz calculus and MV-algebras
ent://SD_ILS/0/SD_ILS:205949
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Mundici, D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0840-2">http://dx.doi.org/10.1007/978-94-007-0840-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics
ent://SD_ILS/0/SD_ILS:236304
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Goldblatt, Robert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511862359">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II
ent://SD_ILS/0/SD_ILS:236370
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kechris, Alexander S.. Löwe, Benedikt. Steel, John R..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139028073">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies
ent://SD_ILS/0/SD_ILS:237938
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kennedy, Juliette. Kossak, Roman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Theories and Hyperimaginaries
ent://SD_ILS/0/SD_ILS:237435
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Casanovas, Enrique.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139003728">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Civic talk peers, politics, and the future of democracy
ent://SD_ILS/0/SD_ILS:245961
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Klofstad, Casey A. (Casey Andrew), 1976- Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9781439902745/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approaches to Legal Rationality
ent://SD_ILS/0/SD_ILS:205533
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9588-6">http://dx.doi.org/10.1007/978-90-481-9588-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Belief Revision meets Philosophy of Science
ent://SD_ILS/0/SD_ILS:205540
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Olsson, Erik J. editor. Enqvist, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9609-8">http://dx.doi.org/10.1007/978-90-481-9609-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Otto Neurath and the Unity of Science
ent://SD_ILS/0/SD_ILS:205761
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Symons, John. editor. Pombo, Olga. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0143-4">http://dx.doi.org/10.1007/978-94-007-0143-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Vagueness: A Guide
ent://SD_ILS/0/SD_ILS:205826
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ronzitti, Giuseppina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0375-9">http://dx.doi.org/10.1007/978-94-007-0375-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Treatise on Intuitionistic Type Theory
ent://SD_ILS/0/SD_ILS:206159
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Granström, Johan Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Science Studies as Naturalized Philosophy
ent://SD_ILS/0/SD_ILS:205577
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Collin, Finn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9741-5">http://dx.doi.org/10.1007/978-90-481-9741-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilistic Logics and Probabilistic Networks
ent://SD_ILS/0/SD_ILS:205718
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0008-6">http://dx.doi.org/10.1007/978-94-007-0008-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Formal Epistemology
ent://SD_ILS/0/SD_ILS:205739
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0074-1">http://dx.doi.org/10.1007/978-94-007-0074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright
ent://SD_ILS/0/SD_ILS:170681
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author De Pellegrin, Enzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9909-0">http://dx.doi.org/10.1007/978-1-4020-9909-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning about Preference Dynamics
ent://SD_ILS/0/SD_ILS:206040
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Liu, Fenrong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1344-4">http://dx.doi.org/10.1007/978-94-007-1344-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilities, Causes and Propensities in Physics
ent://SD_ILS/0/SD_ILS:170679
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Suárez, Mauricio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9904-5">http://dx.doi.org/10.1007/978-1-4020-9904-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
ent://SD_ILS/0/SD_ILS:237387
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974236">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trust Networks for Recommender Systems
ent://SD_ILS/0/SD_ILS:207017
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Victor, Patricia. author. Cornelis, Chris. author. de Cock, Martine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-08-4">http://dx.doi.org/10.2991/978-94-91216-08-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Beauty Understanding the Quantum World through Mathematical Innovation
ent://SD_ILS/0/SD_ILS:237420
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Halvorson, Hans.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511976971">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.
ent://SD_ILS/0/SD_ILS:237277
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511667534">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Requirements Engineering
ent://SD_ILS/0/SD_ILS:247874
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Holt, Jon Perry, Simon A Brownsword, Mike<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBPC009E">http://dx.doi.org/10.1049/PBPC009E</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital electronics demystified a self-teaching guide
ent://SD_ILS/0/SD_ILS:294154
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Predko, Michael.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/digital-electronics-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essays on Anscombe's Intention
ent://SD_ILS/0/SD_ILS:230411
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ford, Anton. Hornsby, Jennifer. Stoutland, Frederick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.4159/harvard.9780674060913">http://dx.doi.org/10.4159/harvard.9780674060913</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding counterfactuals, understanding causation issues in philosophy and psychology
ent://SD_ILS/0/SD_ILS:230689
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hoerl, Christoph. McCormack, Teresa. Beck, Sarah.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199590698.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199590698.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
McGraw-Hill's MAT Miller analogies test
ent://SD_ILS/0/SD_ILS:294047
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Zahler, Kathy A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-mat-miller-analogies-test-second-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logical theory
ent://SD_ILS/0/SD_ILS:260400
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Strawson, P. F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203828779">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification in economics and history a sequel to 'scientifization'
ent://SD_ILS/0/SD_ILS:262049
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hamouda, O. F. Price, B. B. (Betsey Barker), 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203721353">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neutrosophic interval bialgebraic structures
ent://SD_ILS/0/SD_ILS:280036
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Vasantha Kandasamy, W. B. Smarandache, Florentin.<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=484382">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=484382</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The promise of reason studies in The new rhetoric
ent://SD_ILS/0/SD_ILS:245033
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Perelman, Chaïm New rhetoric. Gage, John T., 1947- Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780809386284/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of physical design and query compilation
ent://SD_ILS/0/SD_ILS:279182
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Toman, David. Weddell, Grant E. (Grant Edwin), 1954-<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=440450">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital protective relays problems and solutions
ent://SD_ILS/0/SD_ILS:287043
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gurevich, Vladimir, 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439837863">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent automatic generation control
ent://SD_ILS/0/SD_ILS:288000
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bevrani, Hassan. Hiyama, Takashi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439849545">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GIS applications in agriculture. Volume two, Nutrient management for energy efficiency
ent://SD_ILS/0/SD_ILS:290650
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Clay, David (David E.) Shanahan, John Francis, 1955-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420092714">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
McGraw-Hill's LSAT
ent://SD_ILS/0/SD_ILS:294072
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Curvebreakers.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/mcgrawhills-lsat-2012-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Proof is in the Pudding The Changing Nature of Mathematical Proof
ent://SD_ILS/0/SD_ILS:166423
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Krantz, Steven G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-48744-1">http://dx.doi.org/10.1007/978-0-387-48744-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Selected Correspondence of L.E.J. Brouwer
ent://SD_ILS/0/SD_ILS:168529
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-537-8">http://dx.doi.org/10.1007/978-0-85729-537-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
ent://SD_ILS/0/SD_ILS:192389
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13606-1">http://dx.doi.org/10.1007/978-3-642-13606-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193079
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193244
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193696
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193711
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17796-5">http://dx.doi.org/10.1007/978-3-642-17796-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193840
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18275-4">http://dx.doi.org/10.1007/978-3-642-18275-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193874
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193920
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19056-8">http://dx.doi.org/10.1007/978-3-642-19056-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conditionals and Modularity in General Logics
ent://SD_ILS/0/SD_ILS:193923
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
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-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194172
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194162
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hofmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194357
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20398-5">http://dx.doi.org/10.1007/978-3-642-20398-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194393
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20499-9">http://dx.doi.org/10.1007/978-3-642-20499-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:194449
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20674-0">http://dx.doi.org/10.1007/978-3-642-20674-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194462
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20712-9">http://dx.doi.org/10.1007/978-3-642-20712-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:194463
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20715-0">http://dx.doi.org/10.1007/978-3-642-20715-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194517
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:194573
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Sturm, Thomas. editor. Zengler, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21046-4">http://dx.doi.org/10.1007/978-3-642-21046-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194627
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21210-9">http://dx.doi.org/10.1007/978-3-642-21210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194668
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Romanovsky, Alexander. 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-21338-0">http://dx.doi.org/10.1007/978-3-642-21338-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194669
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Calude, Cristian S. editor. Kari, Jarkko. editor. Petre, Ion. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21341-0">http://dx.doi.org/10.1007/978-3-642-21341-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194701
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Butler, Michael. editor. Schulte, Wolfram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21437-0">http://dx.doi.org/10.1007/978-3-642-21437-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194708
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bruni, Roberto. editor. Dingel, Juergen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21461-5">http://dx.doi.org/10.1007/978-3-642-21461-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
ent://SD_ILS/0/SD_ILS:194711
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21470-7">http://dx.doi.org/10.1007/978-3-642-21470-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194718
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Winkler, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21493-6">http://dx.doi.org/10.1007/978-3-642-21493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194835
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kristensen, Lars M. editor. Petrucci, Laure. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21834-7">http://dx.doi.org/10.1007/978-3-642-21834-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194848
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194871
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bishop, Judith. editor. Vallecillo, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21952-8">http://dx.doi.org/10.1007/978-3-642-21952-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194982
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Groce, Alex. editor. Musuvathi, Madanlal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22306-8">http://dx.doi.org/10.1007/978-3-642-22306-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194987
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Mauri, Giancarlo. editor. Leporati, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22321-1">http://dx.doi.org/10.1007/978-3-642-22321-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195078
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22600-7">http://dx.doi.org/10.1007/978-3-642-22600-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
ent://SD_ILS/0/SD_ILS:195095
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Mezini, Mira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22655-7">http://dx.doi.org/10.1007/978-3-642-22655-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195162
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195273
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195275
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23217-6">http://dx.doi.org/10.1007/978-3-642-23217-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195296
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Cerone, Antonio. editor. Pihlajasaari, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23283-1">http://dx.doi.org/10.1007/978-3-642-23283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195420
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195619
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24372-1">http://dx.doi.org/10.1007/978-3-642-24372-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195629
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kivinen, Jyrki. editor. Szepesvári, Csaba. editor. Ukkonen, Esko. 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-24412-4">http://dx.doi.org/10.1007/978-3-642-24412-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195636
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Salaün, Gwen. editor. Schätz, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24431-5">http://dx.doi.org/10.1007/978-3-642-24431-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195642
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24452-0">http://dx.doi.org/10.1007/978-3-642-24452-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195562
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on High-Performance Embedded Architectures and Compilers IV
ent://SD_ILS/0/SD_ILS:195677
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Stenström, Per. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24568-8">http://dx.doi.org/10.1007/978-3-642-24568-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195681
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24580-0">http://dx.doi.org/10.1007/978-3-642-24580-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195687
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Klügl, Franziska. editor. Ossowski, Sascha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24603-6">http://dx.doi.org/10.1007/978-3-642-24603-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195688
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Jeusfeld, Manfred. editor. Delcambre, Lois. editor. Ling, Tok-Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24606-7">http://dx.doi.org/10.1007/978-3-642-24606-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195716
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195734
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Thomas, Nigel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24749-1">http://dx.doi.org/10.1007/978-3-642-24749-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:196127
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27207-3">http://dx.doi.org/10.1007/978-3-642-27207-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Prospects of Legal Semiotics
ent://SD_ILS/0/SD_ILS:205467
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Wagner, Anne. editor. Broekman, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9343-1">http://dx.doi.org/10.1007/978-90-481-9343-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI Physical Design: From Graph Partitioning to Timing Closure
ent://SD_ILS/0/SD_ILS:205534
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9591-6">http://dx.doi.org/10.1007/978-90-481-9591-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Argument Structure: Representation and Theory
ent://SD_ILS/0/SD_ILS:205820
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Freeman, James B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0357-5">http://dx.doi.org/10.1007/978-94-007-0357-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational Theories of Classical and Constructive Mathematics
ent://SD_ILS/0/SD_ILS:205842
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Sommaruga, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0431-2">http://dx.doi.org/10.1007/978-94-007-0431-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits
ent://SD_ILS/0/SD_ILS:205904
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ben Jamaa, M. Haykel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0650-7">http://dx.doi.org/10.1007/978-94-007-0650-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Controversy as News Discourse
ent://SD_ILS/0/SD_ILS:206022
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Cramer, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1288-1">http://dx.doi.org/10.1007/978-94-007-1288-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recursion Theory and Computational Complexity
ent://SD_ILS/0/SD_ILS:191568
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Lolli, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193070
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15739-4">http://dx.doi.org/10.1007/978-3-642-15739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge in Formation A Computational Theory of Interpretation
ent://SD_ILS/0/SD_ILS:193503
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17089-8">http://dx.doi.org/10.1007/978-3-642-17089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Working with Preferences: Less Is More Less Is More
ent://SD_ILS/0/SD_ILS:193554
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kaci, Souhila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17280-9">http://dx.doi.org/10.1007/978-3-642-17280-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193978
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19237-1">http://dx.doi.org/10.1007/978-3-642-19237-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193968
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19208-1">http://dx.doi.org/10.1007/978-3-642-19208-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Mining Discovery, Conformance and Enhancement of Business Processes
ent://SD_ILS/0/SD_ILS:194012
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19345-3">http://dx.doi.org/10.1007/978-3-642-19345-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:194028
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194045
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Malloy, Brian. editor. Staab, Steffen. editor. Brand, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19440-5">http://dx.doi.org/10.1007/978-3-642-19440-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on High-Performance Embedded Architectures and Compilers III
ent://SD_ILS/0/SD_ILS:194048
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Stenström, Per. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19448-1">http://dx.doi.org/10.1007/978-3-642-19448-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194090
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19583-9">http://dx.doi.org/10.1007/978-3-642-19583-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hyperfinite Dirichlet Forms and Stochastic Processes
ent://SD_ILS/0/SD_ILS:194114
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19659-1">http://dx.doi.org/10.1007/978-3-642-19659-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194133
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194164
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19811-3">http://dx.doi.org/10.1007/978-3-642-19811-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194170
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19829-8">http://dx.doi.org/10.1007/978-3-642-19829-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194785
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194799
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Cabot, Jordi. editor. Visser, Eelco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21732-6">http://dx.doi.org/10.1007/978-3-642-21732-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194811
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gogolla, Martin. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21768-5">http://dx.doi.org/10.1007/978-3-642-21768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Objects to Diagrams for Ranges of Functors
ent://SD_ILS/0/SD_ILS:194813
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gillibert, Pierre. author. Wehrung, Friedrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21774-6">http://dx.doi.org/10.1007/978-3-642-21774-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:194889
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development VIII
ent://SD_ILS/0/SD_ILS:194895
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22031-9">http://dx.doi.org/10.1007/978-3-642-22031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194899
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Apel, Sven. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22045-6">http://dx.doi.org/10.1007/978-3-642-22045-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194918
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22110-1">http://dx.doi.org/10.1007/978-3-642-22110-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194747
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194930
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Liu, Weiru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194965
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bouchou-Markhoff, Béatrice. editor. Caron, Pascal. editor. Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22256-6">http://dx.doi.org/10.1007/978-3-642-22256-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195090
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22636-6">http://dx.doi.org/10.1007/978-3-642-22636-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195009
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22386-0">http://dx.doi.org/10.1007/978-3-642-22386-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Apartness and Uniformity A Constructive Development
ent://SD_ILS/0/SD_ILS:195019
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195117
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195027
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bjørner, Nikolaj. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22438-6">http://dx.doi.org/10.1007/978-3-642-22438-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195188
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Page, Rex. editor. Horváth, Zoltán. 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-22941-1">http://dx.doi.org/10.1007/978-3-642-22941-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195189
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22944-2">http://dx.doi.org/10.1007/978-3-642-22944-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195192
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22953-4">http://dx.doi.org/10.1007/978-3-642-22953-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195206
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195225
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23059-2">http://dx.doi.org/10.1007/978-3-642-23059-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195231
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23082-0">http://dx.doi.org/10.1007/978-3-642-23082-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195446
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Lee, Jimmy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23786-7">http://dx.doi.org/10.1007/978-3-642-23786-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195450
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Crnkovic, Ivica. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23798-0">http://dx.doi.org/10.1007/978-3-642-23798-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195599
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24310-3">http://dx.doi.org/10.1007/978-3-642-24310-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:198771
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Un mondo di idee La matematica ovunque
ent://SD_ILS/0/SD_ILS:204501
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1744-3">http://dx.doi.org/10.1007/978-88-470-1744-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logica: Metodo Breve
ent://SD_ILS/0/SD_ILS:204542
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Giving Reasons A Linguistic-Pragmatic Approach to Argumentation Theory
ent://SD_ILS/0/SD_ILS:206167
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bermejo Luque, Lilian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1761-9">http://dx.doi.org/10.1007/978-94-007-1761-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics
ent://SD_ILS/0/SD_ILS:167264
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Soifer, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75472-7">http://dx.doi.org/10.1007/978-0-387-75472-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to the Theory of Programming Languages
ent://SD_ILS/0/SD_ILS:168414
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification of Software Systems
ent://SD_ILS/0/SD_ILS:168476
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs and Fundamentals A First Course in Abstract Mathematics
ent://SD_ILS/0/SD_ILS:172780
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Bloch, Ethan D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7127-2">http://dx.doi.org/10.1007/978-1-4419-7127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brazilian Studies in Philosophy and History of Science An account of recent works
ent://SD_ILS/0/SD_ILS:205491
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Krause, Décio. editor. Videira, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9422-3">http://dx.doi.org/10.1007/978-90-481-9422-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interpreted Languages and Compositionality
ent://SD_ILS/0/SD_ILS:206265
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kracht, Marcus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2108-1">http://dx.doi.org/10.1007/978-94-007-2108-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Dynamics of Information and Interaction
ent://SD_ILS/0/SD_ILS:236844
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author van Benthem, Johan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974533">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition
ent://SD_ILS/0/SD_ILS:238953
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Linsky, Bernard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511760181">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proof Analysis A Contribution to Hilbert's Last Problem
ent://SD_ILS/0/SD_ILS:239026
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Negri, Sara. von Plato, Jan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139003513">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Why Is Everyone Else Wrong? Explorations in Truth and Reason
ent://SD_ILS/0/SD_ILS:173002
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Machan, Tibor R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7859-2">http://dx.doi.org/10.1007/978-1-4419-7859-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reading, Writing, and Proving A Closer Look at Mathematics
ent://SD_ILS/0/SD_ILS:173223
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9479-0">http://dx.doi.org/10.1007/978-1-4419-9479-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Theory and Applications
ent://SD_ILS/0/SD_ILS:191585
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Mangani, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11121-1">http://dx.doi.org/10.1007/978-3-642-11121-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cantor und die Franzosen Mathematik, Philosophie und das Unendliche
ent://SD_ILS/0/SD_ILS:192795
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Décaillot, Anne-Marie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14869-9">http://dx.doi.org/10.1007/978-3-642-14869-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193308
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technische Informatik Band 2: Entwurf digitaler Schaltungen
ent://SD_ILS/0/SD_ILS:193603
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kemnitz, Günter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17447-6">http://dx.doi.org/10.1007/978-3-642-17447-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:193780
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Fernandes, João M. editor. Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18023-1">http://dx.doi.org/10.1007/978-3-642-18023-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193795
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18070-5">http://dx.doi.org/10.1007/978-3-642-18070-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193805
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Domaratzki, Michael. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18098-9">http://dx.doi.org/10.1007/978-3-642-18098-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194920
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194771
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21652-7">http://dx.doi.org/10.1007/978-3-642-21652-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195331
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23391-3">http://dx.doi.org/10.1007/978-3-642-23391-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195588
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24276-2">http://dx.doi.org/10.1007/978-3-642-24276-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195591
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Delzanno, Giorgio. 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-24288-5">http://dx.doi.org/10.1007/978-3-642-24288-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195616
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24364-6">http://dx.doi.org/10.1007/978-3-642-24364-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
ent://SD_ILS/0/SD_ILS:195796
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24933-4">http://dx.doi.org/10.1007/978-3-642-24933-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195825
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25032-3">http://dx.doi.org/10.1007/978-3-642-25032-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195911
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195929
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The nature of race : how scientists think and teach about human difference
ent://SD_ILS/0/SD_ILS:375675
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Morning, Ann Juanita, 1968-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.1525/j.ctt1pnrht">http://www.jstor.org/stable/10.1525/j.ctt1pnrht</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A radical philosophy of Saint Paul
ent://SD_ILS/0/SD_ILS:375739
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Breton, Stanislas.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/bret15104">http://www.jstor.org/stable/10.7312/bret15104</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
China's regulatory state : a new strategy for globalization
ent://SD_ILS/0/SD_ILS:375827
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Hsueh, Roselyn, 1977-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7591/j.ctt7z6z0">http://www.jstor.org/stable/10.7591/j.ctt7z6z0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Apoha : Buddhist nominalism and human cognition
ent://SD_ILS/0/SD_ILS:375965
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Siderits, Mark, 1946- Tillemans, Tom J. F. Chakrabarti, Arindam.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/side15360">http://www.jstor.org/stable/10.7312/side15360</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hermeneutic communism : from Heidegger to Marx
ent://SD_ILS/0/SD_ILS:376001
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Vattimo, Gianni, 1936- Zabala, Santiago, 1975-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/vatt15802">http://www.jstor.org/stable/10.7312/vatt15802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gameplay mode : war, simulation, and technoculture
ent://SD_ILS/0/SD_ILS:376194
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Crogan, Patrick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.5749/j.ctttv857">http://www.jstor.org/stable/10.5749/j.ctttv857</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
After evil : a politics of human rights
ent://SD_ILS/0/SD_ILS:375140
2024-09-03T04:12:03Z
2024-09-03T04:12:03Z
Author Meister, Robert, 1947-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.7312/meis15036">http://www.jstor.org/stable/10.7312/meis15036</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>