Search Results for -- ANSİKLOPEDİLER. - Narrowed by: SpringerLink (Online service) - 2012 - Artificial intelligence. - Computer science. - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-01T05:02:50Z
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196452
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28472-4">http://dx.doi.org/10.1007/978-3-642-28472-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
ent://SD_ILS/0/SD_ILS:196468
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196774
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197076
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
ent://SD_ILS/0/SD_ILS:197087
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
ent://SD_ILS/0/SD_ILS:197102
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197115
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197191
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197160
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31951-8">http://dx.doi.org/10.1007/978-3-642-31951-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197295
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Durand-Lose, Jérôme. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32894-7">http://dx.doi.org/10.1007/978-3-642-32894-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197296
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197473
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Bshouty, Nader H. editor. Stoltz, Gilles. editor. Vayatis, Nicolas. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34106-9">http://dx.doi.org/10.1007/978-3-642-34106-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars
ent://SD_ILS/0/SD_ILS:197476
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Steels, Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34120-5">http://dx.doi.org/10.1007/978-3-642-34120-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197459
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197587
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
ent://SD_ILS/0/SD_ILS:203972
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54106-6">http://dx.doi.org/10.1007/978-4-431-54106-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The NCL Natural Constraint Language
ent://SD_ILS/0/SD_ILS:195465
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Zhou, Jianyang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23845-1">http://dx.doi.org/10.1007/978-3-642-23845-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196286
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27872-3">http://dx.doi.org/10.1007/978-3-642-27872-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196271
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196402
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196418
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:196616
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196520
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Birkedal, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196526
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196693
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196702
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197048
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31262-5">http://dx.doi.org/10.1007/978-3-642-31262-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197066
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31374-5">http://dx.doi.org/10.1007/978-3-642-31374-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197106
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197211
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197361
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Cerro, Luis Fariñas. editor. Herzig, Andreas. editor. Mengin, Jérôme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33353-8">http://dx.doi.org/10.1007/978-3-642-33353-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197419
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33675-1">http://dx.doi.org/10.1007/978-3-642-33675-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197437
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197592
2024-09-01T05:02:50Z
2024-09-01T05:02:50Z
Author Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>