Search Results for - Narrowed by: Springer Collection - Programming Techniques.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AONLINESPR$002509Springer$002bCollection$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300?2024-05-28T09:17:04ZSystems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:20842362024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wang, K.C. author.<br/><a href="https://doi.org/10.1007/978-3-319-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format: Electronic Resources<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:20846422024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hunt, John. author.<br/><a href="https://doi.org/10.1007/978-3-319-75771-1">https://doi.org/10.1007/978-3-319-75771-1</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20855312024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848612024-05-28T09:17:04Z2024-05-28T09:17:04Zby Cabello, Enrique. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851522024-05-28T09:17:04Z2024-05-28T09:17:04Zby Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format: Electronic Resources<br/>Guide to Programming for the Digital Humanities Lessons for Introductory Pythonent://SD_ILS/0/SD_ILS:20842202024-05-28T09:17:04Z2024-05-28T09:17:04Zby Kokensparger, Brian. author.<br/><a href="https://doi.org/10.1007/978-3-319-99115-3">https://doi.org/10.1007/978-3-319-99115-3</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853612024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ciucci, Davide. editor. (orcid)0000-0002-8083-7809<br/><a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format: Electronic Resources<br/>Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20856292024-05-28T09:17:04Z2024-05-28T09:17:04Zby Chandrasekaran, Sunita. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format: Electronic Resources<br/>Algorithms for Functional Programmingent://SD_ILS/0/SD_ILS:20844002024-05-28T09:17:04Z2024-05-28T09:17:04Zby Stone, John David. author.<br/><a href="https://doi.org/10.1007/978-3-662-57970-1">https://doi.org/10.1007/978-3-662-57970-1</a><br/>Format: Electronic Resources<br/>Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Damiani, Ernesto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851392024-05-28T09:17:04Z2024-05-28T09:17:04Zby Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703<br/><a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Electronic Resources<br/>Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platformsent://SD_ILS/0/SD_ILS:20843822024-05-28T09:17:04Z2024-05-28T09:17:04Zby Trobec, Roman. author.<br/><a href="https://doi.org/10.1007/978-3-319-98833-7">https://doi.org/10.1007/978-3-319-98833-7</a><br/>Format: Electronic Resources<br/>Towards Extensible and Adaptable Methods in Computingent://SD_ILS/0/SD_ILS:20844102024-05-28T09:17:04Z2024-05-28T09:17:04Zby Chakraverty, Shampa. editor.<br/><a href="https://doi.org/10.1007/978-981-13-2348-5">https://doi.org/10.1007/978-981-13-2348-5</a><br/>Format: Electronic Resources<br/>Introduction to Programming with Fortranent://SD_ILS/0/SD_ILS:20844212024-05-28T09:17:04Z2024-05-28T09:17:04Zby Chivers, Ian. author.<br/><a href="https://doi.org/10.1007/978-3-319-75502-1">https://doi.org/10.1007/978-3-319-75502-1</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851792024-05-28T09:17:04Z2024-05-28T09:17:04Zby Desharnais, Jules. editor. (orcid)0000-0002-4780-2698<br/><a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:20852752024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786<br/><a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853062024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rabe, Florian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format: Electronic Resources<br/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:20853092024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ricci, Alessandro. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>Learning Java with Gamesent://SD_ILS/0/SD_ILS:20841932024-05-28T09:17:04Z2024-05-28T09:17:04Zby Xu, Chong-wei. author.<br/><a href="https://doi.org/10.1007/978-3-319-72886-5">https://doi.org/10.1007/978-3-319-72886-5</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851282024-05-28T09:17:04Z2024-05-28T09:17:04Zby Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829<br/><a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853492024-05-28T09:17:04Z2024-05-28T09:17:04Zby Podelski, Andreas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854492024-05-28T09:17:04Z2024-05-28T09:17:04Zby Capilla, Rafael. editor. (orcid)0000-0002-6943-1285<br/><a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Electronic Resources<br/>Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948ent://SD_ILS/0/SD_ILS:20841982024-05-28T09:17:04Z2024-05-28T09:17:04Zby Priestley, Mark. author.<br/><a href="https://doi.org/10.1007/978-3-319-91671-2">https://doi.org/10.1007/978-3-319-91671-2</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851642024-05-28T09:17:04Z2024-05-28T09:17:04Zby Abdelwahed, El Hassan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853552024-05-28T09:17:04Z2024-05-28T09:17:04Zby El Fallah-Seghrouchni, Amal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853562024-05-28T09:17:04Z2024-05-28T09:17:04Zby Benzmüller, Christoph. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853572024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rusu, Vlad. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853682024-05-28T09:17:04Z2024-05-28T09:17:04Zby Seipel, Dietmar. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Affective Feedback in Intelligent Tutoring Systems A Practical Approachent://SD_ILS/0/SD_ILS:20849772024-05-28T09:17:04Z2024-05-28T09:17:04Zby Jiménez, Samantha. author.<br/><a href="https://doi.org/10.1007/978-3-319-93197-5">https://doi.org/10.1007/978-3-319-93197-5</a><br/>Format: Electronic Resources<br/>Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853182024-05-28T09:17:04Z2024-05-28T09:17:04Zby Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829<br/><a href="https://doi.org/10.1007/978-3-319-96983-1">https://doi.org/10.1007/978-3-319-96983-1</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854212024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175<br/><a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858722024-05-28T09:17:04Z2024-05-28T09:17:04Zby Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952<br/><a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Electronic Resources<br/>Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20861322024-05-28T09:17:04Z2024-05-28T09:17:04Zby Liu, Peng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860212024-05-28T09:17:04Z2024-05-28T09:17:04Zby Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831<br/><a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860222024-05-28T09:17:04Z2024-05-28T09:17:04Zby Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682<br/><a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format: Electronic Resources<br/>Fundamentals of Java Programmingent://SD_ILS/0/SD_ILS:20849892024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ogihara, Mitsunori. author.<br/><a href="https://doi.org/10.1007/978-3-319-89491-1">https://doi.org/10.1007/978-3-319-89491-1</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855742024-05-28T09:17:04Z2024-05-28T09:17:04Zby Davenport, James H. editor. (orcid)0000-0002-3982-7545<br/><a href="https://doi.org/10.1007/978-3-319-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855772024-05-28T09:17:04Z2024-05-28T09:17:04Zby Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858492024-05-28T09:17:04Z2024-05-28T09:17:04Zby Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303<br/><a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858802024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lambers, Leen. editor. (orcid)0000-0001-6937-5167<br/><a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format: Electronic Resources<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:20857712024-05-28T09:17:04Z2024-05-28T09:17:04Zby de Boer, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852042024-05-28T09:17:04Z2024-05-28T09:17:04Zby Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931<br/><a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859142024-05-28T09:17:04Z2024-05-28T09:17:04Zby Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852722024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772<br/><a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850462024-05-28T09:17:04Z2024-05-28T09:17:04Zby Artemov, Sergei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860292024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lachiche, Nicolas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20860392024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rensink, Arend. editor. (orcid)0000-0002-1714-6319<br/><a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851252024-05-28T09:17:04Z2024-05-28T09:17:04Zby Johnsen, Einar Broch. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrigent://SD_ILS/0/SD_ILS:20861042024-05-28T09:17:04Z2024-05-28T09:17:04Zby Heckel, Reiko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856832024-05-28T09:17:04Z2024-05-28T09:17:04Zby Gallagher, John P. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852092024-05-28T09:17:04Z2024-05-28T09:17:04Zby Massoni, Tiago. editor. (orcid)0000-0002-9423-7556<br/><a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859542024-05-28T09:17:04Z2024-05-28T09:17:04Zby Moss, Lawrence S. editor.<br/><a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856022024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wang, Meng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860242024-05-28T09:17:04Z2024-05-28T09:17:04Zby Seidl, Martina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Electronic Resources<br/>Random-Like Bi-level Decision Makingent://SD_ILS/0/SD_ILS:20840372024-05-28T09:17:04Z2024-05-28T09:17:04Zby Xu, Jiuping. author.<br/><a href="https://doi.org/10.1007/978-981-10-1768-1">https://doi.org/10.1007/978-981-10-1768-1</a><br/>Format: Electronic Resources<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:20845392024-05-28T09:17:04Z2024-05-28T09:17:04Zby Buhr, Peter A. author.<br/><a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20847952024-05-28T09:17:04Z2024-05-28T09:17:04Zby Voevodin, Vladimir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-55669-7">https://doi.org/10.1007/978-3-319-55669-7</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:20854292024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wyrzykowski, Roman. editor.<br/><a href="https://doi.org/10.1007/978-3-319-32149-3">https://doi.org/10.1007/978-3-319-32149-3</a><br/>Format: Electronic Resources<br/>Principles of Data Miningent://SD_ILS/0/SD_ILS:20849062024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bramer, Max. author.<br/><a href="https://doi.org/10.1007/978-1-4471-7307-6">https://doi.org/10.1007/978-1-4471-7307-6</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854362024-05-28T09:17:04Z2024-05-28T09:17:04Zby Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Electronic Resources<br/>Retrogame Archeology Exploring Old Computer Gamesent://SD_ILS/0/SD_ILS:20847432024-05-28T09:17:04Z2024-05-28T09:17:04Zby Aycock, John. author.<br/><a href="https://doi.org/10.1007/978-3-319-30004-7">https://doi.org/10.1007/978-3-319-30004-7</a><br/>Format: Electronic Resources<br/>Software Developers as Users Semiotic Investigations in Human-Centered Software Developmentent://SD_ILS/0/SD_ILS:20847652024-05-28T09:17:04Z2024-05-28T09:17:04Zby Sieckenius de Souza, Clarisse. author.<br/><a href="https://doi.org/10.1007/978-3-319-42831-4">https://doi.org/10.1007/978-3-319-42831-4</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859502024-05-28T09:17:04Z2024-05-28T09:17:04Zby De Nicola, Rocco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857962024-05-28T09:17:04Z2024-05-28T09:17:04Zby Sarro, Federica. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47106-8">https://doi.org/10.1007/978-3-319-47106-8</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857982024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rayadurgam, Sanjai. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860022024-05-28T09:17:04Z2024-05-28T09:17:04Zby Kapitsaki, Georgia M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857142024-05-28T09:17:04Z2024-05-28T09:17:04Zby Falcone, Yliès. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20855662024-05-28T09:17:04Z2024-05-28T09:17:04Zby Gorentla Venkata, Manjunath. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50995-2">https://doi.org/10.1007/978-3-319-50995-2</a><br/>Format: Electronic Resources<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20858452024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lindley, Sam. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858552024-05-28T09:17:04Z2024-05-28T09:17:04Zby Blazy, Sandrine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857572024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lucanu, Dorel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858752024-05-28T09:17:04Z2024-05-28T09:17:04Zby Castor, Fernando. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856682024-05-28T09:17:04Z2024-05-28T09:17:04Zby Kiselyov, Oleg. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:20860512024-05-28T09:17:04Z2024-05-28T09:17:04Zby Baldoni, Matteo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format: Electronic Resources<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859082024-05-28T09:17:04Z2024-05-28T09:17:04Zby Aichernig, Bernhard K. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:20861172024-05-28T09:17:04Z2024-05-28T09:17:04Zby Steffen, Bernhard. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859572024-05-28T09:17:04Z2024-05-28T09:17:04Zby Inoue, Katsumi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>Introduction to HPC with MPI for Data Scienceent://SD_ILS/0/SD_ILS:20850072024-05-28T09:17:04Z2024-05-28T09:17:04Zby Nielsen, Frank. author.<br/><a href="https://doi.org/10.1007/978-3-319-21903-5">https://doi.org/10.1007/978-3-319-21903-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857802024-05-28T09:17:04Z2024-05-28T09:17:04Zby Thiemann, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lluch Lafuente, Alberto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860162024-05-28T09:17:04Z2024-05-28T09:17:04Zby Carretero, Jesus. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49583-5">https://doi.org/10.1007/978-3-319-49583-5</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858132024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ogata, Kazuhiro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858192024-05-28T09:17:04Z2024-05-28T09:17:04Zby Gurfinkel, Arie. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858202024-05-28T09:17:04Z2024-05-28T09:17:04Zby WÄ…sowski, Andrzej. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format: Electronic Resources<br/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:20856972024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wyrzykowski, Roman. editor.<br/><a href="https://doi.org/10.1007/978-3-319-32152-3">https://doi.org/10.1007/978-3-319-32152-3</a><br/>Format: Electronic Resources<br/>Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857022024-05-28T09:17:04Z2024-05-28T09:17:04Zby Perner, Petra. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41561-1">https://doi.org/10.1007/978-3-319-41561-1</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857102024-05-28T09:17:04Z2024-05-28T09:17:04Zby Gavanelli, Marco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856602024-05-28T09:17:04Z2024-05-28T09:17:04Zby Dutot, Pierre-François. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857862024-05-28T09:17:04Z2024-05-28T09:17:04Zby Braga, Christiano. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:20850942024-05-28T09:17:04Z2024-05-28T09:17:04Zby Torra, Vicenç. author.<br/><a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859152024-05-28T09:17:04Z2024-05-28T09:17:04Zby Shen, Xipeng. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20857192024-05-28T09:17:04Z2024-05-28T09:17:04Zby Serrano, Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037202024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hölldobler, Steffen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87803-2">http://dx.doi.org/10.1007/978-3-540-87803-2</a><br/>Format: Electronic Resources<br/>Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037212024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bergmann, Ralph. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87805-6">http://dx.doi.org/10.1007/978-3-540-87805-6</a><br/>Format: Electronic Resources<br/>Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lecturesent://SD_ILS/0/SD_ILS:5037382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Horváth, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88059-2">http://dx.doi.org/10.1007/978-3-540-88059-2</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037442024-05-28T09:17:04Z2024-05-28T09:17:04Zby Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format: Electronic Resources<br/>Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5037052024-05-28T09:17:04Z2024-05-28T09:17:04Zby Artikis, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87654-0">http://dx.doi.org/10.1007/978-3-540-87654-0</a><br/>Format: Electronic Resources<br/>OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035412024-05-28T09:17:04Z2024-05-28T09:17:04Zby Eigenmann, Rudolf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79561-2">http://dx.doi.org/10.1007/978-3-540-79561-2</a><br/>Format: Electronic Resources<br/>Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035442024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wang, Qing. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79588-9">http://dx.doi.org/10.1007/978-3-540-79588-9</a><br/>Format: Electronic Resources<br/>Ada 2005 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:5035462024-05-28T09:17:04Z2024-05-28T09:17:04Zby Barnes, John. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79701-2">http://dx.doi.org/10.1007/978-3-540-79701-2</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5036142024-05-28T09:17:04Z2024-05-28T09:17:04Zby Adve, Vikram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85261-2">http://dx.doi.org/10.1007/978-3-540-85261-2</a><br/>Format: Electronic Resources<br/>Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5036152024-05-28T09:17:04Z2024-05-28T09:17:04Zby Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85279-7">http://dx.doi.org/10.1007/978-3-540-85279-7</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034562024-05-28T09:17:04Z2024-05-28T09:17:04Zby Garrigue, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:5036222024-05-28T09:17:04Z2024-05-28T09:17:04Zby Chitil, Olaf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85373-2">http://dx.doi.org/10.1007/978-3-540-85373-2</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036722024-05-28T09:17:04Z2024-05-28T09:17:04Zby Stuckey, Peter J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85958-1">http://dx.doi.org/10.1007/978-3-540-85958-1</a><br/>Format: Electronic Resources<br/>Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035652024-05-28T09:17:04Z2024-05-28T09:17:04Zby Meseguer, José. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5032902024-05-28T09:17:04Z2024-05-28T09:17:04Zby Labarta, Jesús. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format: Electronic Resources<br/>Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036712024-05-28T09:17:04Z2024-05-28T09:17:04Zby O’Connor, Rory V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85936-9">http://dx.doi.org/10.1007/978-3-540-85936-9</a><br/>Format: Electronic Resources<br/>Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037162024-05-28T09:17:04Z2024-05-28T09:17:04Zby Taubenfeld, Gadi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87779-0">http://dx.doi.org/10.1007/978-3-540-87779-0</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037262024-05-28T09:17:04Z2024-05-28T09:17:04Zby Becker, Steffen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87879-7">http://dx.doi.org/10.1007/978-3-540-87879-7</a><br/>Format: Electronic Resources<br/>Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037272024-05-28T09:17:04Z2024-05-28T09:17:04Zby Darzentas, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87881-0">http://dx.doi.org/10.1007/978-3-540-87881-0</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037292024-05-28T09:17:04Z2024-05-28T09:17:04Zby Chaudron, Michel R. V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87891-9">http://dx.doi.org/10.1007/978-3-540-87891-9</a><br/>Format: Electronic Resources<br/>Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papersent://SD_ILS/0/SD_ILS:5038012024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hirschfeld, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89275-5">http://dx.doi.org/10.1007/978-3-540-89275-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038042024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ramalingam, G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Electronic Resources<br/>Principles of the Spin Model Checkerent://SD_ILS/0/SD_ILS:5024222024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ben-Ari, Mordechai. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>Parsing Techniques A Practical Guideent://SD_ILS/0/SD_ILS:5016382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Grune, Dick. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-68954-8">http://dx.doi.org/10.1007/978-0-387-68954-8</a><br/>Format: Electronic Resources<br/>High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026132024-05-28T09:17:04Z2024-05-28T09:17:04Zby Mei, Hong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68073-4">http://dx.doi.org/10.1007/978-3-540-68073-4</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussionsent://SD_ILS/0/SD_ILS:5027142024-05-28T09:17:04Z2024-05-28T09:17:04Zby Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Electronic Resources<br/>Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027172024-05-28T09:17:04Z2024-05-28T09:17:04Zby Alpuente, María. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026332024-05-28T09:17:04Z2024-05-28T09:17:04Zby Cuellar, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026362024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lea, Doug. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68265-3">http://dx.doi.org/10.1007/978-3-540-68265-3</a><br/>Format: Electronic Resources<br/>Implementing Semantic Web Services The SESA Frameworkent://SD_ILS/0/SD_ILS:5032112024-05-28T09:17:04Z2024-05-28T09:17:04Zby Fensel, Dieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77020-6">http://dx.doi.org/10.1007/978-3-540-77020-6</a><br/>Format: Electronic Resources<br/>A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5027312024-05-28T09:17:04Z2024-05-28T09:17:04Zby Chapman, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format: Electronic Resources<br/>Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papersent://SD_ILS/0/SD_ILS:5032382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77419-8">http://dx.doi.org/10.1007/978-3-540-77419-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034212024-05-28T09:17:04Z2024-05-28T09:17:04Zby Drossopoulou, Sophia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034232024-05-28T09:17:04Z2024-05-28T09:17:04Zby Marchiori, Elena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78757-0">http://dx.doi.org/10.1007/978-3-540-78757-0</a><br/>Format: Electronic Resources<br/>Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034252024-05-28T09:17:04Z2024-05-28T09:17:04Zby Giacobini, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78761-7">http://dx.doi.org/10.1007/978-3-540-78761-7</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034272024-05-28T09:17:04Z2024-05-28T09:17:04Zby King, Andy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</a><br/>Format: Electronic Resources<br/>Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032422024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rao, Shrisha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77444-0">http://dx.doi.org/10.1007/978-3-540-77444-0</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5035312024-05-28T09:17:04Z2024-05-28T09:17:04Zby Luck, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:5034652024-05-28T09:17:04Z2024-05-28T09:17:04Zby Sichman, Jaime Simão. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format: Electronic Resources<br/>Constraint Handling Rules Current Research Topicsent://SD_ILS/0/SD_ILS:5038602024-05-28T09:17:04Z2024-05-28T09:17:04Zby Schrijvers, Tom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-92243-8">http://dx.doi.org/10.1007/978-3-540-92243-8</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036682024-05-28T09:17:04Z2024-05-28T09:17:04Zby Å½elezný, Filip. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85928-4">http://dx.doi.org/10.1007/978-3-540-85928-4</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037232024-05-28T09:17:04Z2024-05-28T09:17:04Zby Shankar, Natarajan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037592024-05-28T09:17:04Z2024-05-28T09:17:04Zby Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reportsent://SD_ILS/0/SD_ILS:5033352024-05-28T09:17:04Z2024-05-28T09:17:04Zby Cebulla, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78195-0">http://dx.doi.org/10.1007/978-3-540-78195-0</a><br/>Format: Electronic Resources<br/>Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5034382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lirkov, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78827-0">http://dx.doi.org/10.1007/978-3-540-78827-0</a><br/>Format: Electronic Resources<br/>Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032882024-05-28T09:17:04Z2024-05-28T09:17:04Zby Verdone, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77690-1">http://dx.doi.org/10.1007/978-3-540-77690-1</a><br/>Format: Electronic Resources<br/>Parallel Problem Solving from Nature – PPSN X 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037092024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rudolph, Günter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87700-4">http://dx.doi.org/10.1007/978-3-540-87700-4</a><br/>Format: Electronic Resources<br/>Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037112024-05-28T09:17:04Z2024-05-28T09:17:04Zby Stapleton, Gem. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87730-1">http://dx.doi.org/10.1007/978-3-540-87730-1</a><br/>Format: Electronic Resources<br/>Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:5035772024-05-28T09:17:04Z2024-05-28T09:17:04Zby Dastani, Mehdi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85058-8">http://dx.doi.org/10.1007/978-3-540-85058-8</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:5038302024-05-28T09:17:04Z2024-05-28T09:17:04Zby Amaral, José Nelson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89740-8">http://dx.doi.org/10.1007/978-3-540-89740-8</a><br/>Format: Electronic Resources<br/>Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:5038332024-05-28T09:17:04Z2024-05-28T09:17:04Zby Börger, Egon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89762-0">http://dx.doi.org/10.1007/978-3-540-89762-0</a><br/>Format: Electronic Resources<br/>Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:5038352024-05-28T09:17:04Z2024-05-28T09:17:04Zby Paech, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89778-1">http://dx.doi.org/10.1007/978-3-540-89778-1</a><br/>Format: Electronic Resources<br/>Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5038382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Issarny, Valérie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89856-6">http://dx.doi.org/10.1007/978-3-540-89856-6</a><br/>Format: Electronic Resources<br/>Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedingsent://SD_ILS/0/SD_ILS:5038472024-05-28T09:17:04Z2024-05-28T09:17:04Zby Garcia de la Banda, Maria. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89982-2">http://dx.doi.org/10.1007/978-3-540-89982-2</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036862024-05-28T09:17:04Z2024-05-28T09:17:04Zby Thomas, Nigel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87412-6">http://dx.doi.org/10.1007/978-3-540-87412-6</a><br/>Format: Electronic Resources<br/>Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037252024-05-28T09:17:04Z2024-05-28T09:17:04Zby Li, Qing. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87877-3">http://dx.doi.org/10.1007/978-3-540-87877-3</a><br/>Format: Electronic Resources<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036912024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lastovetsky, Alexey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87475-1">http://dx.doi.org/10.1007/978-3-540-87475-1</a><br/>Format: Electronic Resources<br/>Software-Intensive Systems and New Computing Paradigms Challenges and Visionsent://SD_ILS/0/SD_ILS:5038112024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Cervesato, Iliano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Modelling Autonomic Communications Environments Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036792024-05-28T09:17:04Z2024-05-28T09:17:04Zby Meer, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87355-6">http://dx.doi.org/10.1007/978-3-540-87355-6</a><br/>Format: Electronic Resources<br/>Introduction to PHP for Scientists and Engineers Beyond JavaScriptent://SD_ILS/0/SD_ILS:5025302024-05-28T09:17:04Z2024-05-28T09:17:04Zby Brooks, David R. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-237-1">http://dx.doi.org/10.1007/978-1-84800-237-1</a><br/>Format: Electronic Resources<br/>The Algorithm Design Manualent://SD_ILS/0/SD_ILS:5024792024-05-28T09:17:04Z2024-05-28T09:17:04Zby Skiena, Steven S. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-070-4">http://dx.doi.org/10.1007/978-1-84800-070-4</a><br/>Format: Electronic Resources<br/>Probabilistic Inductive Logic Programming Theory and Applicationsent://SD_ILS/0/SD_ILS:5034092024-05-28T09:17:04Z2024-05-28T09:17:04Zby Raedt, Luc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78652-8">http://dx.doi.org/10.1007/978-3-540-78652-8</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034102024-05-28T09:17:04Z2024-05-28T09:17:04Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78663-4">http://dx.doi.org/10.1007/978-3-540-78663-4</a><br/>Format: Electronic Resources<br/>Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034112024-05-28T09:17:04Z2024-05-28T09:17:04Zby O’Neill, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78671-9">http://dx.doi.org/10.1007/978-3-540-78671-9</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5034122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Frachtenberg, Eitan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78699-3">http://dx.doi.org/10.1007/978-3-540-78699-3</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026652024-05-28T09:17:04Z2024-05-28T09:17:04Zby Meier, René. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format: Electronic Resources<br/>Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034302024-05-28T09:17:04Z2024-05-28T09:17:04Zby Pautasso, Cesare. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026862024-05-28T09:17:04Z2024-05-28T09:17:04Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format: Electronic Resources<br/>25 Years of Model Checking History, Achievements, Perspectivesent://SD_ILS/0/SD_ILS:5027812024-05-28T09:17:04Z2024-05-28T09:17:04Zby Grumberg, Orna. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5033732024-05-28T09:17:04Z2024-05-28T09:17:04Zby Blockeel, Hendrik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78469-2">http://dx.doi.org/10.1007/978-3-540-78469-2</a><br/>Format: Electronic Resources<br/>The Common Component Modeling Example Comparing Software Component Modelsent://SD_ILS/0/SD_ILS:5036172024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rausch, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</a><br/>Format: Electronic Resources<br/>CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036202024-05-28T09:17:04Z2024-05-28T09:17:04Zby Breugel, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Electronic Resources<br/>Practical Aspects of Embedded System Design using Microcontrollersent://SD_ILS/0/SD_ILS:5022572024-05-28T09:17:04Z2024-05-28T09:17:04Zby Parab, Jivan S. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-8393-8">http://dx.doi.org/10.1007/978-1-4020-8393-8</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026622024-05-28T09:17:04Z2024-05-28T09:17:04Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68624-8">http://dx.doi.org/10.1007/978-3-540-68624-8</a><br/>Format: Electronic Resources<br/>Automatic Program Development A Tribute to Robert Paigeent://SD_ILS/0/SD_ILS:5021032024-05-28T09:17:04Z2024-05-28T09:17:04Zby Danvy, Olivier. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6585-9">http://dx.doi.org/10.1007/978-1-4020-6585-9</a><br/>Format: Electronic Resources<br/>ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028202024-05-28T09:17:04Z2024-05-28T09:17:04Zby Vitek, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format: Electronic Resources<br/>OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5026552024-05-28T09:17:04Z2024-05-28T09:17:04Zby Mueller, Matthias S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032412024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hudak, Paul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice Vent://SD_ILS/0/SD_ILS:5018632024-05-28T09:17:04Z2024-05-28T09:17:04Zby Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format: Electronic Resources<br/>Genetic Programming Theory and Practice IVent://SD_ILS/0/SD_ILS:5057422024-05-28T09:17:04Z2024-05-28T09:17:04Zby Riolo, Rick. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format: Electronic Resources<br/>Software Verification and Validation An Engineering and Scientific Approachent://SD_ILS/0/SD_ILS:5056572024-05-28T09:17:04Z2024-05-28T09:17:04Zby Fisher, Marcus S. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Electronic Resources<br/>Pro Java™ 6 3D Game Development Java 3D™, JOGL, JInput, and JOAL APIsent://SD_ILS/0/SD_ILS:5079072024-05-28T09:17:04Z2024-05-28T09:17:04Zby Davison, Andrew. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0212-7">http://dx.doi.org/10.1007/978-1-4302-0212-7</a><br/>Format: Electronic Resources<br/>Pro SharePoint 2007 Development Techniquesent://SD_ILS/0/SD_ILS:5080142024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bruggeman, Margriet. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0483-1">http://dx.doi.org/10.1007/978-1-4302-0483-1</a><br/>Format: Electronic Resources<br/>Pro InfoPath 2007ent://SD_ILS/0/SD_ILS:5079612024-05-28T09:17:04Z2024-05-28T09:17:04Zby Janus, Philo. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0334-6">http://dx.doi.org/10.1007/978-1-4302-0334-6</a><br/>Format: Electronic Resources<br/>The Essential Guide to Flex 2 with ActionScript 3.0ent://SD_ILS/0/SD_ILS:5079622024-05-28T09:17:04Z2024-05-28T09:17:04Zby Brown, Charles E. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0336-0">http://dx.doi.org/10.1007/978-1-4302-0336-0</a><br/>Format: Electronic Resources<br/>Raven: Scripting Java™ Builds with Rubyent://SD_ILS/0/SD_ILS:5079642024-05-28T09:17:04Z2024-05-28T09:17:04Zby Riou, Matthieu. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0343-8">http://dx.doi.org/10.1007/978-1-4302-0343-8</a><br/>Format: Electronic Resources<br/>Microsoft SharePoint Building Office 2007 Solutions in VB 2005ent://SD_ILS/0/SD_ILS:5079022024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hillier, Scot. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0206-6">http://dx.doi.org/10.1007/978-1-4302-0206-6</a><br/>Format: Electronic Resources<br/>Beginning Spring 2 From Novice to Professionalent://SD_ILS/0/SD_ILS:5080162024-05-28T09:17:04Z2024-05-28T09:17:04Zby Minter, Dave. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0494-7">http://dx.doi.org/10.1007/978-1-4302-0494-7</a><br/>Format: Electronic Resources<br/>Building Spring 2 Enterprise Applicationsent://SD_ILS/0/SD_ILS:5080172024-05-28T09:17:04Z2024-05-28T09:17:04Zby Smeets, Bram. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0500-5">http://dx.doi.org/10.1007/978-1-4302-0500-5</a><br/>Format: Electronic Resources<br/>Excel 2007 PivotTables Recipes A Problem-Solution Approachent://SD_ILS/0/SD_ILS:5080182024-05-28T09:17:04Z2024-05-28T09:17:04Zby Dalgleish, Debra. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0504-3">http://dx.doi.org/10.1007/978-1-4302-0504-3</a><br/>Format: Electronic Resources<br/>The Definitive Guide to JasperReports™ent://SD_ILS/0/SD_ILS:5080202024-05-28T09:17:04Z2024-05-28T09:17:04Zby Danciu, Teodor. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0521-0">http://dx.doi.org/10.1007/978-1-4302-0521-0</a><br/>Format: Electronic Resources<br/>The Definitive Guide to iReportent://SD_ILS/0/SD_ILS:5080212024-05-28T09:17:04Z2024-05-28T09:17:04Zby Toffoli, Giulio. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0523-4">http://dx.doi.org/10.1007/978-1-4302-0523-4</a><br/>Format: Electronic Resources<br/>Pro EDI in BizTalk Server 2006 R2 Electronic Document Interchange Solutionsent://SD_ILS/0/SD_ILS:5080222024-05-28T09:17:04Z2024-05-28T09:17:04Zby Beckner, Mark. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0530-2">http://dx.doi.org/10.1007/978-1-4302-0530-2</a><br/>Format: Electronic Resources<br/>Automatic Quantum Computer Programming A Genetic Programming Approachent://SD_ILS/0/SD_ILS:5054452024-05-28T09:17:04Z2024-05-28T09:17:04Zby Spector, Lee. editor.<br/><a href="http://dx.doi.org/10.1007/978-0-387-36791-0">http://dx.doi.org/10.1007/978-0-387-36791-0</a><br/>Format: Electronic Resources<br/>Introduction to C++ Programming and Graphicsent://SD_ILS/0/SD_ILS:5058512024-05-28T09:17:04Z2024-05-28T09:17:04Zby Pozrikidis, Constantine. author.<br/><a href="http://dx.doi.org/10.1007/978-0-387-68993-7">http://dx.doi.org/10.1007/978-0-387-68993-7</a><br/>Format: Electronic Resources<br/>Practical OCamlent://SD_ILS/0/SD_ILS:5079142024-05-28T09:17:04Z2024-05-28T09:17:04Zby Smith, Joshua B. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0244-8">http://dx.doi.org/10.1007/978-1-4302-0244-8</a><br/>Format: Electronic Resources<br/>Textpattern Solutions: PHP-Based Content Management Made Easyent://SD_ILS/0/SD_ILS:5079152024-05-28T09:17:04Z2024-05-28T09:17:04Zby Potts, Kevin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0245-5">http://dx.doi.org/10.1007/978-1-4302-0245-5</a><br/>Format: Electronic Resources<br/>Beginning Java™ SE 6 Platform From Novice to Professionalent://SD_ILS/0/SD_ILS:5079162024-05-28T09:17:04Z2024-05-28T09:17:04Zby Friesen, Jeff. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0246-2">http://dx.doi.org/10.1007/978-1-4302-0246-2</a><br/>Format: Electronic Resources<br/>Foundations of SQL Server 2005 Business Intelligenceent://SD_ILS/0/SD_ILS:5079172024-05-28T09:17:04Z2024-05-28T09:17:04Zby Langit, Lynn. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0248-6">http://dx.doi.org/10.1007/978-1-4302-0248-6</a><br/>Format: Electronic Resources<br/>Foundations of Qt Developmentent://SD_ILS/0/SD_ILS:5079192024-05-28T09:17:04Z2024-05-28T09:17:04Zby Thelin, Johan. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0251-6">http://dx.doi.org/10.1007/978-1-4302-0251-6</a><br/>Format: Electronic Resources<br/>Pro Apache Struts with Ajaxent://SD_ILS/0/SD_ILS:5079202024-05-28T09:17:04Z2024-05-28T09:17:04Zby Carnell, John. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0252-3">http://dx.doi.org/10.1007/978-1-4302-0252-3</a><br/>Format: Electronic Resources<br/>LINQ for Visual C# 2005ent://SD_ILS/0/SD_ILS:5079232024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ferracchiati, Fabio Claudio. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0257-8">http://dx.doi.org/10.1007/978-1-4302-0257-8</a><br/>Format: Electronic Resources<br/>Advanced NXT The Da Vinci Inventions Bookent://SD_ILS/0/SD_ILS:5079242024-05-28T09:17:04Z2024-05-28T09:17:04Zby Scholz, Matthias Paul. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0258-5">http://dx.doi.org/10.1007/978-1-4302-0258-5</a><br/>Format: Electronic Resources<br/>Web Design and Marketing Solutions for Business Websitesent://SD_ILS/0/SD_ILS:5079262024-05-28T09:17:04Z2024-05-28T09:17:04Zby Potts, Kevin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0262-2">http://dx.doi.org/10.1007/978-1-4302-0262-2</a><br/>Format: Electronic Resources<br/>Managing Humans Biting and Humorous Tales of a Software Engineering Managerent://SD_ILS/0/SD_ILS:5079302024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lopp, Michael. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0271-4">http://dx.doi.org/10.1007/978-1-4302-0271-4</a><br/>Format: Electronic Resources<br/>Pro Microsoft Speech Server 2007 Developing Speech Enabled Applications with .NETent://SD_ILS/0/SD_ILS:5079312024-05-28T09:17:04Z2024-05-28T09:17:04Zby Dunn, Michael D. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0272-1">http://dx.doi.org/10.1007/978-1-4302-0272-1</a><br/>Format: Electronic Resources<br/>PHP Solutions: Dynamic Web Design Made Easyent://SD_ILS/0/SD_ILS:5079332024-05-28T09:17:04Z2024-05-28T09:17:04Zby Powers, David. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0275-2">http://dx.doi.org/10.1007/978-1-4302-0275-2</a><br/>Format: Electronic Resources<br/>Beginning Ruby on Rails E-Commerce From Novice to Professionalent://SD_ILS/0/SD_ILS:5079342024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hellsten, Christian. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0276-9">http://dx.doi.org/10.1007/978-1-4302-0276-9</a><br/>Format: Electronic Resources<br/>Mobile Phone Programming Application to Wireless Networkingent://SD_ILS/0/SD_ILS:5074792024-05-28T09:17:04Z2024-05-28T09:17:04Zby Fitzek, Frank H. P. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5969-8">http://dx.doi.org/10.1007/978-1-4020-5969-8</a><br/>Format: Electronic Resources<br/>Foundation Flash Cartoon Animationent://SD_ILS/0/SD_ILS:5080132024-05-28T09:17:04Z2024-05-28T09:17:04Zby Jones, Tim. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0481-7">http://dx.doi.org/10.1007/978-1-4302-0481-7</a><br/>Format: Electronic Resources<br/>Beginning SQL Server 2005 Express for Developers From Novice to Professionalent://SD_ILS/0/SD_ILS:5079592024-05-28T09:17:04Z2024-05-28T09:17:04Zby Dewson, Robin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0329-2">http://dx.doi.org/10.1007/978-1-4302-0329-2</a><br/>Format: Electronic Resources<br/>Pro SharePoint Solution Development Combining .NET, SharePoint, and Office 2007ent://SD_ILS/0/SD_ILS:5079002024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hild, Ed. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0203-5">http://dx.doi.org/10.1007/978-1-4302-0203-5</a><br/>Format: Electronic Resources<br/>Beginning Information Cards and Cardspace From Novice to Professionalent://SD_ILS/0/SD_ILS:5079012024-05-28T09:17:04Z2024-05-28T09:17:04Zby Mercuri, Marc. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0204-2">http://dx.doi.org/10.1007/978-1-4302-0204-2</a><br/>Format: Electronic Resources<br/>Beginning HTML with CSS and XHTML Modern Guide and Referenceent://SD_ILS/0/SD_ILS:5079662024-05-28T09:17:04Z2024-05-28T09:17:04Zby Schultz, David. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0350-6">http://dx.doi.org/10.1007/978-1-4302-0350-6</a><br/>Format: Electronic Resources<br/>Pro PayPal E-Commerceent://SD_ILS/0/SD_ILS:5079672024-05-28T09:17:04Z2024-05-28T09:17:04Zby Williams, Damon. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0353-7">http://dx.doi.org/10.1007/978-1-4302-0353-7</a><br/>Format: Electronic Resources<br/>Pro WF Windows Workflow in .NET 3.0ent://SD_ILS/0/SD_ILS:5079752024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bukovics, Bruce. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0372-8">http://dx.doi.org/10.1007/978-1-4302-0372-8</a><br/>Format: Electronic Resources<br/>Practical MythTV Building a PVR and Media Center PCent://SD_ILS/0/SD_ILS:5079762024-05-28T09:17:04Z2024-05-28T09:17:04Zby Smith, Stewart. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0373-5">http://dx.doi.org/10.1007/978-1-4302-0373-5</a><br/>Format: Electronic Resources<br/>Pro WPF Windows Presentation Foundation in .NET 3.0ent://SD_ILS/0/SD_ILS:5079772024-05-28T09:17:04Z2024-05-28T09:17:04Zby MacDonald, Matthew. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0375-9">http://dx.doi.org/10.1007/978-1-4302-0375-9</a><br/>Format: Electronic Resources<br/>Foundations of Security What Every Programmer Needs to Knowent://SD_ILS/0/SD_ILS:5079782024-05-28T09:17:04Z2024-05-28T09:17:04Zby Daswani, Neil. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0377-3">http://dx.doi.org/10.1007/978-1-4302-0377-3</a><br/>Format: Electronic Resources<br/>Pro NetBeans™ IDE 5.5 Enterprise Editionent://SD_ILS/0/SD_ILS:5079812024-05-28T09:17:04Z2024-05-28T09:17:04Zby Myatt, Adam. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0381-0">http://dx.doi.org/10.1007/978-1-4302-0381-0</a><br/>Format: Electronic Resources<br/>Practical .NET 2.0 Networking Projectsent://SD_ILS/0/SD_ILS:5079822024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lee, Wei-Meng. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0383-4">http://dx.doi.org/10.1007/978-1-4302-0383-4</a><br/>Format: Electronic Resources<br/>Foundation ActionScript 3.0 Animation Making Things Move!ent://SD_ILS/0/SD_ILS:5079832024-05-28T09:17:04Z2024-05-28T09:17:04Zby Peters, Keith. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0384-1">http://dx.doi.org/10.1007/978-1-4302-0384-1</a><br/>Format: Electronic Resources<br/>Beginning JBoss® Seam From Novice to Professionalent://SD_ILS/0/SD_ILS:5079842024-05-28T09:17:04Z2024-05-28T09:17:04Zby Nusairat, Joseph Faisal. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0385-8">http://dx.doi.org/10.1007/978-1-4302-0385-8</a><br/>Format: Electronic Resources<br/>Foundations of GTK+ Developmentent://SD_ILS/0/SD_ILS:5079852024-05-28T09:17:04Z2024-05-28T09:17:04Zby Krause, Andrew. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0386-5">http://dx.doi.org/10.1007/978-1-4302-0386-5</a><br/>Format: Electronic Resources<br/>Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5122882024-05-28T09:17:04Z2024-05-28T09:17:04Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71156-8">http://dx.doi.org/10.1007/978-3-540-71156-8</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125962024-05-28T09:17:04Z2024-05-28T09:17:04Zby Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format: Electronic Resources<br/>Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125972024-05-28T09:17:04Z2024-05-28T09:17:04Zby Concas, Giulio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73101-6">http://dx.doi.org/10.1007/978-3-540-73101-6</a><br/>Format: Electronic Resources<br/>An Introduction to HTML and JavaScript for Scientists and Engineersent://SD_ILS/0/SD_ILS:5086242024-05-28T09:17:04Z2024-05-28T09:17:04Zby Brooks, David R. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-657-5">http://dx.doi.org/10.1007/978-1-84628-657-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123172024-05-28T09:17:04Z2024-05-28T09:17:04Zby Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123362024-05-28T09:17:04Z2024-05-28T09:17:04Zby Puebla, Germán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71410-1">http://dx.doi.org/10.1007/978-3-540-71410-1</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Murphy, Amy L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72794-1">http://dx.doi.org/10.1007/978-3-540-72794-1</a><br/>Format: Electronic Resources<br/>Dynamic Programming A Computational Toolent://SD_ILS/0/SD_ILS:5114522024-05-28T09:17:04Z2024-05-28T09:17:04Zby Art, Lew. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-37014-7">http://dx.doi.org/10.1007/978-3-540-37014-7</a><br/>Format: Electronic Resources<br/>Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5122382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Virbitskaite, Irina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5122512024-05-28T09:17:04Z2024-05-28T09:17:04Zby Padgham, Lin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format: Electronic Resources<br/>Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125222024-05-28T09:17:04Z2024-05-28T09:17:04Zby Chahed, Tijani. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72709-5">http://dx.doi.org/10.1007/978-3-540-72709-5</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126162024-05-28T09:17:04Z2024-05-28T09:17:04Zby Davies, Jim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format: Electronic Resources<br/>Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Dahl, Véronica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74610-2">http://dx.doi.org/10.1007/978-3-540-74610-2</a><br/>Format: Electronic Resources<br/>Managing Virtualization of Networks and Services 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129332024-05-28T09:17:04Z2024-05-28T09:17:04Zby Clemm, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75694-1">http://dx.doi.org/10.1007/978-3-540-75694-1</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126922024-05-28T09:17:04Z2024-05-28T09:17:04Zby Schmidt, Heinz W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format: Electronic Resources<br/>ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126992024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ernst, Erik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73589-2">http://dx.doi.org/10.1007/978-3-540-73589-2</a><br/>Format: Electronic Resources<br/>Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5126062024-05-28T09:17:04Z2024-05-28T09:17:04Zby Comon-Lundh, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Electronic Resources<br/>Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123712024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ebner, Marc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71605-1">http://dx.doi.org/10.1007/978-3-540-71605-1</a><br/>Format: Electronic Resources<br/>Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5123742024-05-28T09:17:04Z2024-05-28T09:17:04Zby Beliczynski, Bartlomiej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71618-1">http://dx.doi.org/10.1007/978-3-540-71618-1</a><br/>Format: Electronic Resources<br/>Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5123752024-05-28T09:17:04Z2024-05-28T09:17:04Zby Beliczynski, Bartlomiej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71629-7">http://dx.doi.org/10.1007/978-3-540-71629-7</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121762024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hanus, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125512024-05-28T09:17:04Z2024-05-28T09:17:04Zby Indulska, Jadwiga. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format: Electronic Resources<br/>Applications of Evolutionary Computing EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedingsent://SD_ILS/0/SD_ILS:5123972024-05-28T09:17:04Z2024-05-28T09:17:04Zby Giacobini, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71805-5">http://dx.doi.org/10.1007/978-3-540-71805-5</a><br/>Format: Electronic Resources<br/>Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123992024-05-28T09:17:04Z2024-05-28T09:17:04Zby Meuter, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71836-9">http://dx.doi.org/10.1007/978-3-540-71836-9</a><br/>Format: Electronic Resources<br/>Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130302024-05-28T09:17:04Z2024-05-28T09:17:04Zby Lumpe, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77351-1">http://dx.doi.org/10.1007/978-3-540-77351-1</a><br/>Format: Electronic Resources<br/>Principles of Data Miningent://SD_ILS/0/SD_ILS:5086742024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bramer, Max. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-766-4">http://dx.doi.org/10.1007/978-1-84628-766-4</a><br/>Format: Electronic Resources<br/>Essential RenderMan ®ent://SD_ILS/0/SD_ILS:5086862024-05-28T09:17:04Z2024-05-28T09:17:04Zby Stephenson, Ian. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-800-5">http://dx.doi.org/10.1007/978-1-84628-800-5</a><br/>Format: Electronic Resources<br/>Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5124732024-05-28T09:17:04Z2024-05-28T09:17:04Zby Wang, Qing. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72426-1">http://dx.doi.org/10.1007/978-3-540-72426-1</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5124862024-05-28T09:17:04Z2024-05-28T09:17:04Zby Almási, George. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72521-3">http://dx.doi.org/10.1007/978-3-540-72521-3</a><br/>Format: Electronic Resources<br/>Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5123192024-05-28T09:17:04Z2024-05-28T09:17:04Zby Reps, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Electronic Resources<br/>Java Methods for Financial Engineering Applications in Finance and Investmentent://SD_ILS/0/SD_ILS:5086602024-05-28T09:17:04Z2024-05-28T09:17:04Zby Barker, Philip. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-741-1">http://dx.doi.org/10.1007/978-1-84628-741-1</a><br/>Format: Electronic Resources<br/>Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5124462024-05-28T09:17:04Z2024-05-28T09:17:04Zby Baral, Chitta. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72200-7">http://dx.doi.org/10.1007/978-3-540-72200-7</a><br/>Format: Electronic Resources<br/>All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logicent://SD_ILS/0/SD_ILS:5124262024-05-28T09:17:04Z2024-05-28T09:17:04Zby Clavel, Manuel. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71999-1">http://dx.doi.org/10.1007/978-3-540-71999-1</a><br/>Format: Electronic Resources<br/>Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121852024-05-28T09:17:04Z2024-05-28T09:17:04Zby Langendoen, Koen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69830-2">http://dx.doi.org/10.1007/978-3-540-69830-2</a><br/>Format: Electronic Resources<br/>Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5130122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Tovar, Eduardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77096-1">http://dx.doi.org/10.1007/978-3-540-77096-1</a><br/>Format: Electronic Resources<br/>Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedingsent://SD_ILS/0/SD_ILS:5130142024-05-28T09:17:04Z2024-05-28T09:17:04Zby Janowski, Tomasz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77115-9">http://dx.doi.org/10.1007/978-3-540-77115-9</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5127292024-05-28T09:17:04Z2024-05-28T09:17:04Zby Muggleton, Stephen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73847-3">http://dx.doi.org/10.1007/978-3-540-73847-3</a><br/>Format: Electronic Resources<br/>Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127522024-05-28T09:17:04Z2024-05-28T09:17:04Zby Nielson, Hanne Riis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format: Electronic Resources<br/>International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129352024-05-28T09:17:04Z2024-05-28T09:17:04Zby Arbab, Farhad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75698-9">http://dx.doi.org/10.1007/978-3-540-75698-9</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papersent://SD_ILS/0/SD_ILS:5127922024-05-28T09:17:04Z2024-05-28T09:17:04Zby Noriega, Pablo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74459-7">http://dx.doi.org/10.1007/978-3-540-74459-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129632024-05-28T09:17:04Z2024-05-28T09:17:04Zby Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129652024-05-28T09:17:04Z2024-05-28T09:17:04Zby Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126202024-05-28T09:17:04Z2024-05-28T09:17:04Zby Rocca, Simona Ronchi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73228-0">http://dx.doi.org/10.1007/978-3-540-73228-0</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126212024-05-28T09:17:04Z2024-05-28T09:17:04Zby Abdennadher, Nabil. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73230-3">http://dx.doi.org/10.1007/978-3-540-73230-3</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reportsent://SD_ILS/0/SD_ILS:5123912024-05-28T09:17:04Z2024-05-28T09:17:04Zby Südholt, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71774-4">http://dx.doi.org/10.1007/978-3-540-71774-4</a><br/>Format: Electronic Resources<br/>Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123932024-05-28T09:17:04Z2024-05-28T09:17:04Zby Marchiori, Elena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71783-6">http://dx.doi.org/10.1007/978-3-540-71783-6</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125682024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5122702024-05-28T09:17:04Z2024-05-28T09:17:04Zby Frachtenberg, Eitan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71035-6">http://dx.doi.org/10.1007/978-3-540-71035-6</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129242024-05-28T09:17:04Z2024-05-28T09:17:04Zby Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Software Engineering for Multi-Agent Systems V Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:5126022024-05-28T09:17:04Z2024-05-28T09:17:04Zby Choren, Ricardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73131-3">http://dx.doi.org/10.1007/978-3-540-73131-3</a><br/>Format: Electronic Resources<br/>Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5128152024-05-28T09:17:04Z2024-05-28T09:17:04Zby Konev, Boris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74621-8">http://dx.doi.org/10.1007/978-3-540-74621-8</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128622024-05-28T09:17:04Z2024-05-28T09:17:04Zby Bessière, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74970-7">http://dx.doi.org/10.1007/978-3-540-74970-7</a><br/>Format: Electronic Resources<br/>Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128752024-05-28T09:17:04Z2024-05-28T09:17:04Zby Pelc, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75142-7">http://dx.doi.org/10.1007/978-3-540-75142-7</a><br/>Format: Electronic Resources<br/>Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129722024-05-28T09:17:04Z2024-05-28T09:17:04Zby Cerqueira, Renato. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76778-7">http://dx.doi.org/10.1007/978-3-540-76778-7</a><br/>Format: Electronic Resources<br/>Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128822024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ganzha, Victor G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75187-8">http://dx.doi.org/10.1007/978-3-540-75187-8</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5129002024-05-28T09:17:04Z2024-05-28T09:17:04Zby Montanari, Ugo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75336-0">http://dx.doi.org/10.1007/978-3-540-75336-0</a><br/>Format: Electronic Resources<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129052024-05-28T09:17:04Z2024-05-28T09:17:04Zby Cappello, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75416-9">http://dx.doi.org/10.1007/978-3-540-75416-9</a><br/>Format: Electronic Resources<br/>Progress in Artificial Intelligence 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129932024-05-28T09:17:04Z2024-05-28T09:17:04Zby Neves, José. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77002-2">http://dx.doi.org/10.1007/978-3-540-77002-2</a><br/>Format: Electronic Resources<br/>Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5129162024-05-28T09:17:04Z2024-05-28T09:17:04Zby O’Hare, Gregory M. P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75524-1">http://dx.doi.org/10.1007/978-3-540-75524-1</a><br/>Format: Electronic Resources<br/>Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5127582024-05-28T09:17:04Z2024-05-28T09:17:04Zby Edelkamp, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5127592024-05-28T09:17:04Z2024-05-28T09:17:04Zby Horváth, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74130-5">http://dx.doi.org/10.1007/978-3-540-74130-5</a><br/>Format: Electronic Resources<br/>Foundations of ASP.NET AJAXent://SD_ILS/0/SD_ILS:5078972024-05-28T09:17:04Z2024-05-28T09:17:04Zby Pars, Robin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0199-1">http://dx.doi.org/10.1007/978-1-4302-0199-1</a><br/>Format: Electronic Resources<br/>Pro C# with .NET 3.0ent://SD_ILS/0/SD_ILS:5078982024-05-28T09:17:04Z2024-05-28T09:17:04Zby Troelsen, Andrew. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0201-1">http://dx.doi.org/10.1007/978-1-4302-0201-1</a><br/>Format: Electronic Resources<br/>Accelerated VB 2005ent://SD_ILS/0/SD_ILS:5078992024-05-28T09:17:04Z2024-05-28T09:17:04Zby Fouché, Guy. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0202-8">http://dx.doi.org/10.1007/978-1-4302-0202-8</a><br/>Format: Electronic Resources<br/>How to Code .NET Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectivelyent://SD_ILS/0/SD_ILS:5079122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Gross, Christian. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0242-4">http://dx.doi.org/10.1007/978-1-4302-0242-4</a><br/>Format: Electronic Resources<br/>Beginning C From Novice to Professionalent://SD_ILS/0/SD_ILS:5079132024-05-28T09:17:04Z2024-05-28T09:17:04Zby Horton, Ivor. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0243-1">http://dx.doi.org/10.1007/978-1-4302-0243-1</a><br/>Format: Electronic Resources<br/>First Steps: Developing BizTalk Applicationsent://SD_ILS/0/SD_ILS:5080072024-05-28T09:17:04Z2024-05-28T09:17:04Zby Loftin, Robert J. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0458-9">http://dx.doi.org/10.1007/978-1-4302-0458-9</a><br/>Format: Electronic Resources<br/>Beginning JSP, JSF, and Tomcat Web Development From Novice to Professionalent://SD_ILS/0/SD_ILS:5080082024-05-28T09:17:04Z2024-05-28T09:17:04Zby Zambon, Giulio. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0465-7">http://dx.doi.org/10.1007/978-1-4302-0465-7</a><br/>Format: Electronic Resources<br/>Practical Apache Struts2 Web 2.0 Projectsent://SD_ILS/0/SD_ILS:5080112024-05-28T09:17:04Z2024-05-28T09:17:04Zby Roughley, Ian. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0477-0">http://dx.doi.org/10.1007/978-1-4302-0477-0</a><br/>Format: Electronic Resources<br/>The Essential Guide to CSS and HTML Web Designent://SD_ILS/0/SD_ILS:5080122024-05-28T09:17:04Z2024-05-28T09:17:04Zby Grannell, Craig. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0479-4">http://dx.doi.org/10.1007/978-1-4302-0479-4</a><br/>Format: Electronic Resources<br/>Pro Crystal Enterprise/Business Objects XI Programmingent://SD_ILS/0/SD_ILS:5079352024-05-28T09:17:04Z2024-05-28T09:17:04Zby Ganz, Carl. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0277-6">http://dx.doi.org/10.1007/978-1-4302-0277-6</a><br/>Format: Electronic Resources<br/>Pro JavaScript™ Techniquesent://SD_ILS/0/SD_ILS:5079382024-05-28T09:17:04Z2024-05-28T09:17:04Zby Resig, John. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0283-7">http://dx.doi.org/10.1007/978-1-4302-0283-7</a><br/>Format: Electronic Resources<br/>The Essential Guide to Dreamweaver CS3 with CSS, Ajax, and PHPent://SD_ILS/0/SD_ILS:5079402024-05-28T09:17:04Z2024-05-28T09:17:04Zby Powers, David. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0288-2">http://dx.doi.org/10.1007/978-1-4302-0288-2</a><br/>Format: Electronic Resources<br/>Foundation Flash CS3 for Designersent://SD_ILS/0/SD_ILS:5079412024-05-28T09:17:04Z2024-05-28T09:17:04Zby Green, Tom. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0289-9">http://dx.doi.org/10.1007/978-1-4302-0289-9</a><br/>Format: Electronic Resources<br/>Practical JBoss® Seam Projectsent://SD_ILS/0/SD_ILS:5079422024-05-28T09:17:04Z2024-05-28T09:17:04Zby Farley, Jim. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0292-9">http://dx.doi.org/10.1007/978-1-4302-0292-9</a><br/>Format: Electronic Resources<br/>Visual Basic 2005 Recipes A Problem-Solution Approachent://SD_ILS/0/SD_ILS:5079432024-05-28T09:17:04Z2024-05-28T09:17:04Zby Herman, Todd. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0295-0">http://dx.doi.org/10.1007/978-1-4302-0295-0</a><br/>Format: Electronic Resources<br/>AdvancED DOM Scripting Dynamic Web Design Techniquesent://SD_ILS/0/SD_ILS:5079452024-05-28T09:17:04Z2024-05-28T09:17:04Zby Sambells, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0298-1">http://dx.doi.org/10.1007/978-1-4302-0298-1</a><br/>Format: Electronic Resources<br/>Practical Rails Projectsent://SD_ILS/0/SD_ILS:5079472024-05-28T09:17:04Z2024-05-28T09:17:04Zby Alameda, Eldon. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0304-9">http://dx.doi.org/10.1007/978-1-4302-0304-9</a><br/>Format: Electronic Resources<br/>Pro SQL Server 2005 Service Brokerent://SD_ILS/0/SD_ILS:5079482024-05-28T09:17:04Z2024-05-28T09:17:04Zby Aschenbrenner, Klaus. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0306-3">http://dx.doi.org/10.1007/978-1-4302-0306-3</a><br/>Format: Electronic Resources<br/>Foundation Flash Applications for Mobile Devicesent://SD_ILS/0/SD_ILS:5079492024-05-28T09:17:04Z2024-05-28T09:17:04Zby Leggett, Richard. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0308-7">http://dx.doi.org/10.1007/978-1-4302-0308-7</a><br/>Format: Electronic Resources<br/>Processing Creative Coding and Computational Artent://SD_ILS/0/SD_ILS:5079502024-05-28T09:17:04Z2024-05-28T09:17:04Zby Greenberg, Ira. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0310-0">http://dx.doi.org/10.1007/978-1-4302-0310-0</a><br/>Format: Electronic Resources<br/>Beginning Rails From Novice to Professionalent://SD_ILS/0/SD_ILS:5079532024-05-28T09:17:04Z2024-05-28T09:17:04Zby Hardy, Jeffrey Allan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0319-3">http://dx.doi.org/10.1007/978-1-4302-0319-3</a><br/>Format: Electronic Resources<br/>Workflow in the 2007 Microsoft Office Systement://SD_ILS/0/SD_ILS:5079552024-05-28T09:17:04Z2024-05-28T09:17:04Zby Mann, David. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0323-0">http://dx.doi.org/10.1007/978-1-4302-0323-0</a><br/>Format: Electronic Resources<br/>