Search Results for Software. - Narrowed by: Programming Techniques.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-29T17:34:25Z
Transactions on Aspect-Oriented Software Development X
ent://SD_ILS/0/SD_ILS:334333
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334333.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36964-3">http://dx.doi.org/10.1007/978-3-642-36964-3</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Requirements Engineering and Management for Software Development Projects
ent://SD_ILS/0/SD_ILS:331756
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Chemuturi, Murali. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:334109
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
ent://SD_ILS/0/SD_ILS:334706
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334706.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334844
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334844.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334870
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Distributed Programming Theory and Practice
ent://SD_ILS/0/SD_ILS:331611
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Scala Design Patterns Patterns for Practical Reuse and Design
ent://SD_ILS/0/SD_ILS:332904
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335210
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
ent://SD_ILS/0/SD_ILS:335216
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Network Programming with Java Java 7 Compatible
ent://SD_ILS/0/SD_ILS:331180
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Graba, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331180.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Network Programming – Principles and Techniques Network Application Programming with Java
ent://SD_ILS/0/SD_ILS:331186
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331186.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5292-7">http://dx.doi.org/10.1007/978-1-4471-5292-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Programming and Algorithms Using R
ent://SD_ILS/0/SD_ILS:331192
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Ergül, Özgür. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331192.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5328-3">http://dx.doi.org/10.1007/978-1-4471-5328-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335124
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41575-3">http://dx.doi.org/10.1007/978-3-642-41575-3</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Genetic Programming Theory and Practice X
ent://SD_ILS/0/SD_ILS:332135
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332135.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334025
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.<br/>Preferred Shelf Number ONLINE(334025.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
ent://SD_ILS/0/SD_ILS:334327
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334711
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Transactions on Pattern Languages of Programming III
ent://SD_ILS/0/SD_ILS:334647
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334647.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Ada 2012 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:335195
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
ent://SD_ILS/0/SD_ILS:330912
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330912.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4126-6">http://dx.doi.org/10.1007/978-1-4471-4126-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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334469
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334652
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334652.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38700-5">http://dx.doi.org/10.1007/978-3-642-38700-5</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334990
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334990.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40698-0">http://dx.doi.org/10.1007/978-3-642-40698-0</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-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
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/>
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335028
2024-12-29T17:34:25Z
2024-12-29T17:34:25Z
Author Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335028.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>