Search Results for Logic. - Narrowed by: 2013
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-11-09T05:53:29Z
Logic and Structure
ent://SD_ILS/0/SD_ILS:331010
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331010.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Paraconsistency: Logic and Applications
ent://SD_ILS/0/SD_ILS:335759
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335759.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4438-7">http://dx.doi.org/10.1007/978-94-007-4438-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Logic Programming with Prolog
ent://SD_ILS/0/SD_ILS:331207
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331207.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5487-7">http://dx.doi.org/10.1007/978-1-4471-5487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of practice
ent://SD_ILS/0/SD_ILS:90557
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number GN 468 B6813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic of analog and digital machines
ent://SD_ILS/0/SD_ILS:281465
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Rocchi, Paolo.<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=581746">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331853.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanical logic in three-dimensional space
ent://SD_ILS/0/SD_ILS:342612
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Auletta, Gennaro, author.<br/>Preferred Shelf Number ONLINE(342612.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9789814411516">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Judgement and the Epistemic Foundation of Logic
ent://SD_ILS/0/SD_ILS:335895
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author van der Schaar, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335895.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5137-8">http://dx.doi.org/10.1007/978-94-007-5137-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Later medieval metaphysics ontology, language, and logic
ent://SD_ILS/0/SD_ILS:239904
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Keele, Rondo, 1968- Bolyard, Charles. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780823250233/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bede, Barnabas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333950.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</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-11-09T05:53:29Z
2024-11-09T05:53:29Z
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/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number BC 108 B65 1928 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
ent://SD_ILS/0/SD_ILS:336157
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cellucci, Carlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Postmodernism, or, The cultural logic of late capitalism
ent://SD_ILS/0/SD_ILS:76042
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Making sense of Micronesia the logic of Pacific island culture
ent://SD_ILS/0/SD_ILS:239851
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hezel, Francis X. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780824837815/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Home is where the school is the logic of homeschooling and the emotional labor of mothering
ent://SD_ILS/0/SD_ILS:239723
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Lois, Jennifer. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780814789438/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Action and character according to Aristotle the logic of the moral life
ent://SD_ILS/0/SD_ILS:241673
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Flannery, Kevin L. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780813221618/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
ent://SD_ILS/0/SD_ILS:333898
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Aliev, Rafik Aziz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333898.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34895-2">http://dx.doi.org/10.1007/978-3-642-34895-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334875
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334875.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
ent://SD_ILS/0/SD_ILS:336850
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336850.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332970
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332970.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03200-9">http://dx.doi.org/10.1007/978-3-319-03200-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty
ent://SD_ILS/0/SD_ILS:333243
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Starczewski, Janusz T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333243.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29520-1">http://dx.doi.org/10.1007/978-3-642-29520-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Advances in Nanoelectronic Devices Logic, Memory and RF
ent://SD_ILS/0/SD_ILS:333427
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Joodaki, Mojtaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333427.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31350-9">http://dx.doi.org/10.1007/978-3-642-31350-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334105.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ent://SD_ILS/0/SD_ILS:334139
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334139.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36166-1">http://dx.doi.org/10.1007/978-3-642-36166-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Early Software Reliability Prediction A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:335512
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335512.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic
ent://SD_ILS/0/SD_ILS:338483
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Drengner, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338483.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-4198-5">http://dx.doi.org/10.1007/978-3-8349-4198-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic
ent://SD_ILS/0/SD_ILS:331780
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ollongren, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331780.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5468-7">http://dx.doi.org/10.1007/978-1-4614-5468-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop
ent://SD_ILS/0/SD_ILS:333670
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Lorente, Nicolas. editor. Joachim, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333670.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33137-4">http://dx.doi.org/10.1007/978-3-642-33137-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Puzzles in Logic, Languages and Computation The Green Book
ent://SD_ILS/0/SD_ILS:333840
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Radev, Dragomir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333840.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34372-8">http://dx.doi.org/10.1007/978-3-642-34372-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Puzzles in Logic, Languages and Computation The Red Book
ent://SD_ILS/0/SD_ILS:333842
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Radev, Dragomir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333842.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34378-0">http://dx.doi.org/10.1007/978-3-642-34378-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334337
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334337.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36976-6">http://dx.doi.org/10.1007/978-3-642-36976-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334673.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334979
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Preferred Shelf Number ONLINE(334979.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335118
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.<br/>Preferred Shelf Number ONLINE(335118.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41524-1">http://dx.doi.org/10.1007/978-3-642-41524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570–1689)
ent://SD_ILS/0/SD_ILS:335856
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Sgarbi, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335856.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4951-1">http://dx.doi.org/10.1007/978-94-007-4951-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The World-Time Parallel Tense and Modality in Logic and Metaphysics
ent://SD_ILS/0/SD_ILS:235840
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Rini, A. A.. Cresswell, M. J..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139084215">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The outer limits of reason what science, mathematics, and logic cannot tell us
ent://SD_ILS/0/SD_ILS:241102
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Yanofsky, Noson S., 1967- Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780262316774/">Full text available: </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:371616
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Tieszen, Richard L., author.<br/>Preferred Shelf Number QA9 T54 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kurt Gödel Essays for his Centennial
ent://SD_ILS/0/SD_ILS:236216
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Reasoning with Diagrams
ent://SD_ILS/0/SD_ILS:332637
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332637.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a General Theory of Classifications
ent://SD_ILS/0/SD_ILS:332639
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332639.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Truth An updated approach to the meaning of truth ascriptions
ent://SD_ILS/0/SD_ILS:335763
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Frapolli, Maria Jose. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335763.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4464-6">http://dx.doi.org/10.1007/978-94-007-4464-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Argument of Mathematics
ent://SD_ILS/0/SD_ILS:336263
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336263.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A treatise on induction and probability
ent://SD_ILS/0/SD_ILS:55443
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 91 W72 1951 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
ent://SD_ILS/0/SD_ILS:72527
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N5 1930 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:72539
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 6 W72 1957 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Debate Dynamics: How Controversy Improves Our Beliefs
ent://SD_ILS/0/SD_ILS:335787
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Betz, Gregor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335787.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4599-5">http://dx.doi.org/10.1007/978-94-007-4599-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Existence as a Real Property The Ontology of Meinongianism
ent://SD_ILS/0/SD_ILS:335738
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Berto, Francesco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335738.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4207-9">http://dx.doi.org/10.1007/978-94-007-4207-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bayesian Argumentation The practical side of probability
ent://SD_ILS/0/SD_ILS:335956
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Zenker, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335956.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5357-0">http://dx.doi.org/10.1007/978-94-007-5357-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functions: selection and mechanisms
ent://SD_ILS/0/SD_ILS:335942
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Huneman, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335942.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5304-4">http://dx.doi.org/10.1007/978-94-007-5304-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Set theory
ent://SD_ILS/0/SD_ILS:352659
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Kunen, Kenneth.<br/>Preferred Shelf Number QA248 K858 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Around the Tree Semantic and Metaphysical Issues Concerning Branching and the Open Future
ent://SD_ILS/0/SD_ILS:335903
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Correia, Fabrice. editor. Iacona, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335903.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5167-5">http://dx.doi.org/10.1007/978-94-007-5167-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:79068
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number R 857.S47 N66 2000- V.2<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Communication : a philosophical study of language
ent://SD_ILS/0/SD_ILS:72500
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Dialectic
ent://SD_ILS/0/SD_ILS:72501
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:76943
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Akay, Metin.<br/>Preferred Shelf Number QT 26.5 N813 2000-<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Plato's use of fallacy a study of the Euthydemus and some other dialogues
ent://SD_ILS/0/SD_ILS:259522
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Sprague, Rosamond Kent.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203101544">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logicism and its philosophical legacy
ent://SD_ILS/0/SD_ILS:280304
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Demopoulos, William.<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=508286">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Practice of social research
ent://SD_ILS/0/SD_ILS:248974
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Babbie, Earl R.<br/>Preferred Shelf Number H62 B2 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Dialogic education for the Internet age
ent://SD_ILS/0/SD_ILS:258826
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Wegerif, Rupert, 1959-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203111222">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:271169
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Rosen, Kenneth H. Krithivasan, Kamala.<br/>Preferred Shelf Number QA39.3 R674 2013<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
An introduction to Gödel's theorems
ent://SD_ILS/0/SD_ILS:280594
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Smith, Peter, 1944- author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nanoelectronic device applications handbook
ent://SD_ILS/0/SD_ILS:290971
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author IEEE International Conference on Nanotechnology (11th : 2011 : Portland, Ore.) Morris, James E. Iniewski, Krzysztof.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466565241">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334073.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334077
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:334079
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334079.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334080
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.<br/>Preferred Shelf Number ONLINE(334080.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334041
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(334041.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Rough Sets XVI
ent://SD_ILS/0/SD_ILS:334220
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.<br/>Preferred Shelf Number ONLINE(334220.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36505-8">http://dx.doi.org/10.1007/978-3-642-36505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334494
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334494.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334868
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334868.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39931-2">http://dx.doi.org/10.1007/978-3-642-39931-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334877
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334877.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334904
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40176-3">http://dx.doi.org/10.1007/978-3-642-40176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334905
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334905.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334913
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334913.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335034
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335034.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40972-1">http://dx.doi.org/10.1007/978-3-642-40972-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335040
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335040.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335202
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335202.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335204
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335204.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
User-Level Workflow Design A Bioinformatics Perspective
ent://SD_ILS/0/SD_ILS:335213
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335213.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335217
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335217.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335227
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335227.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
ent://SD_ILS/0/SD_ILS:335433
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335433.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teoria degli Automi Finiti
ent://SD_ILS/0/SD_ILS:335644
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335644.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ent://SD_ILS/0/SD_ILS:335941
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335941.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
ent://SD_ILS/0/SD_ILS:336968
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Tapp, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-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:337115
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
ent://SD_ILS/0/SD_ILS:337578
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337578.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00725-6">http://dx.doi.org/10.1007/978-3-658-00725-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cullinane, Michael J.<br/>Preferred Shelf Number QA9 C84 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Danişname-i Alai : Alai hikmet kitabı
ent://SD_ILS/0/SD_ILS:274739
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author İbn Sina Demirkol, Murat çeviren. Deniz, Gürbüz editör.<br/>Preferred Shelf Number B751.I13 D183 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Gas turbine diagnostics signal processing and fault isolation
ent://SD_ILS/0/SD_ILS:290944
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ganguli, Ranjan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466502819">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
ent://SD_ILS/0/SD_ILS:330942
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330942.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
ent://SD_ILS/0/SD_ILS:331002
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
ent://SD_ILS/0/SD_ILS:331026
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Dalen, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331026.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4616-2">http://dx.doi.org/10.1007/978-1-4471-4616-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:331210
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5514-0">http://dx.doi.org/10.1007/978-1-4471-5514-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
ent://SD_ILS/0/SD_ILS:332681
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Pudlák, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332681.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Computer Mathematics Tutorials on Theory and Problems
ent://SD_ILS/0/SD_ILS:332887
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bagdasar, Ovidiu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332887.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01751-8">http://dx.doi.org/10.1007/978-3-319-01751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332979
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332979.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03524-6">http://dx.doi.org/10.1007/978-3-319-03524-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332981
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332981.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332982.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333011
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(333011.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
ent://SD_ILS/0/SD_ILS:333036
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333558
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1
ent://SD_ILS/0/SD_ILS:334017
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334017.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35641-4">http://dx.doi.org/10.1007/978-3-642-35641-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
ent://SD_ILS/0/SD_ILS:334018
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334018.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334034
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334034.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334092
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.<br/>Preferred Shelf Number ONLINE(334092.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334111
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334111.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36062-6">http://dx.doi.org/10.1007/978-3-642-36062-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334136
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334136.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
ent://SD_ILS/0/SD_ILS:334156
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334156.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334174
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334174.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334278
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Logics Essays in Memory of Harald Ganzinger
ent://SD_ILS/0/SD_ILS:334468
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334468.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334354
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334355
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334562
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334562.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334564
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334533
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VII
ent://SD_ILS/0/SD_ILS:334545
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Preferred Shelf Number ONLINE(334545.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334771
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334771.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334772
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Erdős Centennial
ent://SD_ILS/0/SD_ILS:334774
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334774.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39286-3">http://dx.doi.org/10.1007/978-3-642-39286-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334778.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334781
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE(334781.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334697
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334697.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334702.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334708
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334708.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334711
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334711.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334714
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Drira, Khalil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334715.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335003
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335003.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334907
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334907.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40196-1">http://dx.doi.org/10.1007/978-3-642-40196-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334911
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334911.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334832.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334840
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334840.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335030
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335031
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335031.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40942-4">http://dx.doi.org/10.1007/978-3-642-40942-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
ent://SD_ILS/0/SD_ILS:334934
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40355-2">http://dx.doi.org/10.1007/978-3-642-40355-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334946
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334946.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40447-4">http://dx.doi.org/10.1007/978-3-642-40447-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VIII
ent://SD_ILS/0/SD_ILS:334949
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334949.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Binary Number System Algorithms and Circuits
ent://SD_ILS/0/SD_ILS:335470
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Jamil, Tariq. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335470.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
ent://SD_ILS/0/SD_ILS:337476
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337476.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Önermeler mantığı
ent://SD_ILS/0/SD_ILS:311337
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Nesin, Ali.<br/>Preferred Shelf Number QA270 N476 2013<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Digital design
ent://SD_ILS/0/SD_ILS:313378
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Mano, M. Morris. Ciletti, Michael D.<br/>Preferred Shelf Number TK7888.3 M343 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Social Semantics The Search for Meaning on the Web
ent://SD_ILS/0/SD_ILS:331289
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Halpin, Harry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331289.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1885-6">http://dx.doi.org/10.1007/978-1-4614-1885-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Logical Introduction to Proof
ent://SD_ILS/0/SD_ILS:331358
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cunningham, Daniel W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3631-7">http://dx.doi.org/10.1007/978-1-4614-3631-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
ent://SD_ILS/0/SD_ILS:331582
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.<br/>Preferred Shelf Number ONLINE(331582.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4769-6">http://dx.doi.org/10.1007/978-1-4614-4769-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Programming Theory and Practice
ent://SD_ILS/0/SD_ILS:331611
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Shankar, A. Udaya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331611.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Invitation to Abstract Mathematics
ent://SD_ILS/0/SD_ILS:332077
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bajnok, Béla. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332077.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6636-9">http://dx.doi.org/10.1007/978-1-4614-6636-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332107.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Paul Erdős II
ent://SD_ILS/0/SD_ILS:332243
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332243.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7254-4">http://dx.doi.org/10.1007/978-1-4614-7254-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
ent://SD_ILS/0/SD_ILS:332605
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hinkis, Arie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332605.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0224-6">http://dx.doi.org/10.1007/978-3-0348-0224-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
ent://SD_ILS/0/SD_ILS:332859
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01333-6">http://dx.doi.org/10.1007/978-3-319-01333-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Real Numbers An Introduction to Set Theory and Analysis
ent://SD_ILS/0/SD_ILS:332876
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Stillwell, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332876.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01577-4">http://dx.doi.org/10.1007/978-3-319-01577-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332910
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332921
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332964
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.<br/>Preferred Shelf Number ONLINE(332964.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Calculus with Infinitesimals
ent://SD_ILS/0/SD_ILS:333673
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Herzberg, Frederik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333673.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33149-7">http://dx.doi.org/10.1007/978-3-642-33149-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial Deployment of System Engineering Methods
ent://SD_ILS/0/SD_ILS:333675
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333675.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334465.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Language of Mathematics A Linguistic and Philosophical Investigation
ent://SD_ILS/0/SD_ILS:334341
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ganesalingam, Mohan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334341.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37012-0">http://dx.doi.org/10.1007/978-3-642-37012-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334348
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334580.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334610
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334610.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334630
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334630.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334631
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334634
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334634.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334651
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334658
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334658.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology Matching
ent://SD_ILS/0/SD_ILS:334659
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334659.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38721-0">http://dx.doi.org/10.1007/978-3-642-38721-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334665.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334666
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334666.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
ent://SD_ILS/0/SD_ILS:334688
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334691
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334691.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
ent://SD_ILS/0/SD_ILS:334978
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334978.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Schulte, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334980.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334985
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334985.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334987.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:334814
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334814.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334725
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334725.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Gaag, Linda C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334728.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334743
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334743.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335072
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335072.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335100.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335120
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335125
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335125.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335126
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hinze, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335126.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335131
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.<br/>Preferred Shelf Number ONLINE(335131.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
ent://SD_ILS/0/SD_ILS:335138
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number ONLINE(335138.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335141
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradoxes in Probability Theory
ent://SD_ILS/0/SD_ILS:335896
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Eckhardt, William. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335896.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5140-8">http://dx.doi.org/10.1007/978-94-007-5140-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Digital Automata
ent://SD_ILS/0/SD_ILS:335923
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Borowik, Bohdan. author. Karpinskyy, Mykola. author. Lahno, Valery. author. Petrov, Oleksandr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335923.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5228-3">http://dx.doi.org/10.1007/978-94-007-5228-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
ent://SD_ILS/0/SD_ILS:336496
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Mogavero, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336496.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital design
ent://SD_ILS/0/SD_ILS:354119
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Mano, M. Morris<br/>Preferred Shelf Number TK7888.3 M341 2013<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Digital design and computer architecture
ent://SD_ILS/0/SD_ILS:354125
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Harris, David Money Harris, Sarah L.<br/>Preferred Shelf Number TK7868.D5 H34 2013<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Electronics with discrete components
ent://SD_ILS/0/SD_ILS:312232
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Galvez, Enrique Jose, 1956-<br/>Preferred Shelf Number TK7816 G35 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Microelectronics to nanoelectronics materials, devices & manufacturability
ent://SD_ILS/0/SD_ILS:289028
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Kaul, Anupama B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466509559">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334821
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334822
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335024
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334848
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334848.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334851
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334851.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335150
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335150.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
ent://SD_ILS/0/SD_ILS:338283
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338283.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
ent://SD_ILS/0/SD_ILS:338349
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Schenke, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338349.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2295-6">http://dx.doi.org/10.1007/978-3-8348-2295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOI lubistors : lateral, unidirectional, bipolar-type insulated-gate transistors
ent://SD_ILS/0/SD_ILS:341557
2024-11-09T05:53:29Z
2024-11-09T05:53:29Z
Author Omura, Y. (Yasuhisa)<br/>Preferred Shelf Number ONLINE(341557.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1002/9781118487914">http://dx.doi.org/10.1002/9781118487914</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>