Search Results for Languages. - Narrowed by: SpringerLink (Online service)SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguages.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300$0026isd$003dtrue?dt=list2026-06-02T11:03:47ZMultiparadigm Constraint Programming Languagesent://SD_ILS/0/SD_ILS:1935702026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hofstedt, Petra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17330-1">http://dx.doi.org/10.1007/978-3-642-17330-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interpreted Languages and Compositionalityent://SD_ILS/0/SD_ILS:2062652026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kracht, Marcus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2108-1">http://dx.doi.org/10.1007/978-94-007-2108-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Programming Languagesent://SD_ILS/0/SD_ILS:1758802026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Dowek, Gilles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:1870562026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Visual Languages and Applicationsent://SD_ILS/0/SD_ILS:1665612026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Zhang, Kang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68257-0">http://dx.doi.org/10.1007/978-0-387-68257-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Languages and Compilationent://SD_ILS/0/SD_ILS:4837082026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:6175552026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:4882652026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13314-0">https://doi.org/10.1007/978-3-319-13314-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Languages and Compilationent://SD_ILS/0/SD_ILS:3312102026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5514-0">http://dx.doi.org/10.1007/978-1-4471-5514-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Languages and Compilationent://SD_ILS/0/SD_ILS:1758842026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Crespi Reghizzi, Stefano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-050-0">http://dx.doi.org/10.1007/978-1-84882-050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Event Analytics across Languages and Communitiesent://SD_ILS/0/SD_ILS:6061092026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Marenzi, Ivana. editor. Gottschalk, Simon. editor. Müller-Budack, Eric. editor. Tadić, Marko. editor. Winters, Jane. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64451-1">https://doi.org/10.1007/978-3-031-64451-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Active Object Languages: Current Research Trendsent://SD_ILS/0/SD_ILS:6024372026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51060-1">https://doi.org/10.1007/978-3-031-51060-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management Concepts, Languages, Architecturesent://SD_ILS/0/SD_ILS:6042952026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-69518-0">https://doi.org/10.1007/978-3-662-69518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages: Principles and Paradigmsent://SD_ILS/0/SD_ILS:5207062026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34144-1">https://doi.org/10.1007/978-3-031-34144-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discovering Hidden Gems in Foreign Languagesent://SD_ILS/0/SD_ILS:5206702026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Miller, M.D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-18479-6">https://doi.org/10.1007/978-3-031-18479-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management Concepts, Languages, Architecturesent://SD_ILS/0/SD_ILS:4845602026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59432-2">https://doi.org/10.1007/978-3-662-59432-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Refinement Semantics, Languages and Applicationsent://SD_ILS/0/SD_ILS:4003722026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92711-4">https://doi.org/10.1007/978-3-319-92711-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Languages Syntax, Semantics, and Metaprogrammingent://SD_ILS/0/SD_ILS:4011722026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lämmel, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90800-7">https://doi.org/10.1007/978-3-319-90800-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Natural Language Processing of Semitic Languagesent://SD_ILS/0/SD_ILS:4883732026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Zitouni, Imed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45358-8">https://doi.org/10.1007/978-3-642-45358-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Languages of Western Tonalityent://SD_ILS/0/SD_ILS:3348182026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Agmon, Eytan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334818.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39587-1">http://dx.doi.org/10.1007/978-3-642-39587-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Usability Evaluation of Modeling Languagesent://SD_ILS/0/SD_ILS:3352302026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Schalles, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335230.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00051-6">http://dx.doi.org/10.1007/978-3-658-00051-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Different Kinds of Specificity Across Languagesent://SD_ILS/0/SD_ILS:3359442026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ebert, Cornelia. editor. Hinterwimmer, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335944.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5310-5">http://dx.doi.org/10.1007/978-94-007-5310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management Concepts, Languages, Architecturesent://SD_ILS/0/SD_ILS:1964902026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28616-2">http://dx.doi.org/10.1007/978-3-642-28616-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages: Principles and Paradigmsent://SD_ILS/0/SD_ILS:1761012026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-914-5">http://dx.doi.org/10.1007/978-1-84882-914-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages An Active Learning Approachent://SD_ILS/0/SD_ILS:1676772026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lee, Kent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Object-Oriented Programming Languages: Interpretationent://SD_ILS/0/SD_ILS:1755582026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Craig, Iain D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-774-9">http://dx.doi.org/10.1007/978-1-84628-774-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Management Concepts, Languages, Architecturesent://SD_ILS/0/SD_ILS:1868792026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73522-9">http://dx.doi.org/10.1007/978-3-540-73522-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming Vent://SD_ILS/0/SD_ILS:6077182026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming IVent://SD_ILS/0/SD_ILS:4828312026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14291-9">https://doi.org/10.1007/978-3-030-14291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming IIIent://SD_ILS/0/SD_ILS:3346472026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334647.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to the Theory of Programming Languagesent://SD_ILS/0/SD_ILS:1684142026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Programming: Languages, Tools and Applicationsent://SD_ILS/0/SD_ILS:1679332026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-89299-3">http://dx.doi.org/10.1007/978-0-387-89299-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming Ient://SD_ILS/0/SD_ILS:1914892026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10832-7">http://dx.doi.org/10.1007/978-3-642-10832-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Languages and Machinesent://SD_ILS/0/SD_ILS:1757202026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Parkes, Alan P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-121-3">http://dx.doi.org/10.1007/978-1-84800-121-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Developments in Formal Languages and Applicationsent://SD_ILS/0/SD_ILS:1880792026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Formal Languages and Applicationsent://SD_ILS/0/SD_ILS:1837492026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Esik, Zoltán. editor. Martín-Vide, Carlos. editor. Mitrana, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33461-3">http://dx.doi.org/10.1007/978-3-540-33461-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Programming Languages, Platforms and Applicationsent://SD_ILS/0/SD_ILS:1652692026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6083002026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91118-7">https://doi.org/10.1007/978-3-031-91118-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 18th International Conference, NooJ 2024, Bergamo, Italy, June 5-7, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6085762026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Silberztein, Max. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89810-5">https://doi.org/10.1007/978-3-031-89810-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057752026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6076812026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Computation Automata, Formal Languages, Computation and Complexityent://SD_ILS/0/SD_ILS:6077042026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Chowdhary, K.R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083272026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-91121-7">https://doi.org/10.1007/978-3-031-91121-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089732026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95589-1">https://doi.org/10.1007/978-3-031-95589-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97274-4">https://doi.org/10.1007/978-3-031-97274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 17th International Conference, NooJ 2023, Zadar, Croatia, May 31-June 2, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6015242026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bartulović, Anita. editor. Mijić, Linda. editor. Silberztein, Max. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56646-2">https://doi.org/10.1007/978-3-031-56646-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systemsent://SD_ILS/0/SD_ILS:6020032026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42202-7">https://doi.org/10.1007/978-3-031-42202-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Proveent://SD_ILS/0/SD_ILS:6021632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031532026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57262-3">https://doi.org/10.1007/978-3-031-57262-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Speech and Language Technologies for Low-Resource Languages Second International Conference, SPELLL 2023, Perundurai, Erode, India, December 6-8, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6033192026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Chakravarthi, Bharathi Raja. editor. (orcid)0000-0002-4575-7934 B, Bharathi. editor. (orcid)0000-0001-7279-5357 García Cumbreras, Miguel Ángel. editor. (orcid)0000-0003-1867-9587 Jiménez Zafra, Salud María. editor. (orcid)0000-0003-3274-8825 Subramanian, Malliga. editor. (orcid)0000-0003-3263-0376<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58495-4">https://doi.org/10.1007/978-3-031-58495-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applying AI-Based Tools and Technologies Towards Revitalization of Indigenous and Endangered Languagesent://SD_ILS/0/SD_ILS:6033262026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Mohanty, Sushree Sangita. editor. (orcid)0000-0003-1908-1472 Dash, Satya Ranjan. editor. Parida, Shantipriya. editor. (orcid)0000-0003-3387-6300 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-1987-7">https://doi.org/10.1007/978-981-97-1987-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031622026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57267-8">https://doi.org/10.1007/978-3-031-57267-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039002026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62697-5">https://doi.org/10.1007/978-3-031-62697-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6029252026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51075-5">https://doi.org/10.1007/978-3-031-51075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Domain-Specific Languages Effective Modeling, Automation, and Reuseent://SD_ILS/0/SD_ILS:5202022026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Wąsowski, Andrzej. author. Berger, Thorsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23669-3">https://doi.org/10.1007/978-3-031-23669-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209442026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Wies, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30044-8">https://doi.org/10.1007/978-3-031-30044-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213412026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hur, Chung-Kil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8311-7">https://doi.org/10.1007/978-981-99-8311-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SQL and NoSQL Databases Modeling, Languages, Security and Architectures for Big Data Managementent://SD_ILS/0/SD_ILS:5204762026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kaufmann, Michael. author. Meier, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27908-9">https://doi.org/10.1007/978-3-031-27908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Speech and Language Technologies for Low-Resource Languages First International Conference, SPELLL 2022, Kalavakkam, India, November 23-25, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5206792026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor M, Anand Kumar. editor. Chakravarthi, Bharathi Raja. editor. (orcid) B, Bharathi. editor. (orcid) O'Riordan, Colm. editor. Murthy, Hema. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33231-9">https://doi.org/10.1007/978-3-031-33231-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5208562026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Mendis, Charith. editor. Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31445-2">https://doi.org/10.1007/978-3-031-31445-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209942026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jongmans, Sung-Shik. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35361-1">https://doi.org/10.1007/978-3-031-35361-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedingsent://SD_ILS/0/SD_ILS:5214112026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4835062026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835472026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839052026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4847062026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4830472026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34627-0">https://doi.org/10.1007/978-3-030-34627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4854042026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10868-7">https://doi.org/10.1007/978-3-030-10868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4859682026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4827462026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages of Care in Narrative Medicine Words, Space and Time in the Healthcare Ecosystement://SD_ILS/0/SD_ILS:4832302026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Marini, Maria Giulia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94727-3">https://doi.org/10.1007/978-3-319-94727-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017ent://SD_ILS/0/SD_ILS:4865742026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Große, Daniel. editor. Vinco, Sara. editor. Patel, Hiren. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02215-0">https://doi.org/10.1007/978-3-030-02215-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866802026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formalizing Natural Languages with NooJ and Its Natural Language Processing Applications 11th International Conference, NooJ 2017, Kenitra and Rabat, Morocco, May 18–20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4005182026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Mbarki, Samir. editor. Mourchid, Mohammed. editor. Silberztein, Max. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73420-0">https://doi.org/10.1007/978-3-319-73420-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:4005602026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999622026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006442026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016ent://SD_ILS/0/SD_ILS:4009102026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62920-9">https://doi.org/10.1007/978-3-319-62920-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4012472026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Language Technologies for Under-Resourced African Languages Design, Challenges, and Prospectsent://SD_ILS/0/SD_ILS:4019332026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ekpenyong, Moses Effiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69960-8">https://doi.org/10.1007/978-3-319-69960-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papersent://SD_ILS/0/SD_ILS:6159742026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161242026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59746-1">https://doi.org/10.1007/978-3-319-59746-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Studying Animal Languages Without Translation: An Insight from Antsent://SD_ILS/0/SD_ILS:6170682026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Reznikova, Zhanna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44918-0">https://doi.org/10.1007/978-3-319-44918-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111512026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optical Character Recognition Systems for Different Languages with Soft Computingent://SD_ILS/0/SD_ILS:6115132026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Chaudhuri, Arindam. author. Mandaviya, Krupa. author. Badelia, Pratixa. author. K Ghosh, Soumya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50252-6">https://doi.org/10.1007/978-3-319-50252-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160412026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51676-9">https://doi.org/10.1007/978-3-319-51676-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language Modeling for Automatic Speech Recognition of Inflective Languages An Applications-Oriented Approach Using Lexical Dataent://SD_ILS/0/SD_ILS:6162162026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Donaj, Gregor. author. Kačič, Zdravko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41607-6">https://doi.org/10.1007/978-3-319-41607-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:6113312026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6117182026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Advances in Speech and Language Technologies for Iberian Languages Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117282026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Abad, Alberto. editor. Ortega, Alfonso. editor. Teixeira, António. editor. García Mateo, Carmen. editor. Martínez Hinarejos, Carlos D. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49169-1">https://doi.org/10.1007/978-3-319-49169-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6126142026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014ent://SD_ILS/0/SD_ILS:6119372026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24457-0">https://doi.org/10.1007/978-3-319-24457-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015ent://SD_ILS/0/SD_ILS:6121002026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Drechsler, Rolf. editor. Wille, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31723-6">https://doi.org/10.1007/978-3-319-31723-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:6122882026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6110882026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Natural Language Understanding and Intelligent Applications 5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161402026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lin, Chin-Yew. editor. Xue, Nianwen. editor. Zhao, Dongyan. editor. Huang, Xuanjing. editor. (orcid)0000-0001-9197-9426 Feng, Yansong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50496-4">https://doi.org/10.1007/978-3-319-50496-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Whistled Languages A Worldwide Inquiry on Human Whistled Speechent://SD_ILS/0/SD_ILS:5302892026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Meyer, Julien. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45837-2">https://doi.org/10.1007/978-3-662-45837-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189262026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26529-2">https://doi.org/10.1007/978-3-319-26529-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5189222026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19686-2">https://doi.org/10.1007/978-3-319-19686-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17473-0">https://doi.org/10.1007/978-3-319-17473-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5192222026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013ent://SD_ILS/0/SD_ILS:5292552026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06317-1">https://doi.org/10.1007/978-3-319-06317-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Applications and Technologies 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:5186142026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Sierra-Rodríguez, José-Luis. editor. Leal, José-Paulo. editor. Simões, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27653-3">https://doi.org/10.1007/978-3-319-27653-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineeringent://SD_ILS/0/SD_ILS:5186512026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jureta, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18821-8">https://doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papersent://SD_ILS/0/SD_ILS:5188382026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26172-0">https://doi.org/10.1007/978-3-319-26172-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5188892026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25527-9">https://doi.org/10.1007/978-3-319-25527-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189802026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191202026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24012-1">https://doi.org/10.1007/978-3-319-24012-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5192252026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854462026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04132-2">https://doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworksent://SD_ILS/0/SD_ILS:4879292026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54432-3">https://doi.org/10.1007/978-3-642-54432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4894212026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Cașcaval, Călin. editor. Montesinos, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09967-5">https://doi.org/10.1007/978-3-319-09967-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874542026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43376-8">https://doi.org/10.1007/978-3-662-43376-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4875012026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2014 Conference, Las Palmas de Gran Canaria, Spain, November 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4878062026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Navarro Mesa, Juan Luis. editor. Ortega, Alfonso. editor. Teixeira, António. editor. Hernández Pérez, Eduardo. editor. Quintana Morales, Pedro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13623-3">https://doi.org/10.1007/978-3-319-13623-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4890532026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894342026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Puzzles in Logic, Languages and Computation The Red Bookent://SD_ILS/0/SD_ILS:3338422026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Radev, Dragomir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333842.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34378-0">http://dx.doi.org/10.1007/978-3-642-34378-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Domain Engineering Product Lines, Languages, and Conceptual Modelsent://SD_ILS/0/SD_ILS:3342572026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.<br/>Preferred Shelf Number ONLINE(334257.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343482026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346102026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334610.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347512026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334751.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39206-1">http://dx.doi.org/10.1007/978-3-642-39206-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3347532026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334753.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39212-2">http://dx.doi.org/10.1007/978-3-642-39212-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351202026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351262026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hinze, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335126.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3352042026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335204.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language Issues in Comparative Education Inclusive Teaching and Learning in Non-Dominant Languages and Culturesent://SD_ILS/0/SD_ILS:3364012026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Benson, Carol. author. Kosonen, Kimmo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336401.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-6209-218-1">http://dx.doi.org/10.1007/978-94-6209-218-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Puzzles in Logic, Languages and Computation The Green Bookent://SD_ILS/0/SD_ILS:3338402026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Radev, Dragomir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333840.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34372-8">http://dx.doi.org/10.1007/978-3-642-34372-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3341042026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334104.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36036-7">http://dx.doi.org/10.1007/978-3-642-36036-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344692026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344942026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334494.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3348892026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Majumder, Prasenjit. editor. Mitra, Mandar. editor. Bhattacharyya, Pushpak. editor. Subramaniam, L. Venkata. editor. Contractor, Danish. editor.<br/>Preferred Shelf Number ONLINE(334889.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40087-2">http://dx.doi.org/10.1007/978-3-642-40087-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350282026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335028.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Investigations in Teaching and Learning Languages Studies in Honour of Hanna Komorowskaent://SD_ILS/0/SD_ILS:3326652026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gabryś-Barker, Danuta. editor. Piechurska-Kuciel, Ewa. editor. Zybert, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332665.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00044-2">http://dx.doi.org/10.1007/978-3-319-00044-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329812026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332981.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Processes for Business Communities Modeling Languages, Methods, Toolsent://SD_ILS/0/SD_ILS:1957472026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Schönthaler, Frank. author. Vossen, Gottfried. author. Oberweis, Andreas. author. Karle, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24791-0">http://dx.doi.org/10.1007/978-3-642-24791-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1962712026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965532026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languagesent://SD_ILS/0/SD_ILS:1967752026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Henderson-Sellers, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969712026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30829-1">http://dx.doi.org/10.1007/978-3-642-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1971102026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1971122026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974182026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1975142026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34407-7">http://dx.doi.org/10.1007/978-3-642-34407-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975772026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975912026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Torre Toledano, Doroteo. editor. Ortega Giménez, Alfonso. editor. Teixeira, António. editor. González Rodríguez, Joaquín. editor. Hernández Gómez, Luis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35292-8">http://dx.doi.org/10.1007/978-3-642-35292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973322026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Specification and Design Languages Selected Contributions from FDL 2010ent://SD_ILS/0/SD_ILS:1739372026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1427-8">http://dx.doi.org/10.1007/978-1-4614-1427-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1966162026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1971202026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31644-9">http://dx.doi.org/10.1007/978-3-642-31644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941332026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Barthe, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papersent://SD_ILS/0/SD_ILS:1944632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20715-0">http://dx.doi.org/10.1007/978-3-642-20715-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948892026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1955882026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24276-2">http://dx.doi.org/10.1007/978-3-642-24276-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1956422026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24452-0">http://dx.doi.org/10.1007/978-3-642-24452-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956512026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Whittle, Jon. editor. Clark, Tony. editor. Kühne, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24485-8">http://dx.doi.org/10.1007/978-3-642-24485-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959112026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1933082026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1951172026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1938742026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems for Indian Languages International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1940322026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Singh, Chandan. editor. Singh Lehal, Gurpreet. editor. Sengupta, Jyotsna. editor. Sharma, Dharam Veer. editor. Goyal, Vishal. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19403-0">http://dx.doi.org/10.1007/978-3-642-19403-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Pattern Languages of Programming II Special Issue on Applying Patternsent://SD_ILS/0/SD_ILS:1940422026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Noble, James. editor. Johnson, Ralph. editor. Avgeriou, Paris. editor. Harrison, Neil B. editor. Zdun, Uwe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19432-0">http://dx.doi.org/10.1007/978-3-642-19432-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:1940942026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Cooper, Keith. editor. Mellor-Crummey, John. editor. Sarkar, Vivek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19595-2">http://dx.doi.org/10.1007/978-3-642-19595-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1947092026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Meuter, Wolfgang. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21464-6">http://dx.doi.org/10.1007/978-3-642-21464-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948882026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22006-7">http://dx.doi.org/10.1007/978-3-642-22006-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linguistic Modeling of Information and Markup Languages Contributions to Language Technologyent://SD_ILS/0/SD_ILS:2050462026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Witt, Andreas. editor. Metzing, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3331-4">http://dx.doi.org/10.1007/978-90-481-3331-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917042026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11503-5">http://dx.doi.org/10.1007/978-3-642-11503-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aidsent://SD_ILS/0/SD_ILS:1918612026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12015-2">http://dx.doi.org/10.1007/978-3-642-12015-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935112026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1925662026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1925672026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14165-2">http://dx.doi.org/10.1007/978-3-642-14165-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009ent://SD_ILS/0/SD_ILS:2054572026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Borrione, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9304-2">http://dx.doi.org/10.1007/978-90-481-9304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1916642026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11355-0">http://dx.doi.org/10.1007/978-3-642-11355-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918472026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1931942026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16129-2">http://dx.doi.org/10.1007/978-3-642-16129-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1931992026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16145-2">http://dx.doi.org/10.1007/978-3-642-16145-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1923032026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Dastani, Mehdi. editor. El Fallah Segrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13338-1">http://dx.doi.org/10.1007/978-3-642-13338-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1923152026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gao, Guang R. editor. Pollock, Lori L. editor. Cavazos, John. editor. Li, Xiaoming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13374-9">http://dx.doi.org/10.1007/978-3-642-13374-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923262026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Clarke, Dave. editor. Agha, Gul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13414-2">http://dx.doi.org/10.1007/978-3-642-13414-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantifiers in Action Generalized Quantification in Query, Logical and Natural Languagesent://SD_ILS/0/SD_ILS:1646962026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Badia, Antonio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09564-6">http://dx.doi.org/10.1007/978-0-387-09564-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Comparative Information Technology Languages, Societies and the Internetent://SD_ILS/0/SD_ILS:1705312026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gibbs, Donna. editor. Zajda, Joseph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9426-2">http://dx.doi.org/10.1007/978-1-4020-9426-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1898052026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Li, Wenjie. editor. Mollá-Aliod, Diego. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00831-3">http://dx.doi.org/10.1007/978-3-642-00831-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1901092026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1904972026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Taha, Walid Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03034-5">http://dx.doi.org/10.1007/978-3-642-03034-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914412026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hu, Zhenjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10672-9">http://dx.doi.org/10.1007/978-3-642-10672-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1902012026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Liszt, Franz, 1811-1886 editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02053-7">http://dx.doi.org/10.1007/978-3-642-02053-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1907392026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gardner, Philippa. editor. Geerts, Floris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03793-1">http://dx.doi.org/10.1007/978-3-642-03793-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909442026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Schürr, Andy. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04425-0">http://dx.doi.org/10.1007/978-3-642-04425-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08ent://SD_ILS/0/SD_ILS:1706262026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Radetzki, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Course in Formal Languages, Automata and Groupsent://SD_ILS/0/SD_ILS:1758632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Chiswell, Ian M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-940-0">http://dx.doi.org/10.1007/978-1-84800-940-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1895032026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gill, Andy. editor. Swift, Terrance. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92995-6">http://dx.doi.org/10.1007/978-3-540-92995-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1895342026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93920-7">http://dx.doi.org/10.1007/978-3-540-93920-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1854292026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lea, Doug. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1882262026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1885722026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1886552026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Adve, Vikram. editor. Garzarán, María Jesús. editor. Petersen, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1886822026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Chitil, Olaf. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Computable Models of the Law Languages, Dialogues, Games, Ontologiesent://SD_ILS/0/SD_ILS:1887292026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Casanovas, Pompeu. editor. Sartor, Giovanni. editor. Casellas, Núria. editor. Rubino, Rossella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85569-9">http://dx.doi.org/10.1007/978-3-540-85569-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892482026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ramalingam, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:1878732026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1879152026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889292026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87875-9">http://dx.doi.org/10.1007/978-3-540-87875-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Systems Specification and Design Languages Selected contributions from FDL’07ent://SD_ILS/0/SD_ILS:1701072026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Villar, Eugenio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8297-9">http://dx.doi.org/10.1007/978-1-4020-8297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Space in Languages of China Cross-linguistic, Synchronic and Diachronic Perspectivesent://SD_ILS/0/SD_ILS:1701172026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Xu, Dan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8321-1">http://dx.doi.org/10.1007/978-1-4020-8321-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1859952026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1859982026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1893252026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Amaral, José Nelson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>The Rosetta Stone of the Human Mind Three languages to integrate neurobiology and psychologyent://SD_ILS/0/SD_ILS:1659562026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Sanguineti, Vincenzo R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-33645-9">http://dx.doi.org/10.1007/978-0-387-33645-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06ent://SD_ILS/0/SD_ILS:1697052026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Huss, Sorin A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866552026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868452026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1870642026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Horváth, Zoltán. editor. Zsók, Viktória. editor. Butterfield, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1858682026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1865652026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Almási, George. editor. Caşcaval, Călin. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72521-3">http://dx.doi.org/10.1007/978-3-540-72521-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1875532026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75987-4">http://dx.doi.org/10.1007/978-3-540-75987-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876402026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Learning Languages, Learning Life Skills Autobiographical reflexive approach to teaching and learning a foreign languageent://SD_ILS/0/SD_ILS:1520142026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jaatinen, Riitta. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-37064-4">http://dx.doi.org/10.1007/978-0-387-37064-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Bilingual Mind Thinking, Feeling and Speaking in Two Languagesent://SD_ILS/0/SD_ILS:1657712026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Javier, Rafael Art. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-30914-9">http://dx.doi.org/10.1007/978-0-387-30914-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:1862442026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Nicola, Rocco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1873632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75209-7">http://dx.doi.org/10.1007/978-3-540-75209-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005ent://SD_ILS/0/SD_ILS:1693402026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Vachoux, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4998-9">http://dx.doi.org/10.1007/978-1-4020-4998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logicent://SD_ILS/0/SD_ILS:1835552026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bollig, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Sestoft, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1836232026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1841462026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ciancarini, Paolo. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767954">http://dx.doi.org/10.1007/11767954</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1843202026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1843212026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1857332026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Butterfield, Andrew. editor. Grelck, Clemens. editor. Huch, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11964681">http://dx.doi.org/10.1007/11964681</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1857882026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ayguadé, Eduard. editor. Baumgartner, Gerald. editor. Ramanujam, J. editor. Sadayappan, P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69330-7">http://dx.doi.org/10.1007/978-3-540-69330-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technology in Languages for Specific Purposes Issues and Prospectsent://SD_ILS/0/SD_ILS:1519672026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Macià, Elisabet Arnó. Cervera, Antonia Soler. Ramos, Carmen Rueda. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-28624-2">http://dx.doi.org/10.1007/978-0-387-28624-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Acquisition of Verbs and their Grammar: The Effect of Particular Languagesent://SD_ILS/0/SD_ILS:1522622026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Gagarina, Natalia. Gulzow, Insa. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4335-2">http://dx.doi.org/10.1007/978-1-4020-4335-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1828312026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hentenryck, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847642026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1856652026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851552026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1852422026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Matsumoto, Yuji. editor. Sproat, Richard W. editor. Wong, Kam-Fai. editor. Zhang, Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11940098">http://dx.doi.org/10.1007/11940098</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832572026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1830002026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830742026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135676">http://dx.doi.org/10.1007/b135676</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832342026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, Franceent://SD_ILS/0/SD_ILS:1650662026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04ent://SD_ILS/0/SD_ILS:1652372026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Boulet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papersent://SD_ILS/0/SD_ILS:1815862026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Trinder, Phil. editor. Michaelson, Greg J. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b102274">http://dx.doi.org/10.1007/b102274</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1823572026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1826362026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Bierman, Gavin. editor. Koch, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601524">http://dx.doi.org/10.1007/11601524</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papersent://SD_ILS/0/SD_ILS:1827792026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Pugh, Bill. editor. Tseng, Chau-Wen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11596110">http://dx.doi.org/10.1007/11596110</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828342026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1828902026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106725">http://dx.doi.org/10.1007/b106725</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829002026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Eigenmann, Rudolf. editor. Li, Zhiyuan. editor. Midkiff, Samuel P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11532378">http://dx.doi.org/10.1007/11532378</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830582026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:1831032026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136772">http://dx.doi.org/10.1007/b136772</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831222026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6015382026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84913-8">https://doi.org/10.1007/978-3-031-84913-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods in Architecture Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024ent://SD_ILS/0/SD_ILS:6015522026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Marques, Bruno. editor. Ruivo, Catarina. editor. Leite Viana, David. editor. (orcid)0000-0002-1877-0332 Vieira Vaz, Jorge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-02782-5">https://doi.org/10.1007/978-3-032-02782-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089872026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95908-0">https://doi.org/10.1007/978-3-031-95908-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spoken Language Processing Conversational AI for Spontaneous Human Dialoguesent://SD_ILS/0/SD_ILS:6094152026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Morzy, Mikołaj. author. (orcid)0000-0002-2905-9538 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88566-2">https://doi.org/10.1007/978-3-031-88566-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:6018112026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6085332026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Marchiori, Massimo. editor. García Peñalvo, Francisco. editor. (orcid)0000-0001-9987-5584 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89621-7">https://doi.org/10.1007/978-3-031-89621-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6086352026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Microprocessor System Design using FPGAsent://SD_ILS/0/SD_ILS:6086872026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Meyer-Baese, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82822-5">https://doi.org/10.1007/978-3-031-82822-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088852026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-7956-0">https://doi.org/10.1007/978-981-96-7956-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Python Workbook A Brief Introduction with Exercises and Solutionsent://SD_ILS/0/SD_ILS:6093752026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84560-4">https://doi.org/10.1007/978-3-031-84560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6051212026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6057832026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6060472026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77153-8">https://doi.org/10.1007/978-3-031-77153-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6069842026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82703-7">https://doi.org/10.1007/978-3-031-82703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6069982026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82700-6">https://doi.org/10.1007/978-3-031-82700-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6071572026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81226-2">https://doi.org/10.1007/978-3-031-81226-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071582026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Managing Software Supply Chains Theory and Practiceent://SD_ILS/0/SD_ILS:6074272026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1797-5">https://doi.org/10.1007/978-981-96-1797-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6076382026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85593-1">https://doi.org/10.1007/978-3-031-85593-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6079232026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78952-6">https://doi.org/10.1007/978-3-031-78952-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Theory of Computation An Algorithmic Approachent://SD_ILS/0/SD_ILS:6079542026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Object-based Programming with Goent://SD_ILS/0/SD_ILS:6093322026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Maurer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Empowering Educators: Integrating AI Tools for Personalized Language Instructionent://SD_ILS/0/SD_ILS:6101692026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Pham, Vu Phi Ho. editor. Lian, Andrew. editor. Lian, Ania. editor. White, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-01348-4">https://doi.org/10.1007/978-3-032-01348-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6057382026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057412026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75872-0">https://doi.org/10.1007/978-3-031-75872-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6061522026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77019-7">https://doi.org/10.1007/978-3-031-77019-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6061662026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77792-9">https://doi.org/10.1007/978-3-031-77792-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Modelling and Programmingent://SD_ILS/0/SD_ILS:6067632026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-06-02T11:03:47Z2026-06-02T11:03:47ZAuthor Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>