Search Results for - Narrowed by: E-Book - Programming Techniques.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dITYPE$002509Material$002bType$0025091$00253AE-BOOKS$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300$0026isd$003dtrue?2024-06-22T21:00:14ZOpenSHMEM 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platformsent://SD_ILS/0/SD_ILS:20843822024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Guide to Programming for the Digital Humanities Lessons for Introductory Pythonent://SD_ILS/0/SD_ILS:20842202024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850462024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848612024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Towards Extensible and Adaptable Methods in Computingent://SD_ILS/0/SD_ILS:20844102024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20855312024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853062024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860242024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:20846422024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851392024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Algorithms for Functional Programmingent://SD_ILS/0/SD_ILS:20844002024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Fundamentals of Java Programmingent://SD_ILS/0/SD_ILS:20849892024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Introduction to Programming with Fortranent://SD_ILS/0/SD_ILS:20844212024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852092024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860292024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Systems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:20842362024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Affective Feedback in Intelligent Tutoring Systems A Practical Approachent://SD_ILS/0/SD_ILS:20849772024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855742024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Learning Java with Gamesent://SD_ILS/0/SD_ILS:20841932024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852722024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853492024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948ent://SD_ILS/0/SD_ILS:20841982024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856832024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854492024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852042024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856022024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrigent://SD_ILS/0/SD_ILS:20861042024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854212024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:20853092024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:20857712024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859542024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853612024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Physically based shader development for Unity 2017 : develop custom lighting systemsent://SD_ILS/0/SD_ILS:23148632024-06-22T21:00:14Z2024-06-22T21:00:14Zby Doppioslash, Claudia, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484233092/?ar">https://learning.oreilly.com/library/view/~/9781484233092/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484233092/?ar">https://go.oreilly.com/library-access/library/view/-/9781484233092/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484233092">https://learning.oreilly.com/library/view/~/9781484233092</a><br/>Format: Electronic Resources<br/>Introduction to Python for engineers and scientists : open source solutions for numerical computationent://SD_ILS/0/SD_ILS:23148642024-06-22T21:00:14Z2024-06-22T21:00:14Zby Nagar, Sandeep, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484232040">https://learning.oreilly.com/library/view/~/9781484232040</a>
<a href="https://learning.oreilly.com/library/view/~/9781484232040/?ar">https://learning.oreilly.com/library/view/~/9781484232040/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484232040/?ar">https://go.oreilly.com/library-access/library/view/-/9781484232040/?ar</a><br/>Format: Electronic Resources<br/>PySpark recipes : a problem-solution approach with PySpark2ent://SD_ILS/0/SD_ILS:23148732024-06-22T21:00:14Z2024-06-22T21:00:14Zby Mishra, Raju Kumar, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484231418">https://learning.oreilly.com/library/view/~/9781484231418</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484231418/?ar">https://go.oreilly.com/library-access/library/view/-/9781484231418/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484231418/?ar">https://learning.oreilly.com/library/view/~/9781484231418/?ar</a><br/>Format: Electronic Resources<br/>Data mining algorithms in C++ : data patterns and algorithms for modern applicationsent://SD_ILS/0/SD_ILS:23149252024-06-22T21:00:14Z2024-06-22T21:00:14Zby Masters, Timothy, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484233153">https://learning.oreilly.com/library/view/~/9781484233153</a>
<a href="https://learning.oreilly.com/library/view/~/9781484233153/?ar">https://learning.oreilly.com/library/view/~/9781484233153/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484233153/?ar">https://go.oreilly.com/library-access/library/view/-/9781484233153/?ar</a><br/>Format: Electronic Resources<br/>Swift 4 for Absolute Beginners : Develop Apps for iOSent://SD_ILS/0/SD_ILS:23149272024-06-22T21:00:14Z2024-06-22T21:00:14Zby Kaczmarek, Stefan, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484230633">https://learning.oreilly.com/library/view/~/9781484230633</a>
<a href="https://learning.oreilly.com/library/view/~/9781484230633/?ar">https://learning.oreilly.com/library/view/~/9781484230633/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484230633/?ar">https://go.oreilly.com/library-access/library/view/-/9781484230633/?ar</a><br/>Format: Electronic Resources<br/>Learn microservices with Spring Boot : a practical approach to RESTful Services using RabbitMQ, Eureka, Ribbon, Zuul and Cucumberent://SD_ILS/0/SD_ILS:23148672024-06-22T21:00:14Z2024-06-22T21:00:14Zby Macero, Moises, author.<br/><a href="https://go.oreilly.com/library-access/library/view/-/9781484231654/?ar">https://go.oreilly.com/library-access/library/view/-/9781484231654/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484231654/?ar">https://learning.oreilly.com/library/view/~/9781484231654/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484231654">https://learning.oreilly.com/library/view/~/9781484231654</a><br/>Format: Electronic Resources<br/>MATLAB deep learning : with machine learning, neural networks and artificial intelligenceent://SD_ILS/0/SD_ILS:23135102024-06-22T21:00:14Z2024-06-22T21:00:14Zby Kim, Phil, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484228456/?ar">https://learning.oreilly.com/library/view/~/9781484228456/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484228456/?ar">https://go.oreilly.com/library-access/library/view/-/9781484228456/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484228456">https://learning.oreilly.com/library/view/~/9781484228456</a><br/>Format: Electronic Resources<br/>Interpreting LISP : programming and data structuresent://SD_ILS/0/SD_ILS:23135902024-06-22T21:00:14Z2024-06-22T21:00:14Zby Knott, Gary D., author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484227060">https://learning.oreilly.com/library/view/~/9781484227060</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484227060/?ar">https://go.oreilly.com/library-access/library/view/-/9781484227060/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484227060/?ar">https://learning.oreilly.com/library/view/~/9781484227060/?ar</a><br/>Format: Electronic Resources<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:20861172024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Software Developers as Users Semiotic Investigations in Human-Centered Software Developmentent://SD_ILS/0/SD_ILS:20847652024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Introduction to HPC with MPI for Data Scienceent://SD_ILS/0/SD_ILS:20850072024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860162024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860022024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Retrogame Archeology Exploring Old Computer Gamesent://SD_ILS/0/SD_ILS:20847432024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854362024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:20850942024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856682024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857142024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857982024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Random-Like Bi-level Decision Makingent://SD_ILS/0/SD_ILS:20840372024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858752024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859572024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857962024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Beginning F♯ 4.0ent://SD_ILS/0/SD_ILS:23104662024-06-22T21:00:14Z2024-06-22T21:00:14Zby Pickering, Robert, author.<br/><a href="https://go.oreilly.com/library-access/library/view/-/9781484213742/?ar">https://go.oreilly.com/library-access/library/view/-/9781484213742/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484213742/?ar">https://learning.oreilly.com/library/view/~/9781484213742/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484213742">https://learning.oreilly.com/library/view/~/9781484213742</a><br/>Format: Electronic Resources<br/>Beginning Cent://SD_ILS/0/SD_ILS:22982172024-06-22T21:00:14Z2024-06-22T21:00:14Zby Horton, Ivor.<br/><a href="https://learning.oreilly.com/library/view/~/9781430248811">https://learning.oreilly.com/library/view/~/9781430248811</a>
<a href="https://learning.oreilly.com/library/view/~/9781430248811/?ar">https://learning.oreilly.com/library/view/~/9781430248811/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781430248811/?ar">https://go.oreilly.com/library-access/library/view/-/9781430248811/?ar</a><br/>Format: Electronic Resources<br/>Oracle application express for mobile web applicationsent://SD_ILS/0/SD_ILS:22988002024-06-22T21:00:14Z2024-06-22T21:00:14Zby Hartman, Roel.<br/><a href="https://learning.oreilly.com/library/view/~/9781430249474">https://learning.oreilly.com/library/view/~/9781430249474</a>
<a href="https://learning.oreilly.com/library/view/~/9781430249474/?ar">https://learning.oreilly.com/library/view/~/9781430249474/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781430249474/?ar">https://go.oreilly.com/library-access/library/view/-/9781430249474/?ar</a><br/>Format: Electronic Resources<br/>The Common Component Modeling Example Comparing Software Component Modelsent://SD_ILS/0/SD_ILS:5036172024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032422024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035652024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037252024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Parsing Techniques A Practical Guideent://SD_ILS/0/SD_ILS:5016382024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Practical Aspects of Embedded System Design using Microcontrollersent://SD_ILS/0/SD_ILS:5022572024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026332024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Implementing Semantic Web Services The SESA Frameworkent://SD_ILS/0/SD_ILS:5032112024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036202024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:5038332024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Constraint Handling Rules Current Research Topicsent://SD_ILS/0/SD_ILS:5038602024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papersent://SD_ILS/0/SD_ILS:5038012024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037162024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037202024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Automatic Program Development A Tribute to Robert Paigeent://SD_ILS/0/SD_ILS:5021032024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Genetic Programming Theory and Practice Vent://SD_ILS/0/SD_ILS:5018632024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Principles of the Spin Model Checkerent://SD_ILS/0/SD_ILS:5024222024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>The Algorithm Design Manualent://SD_ILS/0/SD_ILS:5024792024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028202024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Introduction to PHP for Scientists and Engineers Beyond JavaScriptent://SD_ILS/0/SD_ILS:5025302024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5034382024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034562024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Modelling Autonomic Communications Environments Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036792024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Probabilistic Inductive Logic Programming Theory and Applicationsent://SD_ILS/0/SD_ILS:5034092024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034302024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reportsent://SD_ILS/0/SD_ILS:5033352024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Parallel Problem Solving from Nature – PPSN X 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037092024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036722024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Software-Intensive Systems and New Computing Paradigms Challenges and Visionsent://SD_ILS/0/SD_ILS:5038112024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037232024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036682024-06-22T21:00:14Z2024-06-22T21:00:14Zby Å½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/>Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036712024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5033732024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032882024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>25 Years of Model Checking History, Achievements, Perspectivesent://SD_ILS/0/SD_ILS:5027812024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Principles of Data Miningent://SD_ILS/0/SD_ILS:5086742024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Microsoft SharePoint Building Office 2007 Solutions in VB 2005ent://SD_ILS/0/SD_ILS:5079022024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5124462024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123712024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121852024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reportsent://SD_ILS/0/SD_ILS:5123912024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Beginning Java™ SE 6 Platform From Novice to Professionalent://SD_ILS/0/SD_ILS:5079162024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>PHP Solutions: Dynamic Web Design Made Easyent://SD_ILS/0/SD_ILS:5079332024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Pro JavaScript™ Techniquesent://SD_ILS/0/SD_ILS:5079382024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Excel 2007 PivotTables Recipes A Problem-Solution Approachent://SD_ILS/0/SD_ILS:5080182024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>AdvancED DOM Scripting Dynamic Web Design Techniquesent://SD_ILS/0/SD_ILS:5079452024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Raven: Scripting Java™ Builds with Rubyent://SD_ILS/0/SD_ILS:5079642024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Practical MythTV Building a PVR and Media Center PCent://SD_ILS/0/SD_ILS:5079762024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Practical Ruby for System Administrationent://SD_ILS/0/SD_ILS:5078932024-06-22T21:00:14Z2024-06-22T21:00:14Zby Hamou, André Ben. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0194-6">http://dx.doi.org/10.1007/978-1-4302-0194-6</a><br/>Format: Electronic Resources<br/>Microformats: Empowering Your Markup for Web 2.0ent://SD_ILS/0/SD_ILS:5078942024-06-22T21:00:14Z2024-06-22T21:00:14Zby Allsopp, John. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0195-3">http://dx.doi.org/10.1007/978-1-4302-0195-3</a><br/>Format: Electronic Resources<br/>Practical JavaScript™, DOM Scripting, and Ajax Projectsent://SD_ILS/0/SD_ILS:5078952024-06-22T21:00:14Z2024-06-22T21:00:14Zby Zammetti, Frank W. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0197-7">http://dx.doi.org/10.1007/978-1-4302-0197-7</a><br/>Format: Electronic Resources<br/>An Introduction to HTML and JavaScript for Scientists and Engineersent://SD_ILS/0/SD_ILS:5086242024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Essential RenderMan ®ent://SD_ILS/0/SD_ILS:5086862024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Dynamic Programming A Computational Toolent://SD_ILS/0/SD_ILS:5114522024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Practical Apache Struts2 Web 2.0 Projectsent://SD_ILS/0/SD_ILS:5080112024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Automatic Quantum Computer Programming A Genetic Programming Approachent://SD_ILS/0/SD_ILS:5054452024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Genetic Programming Theory and Practice IVent://SD_ILS/0/SD_ILS:5057422024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>First Steps: Developing BizTalk Applicationsent://SD_ILS/0/SD_ILS:5080072024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Pro InfoPath 2007ent://SD_ILS/0/SD_ILS:5079612024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Mobile Phone Programming Application to Wireless Networkingent://SD_ILS/0/SD_ILS:5074792024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Beginning HTML with CSS and XHTML Modern Guide and Referenceent://SD_ILS/0/SD_ILS:5079662024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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 WPF Windows Presentation Foundation in .NET 3.0ent://SD_ILS/0/SD_ILS:5079772024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Workflow in the 2007 Microsoft Office Systement://SD_ILS/0/SD_ILS:5079552024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Pro WF Windows Workflow in .NET 3.0ent://SD_ILS/0/SD_ILS:5079752024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Windows Home Server User’s Guideent://SD_ILS/0/SD_ILS:5080062024-06-22T21:00:14Z2024-06-22T21:00:14Zby Edney, Andrew. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0452-7">http://dx.doi.org/10.1007/978-1-4302-0452-7</a><br/>Format: Electronic Resources<br/>An Introduction to Network Programming with Javaent://SD_ILS/0/SD_ILS:5086122024-06-22T21:00:14Z2024-06-22T21:00:14Zby Graba, Jan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-630-8">http://dx.doi.org/10.1007/978-1-84628-630-8</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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedingsent://SD_ILS/0/SD_ILS:5130142024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Pro Java™ 6 3D Game Development Java 3D™, JOGL, JInput, and JOAL APIsent://SD_ILS/0/SD_ILS:5079072024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>How to Code .NET Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectivelyent://SD_ILS/0/SD_ILS:5079122024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Practical OCamlent://SD_ILS/0/SD_ILS:5079142024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>LINQ for Visual C# 2005ent://SD_ILS/0/SD_ILS:5079232024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Beginning Ruby on Rails E-Commerce From Novice to Professionalent://SD_ILS/0/SD_ILS:5079342024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Pro Crystal Enterprise/Business Objects XI Programmingent://SD_ILS/0/SD_ILS:5079352024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Visual Basic 2005 Recipes A Problem-Solution Approachent://SD_ILS/0/SD_ILS:5079432024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Foundation Flash Cartoon Animationent://SD_ILS/0/SD_ILS:5080132024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Pro SharePoint 2007 Development Techniquesent://SD_ILS/0/SD_ILS:5080142024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Beginning Spring 2 From Novice to Professionalent://SD_ILS/0/SD_ILS:5080162024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Practical Rails Projectsent://SD_ILS/0/SD_ILS:5079472024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Pro WCF Practical Microsoft SOA Implementationent://SD_ILS/0/SD_ILS:5079562024-06-22T21:00:14Z2024-06-22T21:00:14Zby Peiris, Chris. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0324-7">http://dx.doi.org/10.1007/978-1-4302-0324-7</a><br/>Format: Electronic Resources<br/>Beginning SQL Server 2005 Express for Developers From Novice to Professionalent://SD_ILS/0/SD_ILS:5079592024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Foundations of Security What Every Programmer Needs to Knowent://SD_ILS/0/SD_ILS:5079782024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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 Drupal Developmentent://SD_ILS/0/SD_ILS:5078902024-06-22T21:00:14Z2024-06-22T21:00:14Zby VanDyk, John K. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0190-8">http://dx.doi.org/10.1007/978-1-4302-0190-8</a><br/>Format: Electronic Resources<br/>Pro .NET 2.0 XMLent://SD_ILS/0/SD_ILS:5078962024-06-22T21:00:14Z2024-06-22T21:00:14Zby Joshi, Bipin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0198-4">http://dx.doi.org/10.1007/978-1-4302-0198-4</a><br/>Format: Electronic Resources<br/>Web Standards Creativity Innovations in Web Design with XHTML, CSS, and DOM Scriptingent://SD_ILS/0/SD_ILS:5079892024-06-22T21:00:14Z2024-06-22T21:00:14Zby Adams, Cameron. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0390-2">http://dx.doi.org/10.1007/978-1-4302-0390-2</a><br/>Format: Electronic Resources<br/>Pro CSS and HTML Design Patternsent://SD_ILS/0/SD_ILS:5079902024-06-22T21:00:14Z2024-06-22T21:00:14Zby Bowers, Michael. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0391-9">http://dx.doi.org/10.1007/978-1-4302-0391-9</a><br/>Format: Electronic Resources<br/>Foundations of Microsoft Expression Web The Basics and Beyondent://SD_ILS/0/SD_ILS:5079912024-06-22T21:00:14Z2024-06-22T21:00:14Zby Wise, Cheryl D. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0392-6">http://dx.doi.org/10.1007/978-1-4302-0392-6</a><br/>Format: Electronic Resources<br/>Web Development Solutions Ajax, APIs, Libraries, and Hosted Services Made Easyent://SD_ILS/0/SD_ILS:5079922024-06-22T21:00:14Z2024-06-22T21:00:14Zby Heilmann, Christian. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4302-0393-3">http://dx.doi.org/10.1007/978-1-4302-0393-3</a><br/>Format: Electronic Resources<br/>Java Methods for Financial Engineering Applications in Finance and Investmentent://SD_ILS/0/SD_ILS:5086602024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129632024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125382024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logicent://SD_ILS/0/SD_ILS:5124262024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121762024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126202024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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 Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130302024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Software Engineering for Multi-Agent Systems V Research Issues and Practical Applicationsent://SD_ILS/0/SD_ILS:5126022024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126922024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126162024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127832024-06-22T21:00:14Z2024-06-22T21:00:14Zby Caires, Luís. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74407-8">http://dx.doi.org/10.1007/978-3-540-74407-8</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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129722024-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:5129732024-06-22T21:00:14Z2024-06-22T21:00:14Zby Backhouse, Roland. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76786-2">http://dx.doi.org/10.1007/978-3-540-76786-2</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-06-22T21:00:14Z2024-06-22T21:00:14Zby 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/>