Search Results for Computer programs. - Narrowed by: Computer science.

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

2026-03-20T23:15:52Z

Author Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74234-7
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-03-20T23:15:52Z

Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7956-0
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-03-20T23:15:52Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8943-6
Format: Electronic Resources
Availability Online Library~1

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

2026-03-20T23:15:52Z

Author Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80607-0
Format: Electronic Resources
Availability Online Library~1

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

2026-03-20T23:15:52Z

Author Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74776-2
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-20T23:15:52Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74318-4
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

2026-03-20T23:15:52Z

Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55630-2
Format: Electronic Resources
Availability Online Library~1

FPGA EDA Design Principles and Implementation

2026-03-20T23:15:52Z

Author Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7755-0
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-03-20T23:15:52Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

2026-03-20T23:15:52Z

Author Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68150-9
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

2026-03-20T23:15:52Z

Author Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71291-3
Format: Electronic Resources
Availability Online Library~1

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

2026-03-20T23:15:52Z

Author Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70074-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

2026-03-20T23:15:52Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0617-7
Format: Electronic Resources
Availability Online Library~1

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2026-03-20T23:15:52Z

Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72652-6
Format: Electronic Resources
Availability Online Library~1

String Analysis for Software Verification and Security

2026-03-20T23:15:52Z

Author Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68670-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

2026-03-20T23:15:52Z

Author Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68690-5
Format: Electronic Resources
Availability Online Library~1

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2026-03-20T23:15:52Z

Author Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55198-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2026-03-20T23:15:52Z

Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71237-6
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2026-03-20T23:15:52Z

Author Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68034-7
Format: Electronic Resources
Availability Online Library~1

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2026-03-20T23:15:52Z

Author Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70169-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-03-20T23:15:52Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources
Availability Online Library~1

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

2026-03-20T23:15:52Z

Author Ranzato, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66706-5
Format: Electronic Resources
Availability Online Library~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-03-20T23:15:52Z

Author Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-20T23:15:52Z

Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Specification, Implementation, Verification

2026-03-20T23:15:52Z

Author Alagić, Suad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61518-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-03-20T23:15:52Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

2026-03-20T23:15:52Z

Author Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66107-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-03-20T23:15:52Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2026-03-20T23:15:52Z

Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70389-3
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-03-20T23:15:52Z

Author Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2026-03-20T23:15:52Z

Author Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67729-3
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

2026-03-20T23:15:52Z

Author D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2026-03-20T23:15:52Z

Author Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2026-03-20T23:15:52Z

Author Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2026-03-20T23:15:52Z

Author Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57288-8
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-03-20T23:15:52Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2026-03-20T23:15:52Z

Author Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66284-8
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-20T23:15:52Z

Author Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54494-5
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2026-03-20T23:15:52Z

Author Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2026-03-20T23:15:52Z

Author Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51676-9
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

2026-03-20T23:15:52Z

Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-20T23:15:52Z

Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-03-20T23:15:52Z

Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-03-20T23:15:52Z

Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources
Availability Online Library~1

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2026-03-20T23:15:52Z

Author Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60074-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-20T23:15:52Z

Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources
Availability Online Library~1

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2026-03-20T23:15:52Z

Author Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51046-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2026-03-20T23:15:52Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources
Availability Online Library~1

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

2026-03-20T23:15:52Z

Author Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67113-0
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-03-20T23:15:52Z

Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2026-03-20T23:15:52Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52228-9
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2026-03-20T23:15:52Z

Author Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66266-4
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-03-20T23:15:52Z

Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

2026-03-20T23:15:52Z

Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources
Availability Online Library~1

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

2026-03-20T23:15:52Z

Author An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69131-2
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2026-03-20T23:15:52Z

Author Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67549-7
Format: Electronic Resources
Availability Online Library~1

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

2026-03-20T23:15:52Z

Author Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68015-6
Format: Electronic Resources
Availability Online Library~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-03-20T23:15:52Z

Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources
Availability Online Library~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-20T23:15:52Z

Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-20T23:15:52Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources
Availability Online Library~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-03-20T23:15:52Z

Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2026-03-20T23:15:52Z

Author Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2026-03-20T23:15:52Z

Author Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2026-03-20T23:15:52Z

Author Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources
Availability Online Library~1

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2026-03-20T23:15:52Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2026-03-20T23:15:52Z

Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2026-03-20T23:15:52Z

Author Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29473-5
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2026-03-20T23:15:52Z

Author Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2026-03-20T23:15:52Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

2026-03-20T23:15:52Z

Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2026-03-20T23:15:52Z

Author Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41579-6
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2026-03-20T23:15:52Z

Author Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources
Availability Online Library~1

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2026-03-20T23:15:52Z

Author Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2026-03-20T23:15:52Z

Author Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2026-03-20T23:15:52Z

Author Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-03-20T23:15:52Z

Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-03-20T23:15:52Z

Author Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2026-03-20T23:15:52Z

Author Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49815-7
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2026-03-20T23:15:52Z

Author Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2026-03-20T23:15:52Z

Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2026-03-20T23:15:52Z

Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47958-3
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

2026-03-20T23:15:52Z

Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computer Vision The First Footprints

2026-03-20T23:15:52Z

Author Olague, Gustavo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43693-6
Format: Electronic Resources
Availability Online Library~1

Directed Algebraic Topology and Concurrency

2026-03-20T23:15:52Z

Author Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15398-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-20T23:15:52Z

Author Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources
Availability Online Library~1

Deductive Software Verification - The KeY Book From Theory to Practice

2026-03-20T23:15:52Z

Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-20T23:15:52Z

Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-03-20T23:15:52Z

Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources
Availability Online Library~1

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2026-03-20T23:15:52Z

Author Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2026-03-20T23:15:52Z

Author Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-20T23:15:52Z

Author Lucanu, Dorel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-20T23:15:52Z

Author Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-03-20T23:15:52Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47166-2
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2026-03-20T23:15:52Z

Author Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2026-03-20T23:15:52Z

Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2026-03-20T23:15:52Z

Author Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2026-03-20T23:15:52Z

Author Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33693-0
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2026-03-20T23:15:52Z

Author Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32582-8
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2026-03-20T23:15:52Z

Author Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources
Availability Online Library~1

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2026-03-20T23:15:52Z

Author Torra, Vicenç. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2026-03-20T23:15:52Z

Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2026-03-20T23:15:52Z

Author Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46613-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-20T23:15:52Z

Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

2026-03-20T23:15:52Z

Author Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2026-03-20T23:15:52Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-20T23:15:52Z

Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2026-03-20T23:15:52Z

Author Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-03-20T23:15:52Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-03-20T23:15:52Z

Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-03-20T23:15:52Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources
Availability Online Library~1

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-03-20T23:15:52Z

Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-03-20T23:15:52Z

Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-20T23:15:52Z

Author Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources
Availability Online Library~1

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-03-20T23:15:52Z

Author Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Foundations for Mastering Change I

2026-03-20T23:15:52Z

Author Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-03-20T23:15:52Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-03-20T23:15:52Z

Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2026-03-20T23:15:52Z

Author Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources
Availability Online Library~1

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2026-03-20T23:15:52Z

Author Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources
Availability Online Library~1

Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers

2026-03-20T23:15:52Z

Author Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334180.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36337-5
Format: Electronic Resources
Availability Online Library~1

META-NET Strategic Research Agenda for Multilingual Europe 2020

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334182.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36349-8
Format: Electronic Resources
Availability Online Library~1

Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings

2026-03-20T23:15:52Z

Author Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334953.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40486-3
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings

2026-03-20T23:15:52Z

Author Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Vila, María Amparo. editor. Andreasen, Troels. editor. Christiansen, Henning. editor.
Preferred Shelf Number ONLINE(335000.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40769-7
Format: Electronic Resources
Availability Online Library~1

Information Access Evaluation. Multilinguality, Multimodality, and Visualization 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings

2026-03-20T23:15:52Z

Author Forner, Pamela. editor. Müller, Henning. editor. Paredes, Roberto. editor. Rosso, Paolo. editor. Stein, Benno. editor.
Preferred Shelf Number ONLINE(335007.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40802-1
Format: Electronic Resources
Availability Online Library~1

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings

2026-03-20T23:15:52Z

Author Sun, Maosong. editor. Zhang, Min. editor. Lin, Dekang. editor. Wang, Haifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335112.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41491-6
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Chinese Computing Second CCF Conference, NLPCC 2013, Chongqing, China, November 15-19, 2013, Proceedings

2026-03-20T23:15:52Z

Author Zhou, Guodong. editor. Li, Juanzi. editor. Zhao, Dongyan. editor. Feng, Yansong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335134.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41644-6
Format: Electronic Resources
Availability Online Library~1

Linguistic Identity Matching

2026-03-20T23:15:52Z

Author Lisbach, Bertrand. author. Meyer, Victoria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335359.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2095-2
Format: Electronic Resources
Availability Online Library~1

Building and Using Comparable Corpora

2026-03-20T23:15:52Z

Author Sharoff, Serge. editor. Rapp, Reinhard. editor. Zweigenbaum, Pierre. editor. Fung, Pascale. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333087.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-20128-8
Format: Electronic Resources
Availability Online Library~1

Hierarchical Neural Network Structures for Phoneme Recognition

2026-03-20T23:15:52Z

Author Vasquez, Daniel. author. Gruhn, Rainer. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333848.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34425-1
Format: Electronic Resources
Availability Online Library~1

Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

2026-03-20T23:15:52Z

Author Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334059.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35828-9
Format: Electronic Resources
Availability Online Library~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2026-03-20T23:15:52Z

Author Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334341.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37012-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings

2026-03-20T23:15:52Z

Author Zaïane, Osmar R. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334602.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38457-8
Format: Electronic Resources
Availability Online Library~1

Wissensakquisition mithilfe maschineller Lernverfahren auf tiefen semantischen Repräsentationen

2026-03-20T23:15:52Z

Author Brück, Tim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338382.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2503-2
Format: Electronic Resources
Availability Online Library~1

Robust Emotion Recognition using Spectral and Prosodic Features

2026-03-20T23:15:52Z

Author Rao, K. Sreenivasa. author. Koolagudi, Shashidhar G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332015.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6360-3
Format: Electronic Resources
Availability Online Library~1

Advances in Generative Lexicon Theory

2026-03-20T23:15:52Z

Author Pustejovsky, James. editor. Bouillon, Pierrette. editor. Isahara, Hitoshi. editor. Kanzaki, Kyoko. editor. Lee, Chungmin. editor.
Preferred Shelf Number ONLINE(335910.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5189-7
Format: Electronic Resources
Availability Online Library~1

Cognitive Aspects of Computational Language Acquisition

2026-03-20T23:15:52Z

Author Villavicencio, Aline. editor. Poibeau, Thierry. editor. Korhonen, Anna. editor. Alishahi, Afra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333499.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31863-4
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings

2026-03-20T23:15:52Z

Author Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.
Preferred Shelf Number ONLINE(334674.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38824-8
Format: Electronic Resources
Availability Online Library~1

Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings

2026-03-20T23:15:52Z

Author Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334681.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38847-7
Format: Electronic Resources
Availability Online Library~1

Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers

2026-03-20T23:15:52Z

Author Liu, Pengyuan. editor. Su, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335193.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45185-0
Format: Electronic Resources
Availability Online Library~1

Linked Data in Linguistics Representing and Connecting Language Data and Language Metadata

2026-03-20T23:15:52Z

Author Chiarcos, Christian. editor. Nordhoff, Sebastian. editor. Hellmann, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28249-2
Format: Electronic Resources
Availability Online Library~1

The Greek Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28936-1
Format: Electronic Resources
Availability Online Library~1

The Portuguese Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29593-5
Format: Electronic Resources
Availability Online Library~1

The Bulgarian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30168-1
Format: Electronic Resources
Availability Online Library~1

The Icelandic Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30174-2
Format: Electronic Resources
Availability Online Library~1

The Danish Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30627-3
Format: Electronic Resources
Availability Online Library~1

The Maltese Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30681-5
Format: Electronic Resources
Availability Online Library~1

The English Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30684-6
Format: Electronic Resources
Availability Online Library~1

The Czech Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30706-5
Format: Electronic Resources
Availability Online Library~1

Controlled Natural Language Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

2026-03-20T23:15:52Z

Author Rosner, Michael. editor. Fuchs, Norbert E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31175-8
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedings

2026-03-20T23:15:52Z

Author Bouma, Gosse. editor. Ittoo, Ashwin. editor. Métais, Elisabeth. editor. Wortmann, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31178-9
Format: Electronic Resources
Availability Online Library~1

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

2026-03-20T23:15:52Z

Author Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31262-5
Format: Electronic Resources
Availability Online Library~1

Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012. Proceedings

2026-03-20T23:15:52Z

Author Catarci, Tiziana. editor. Forner, Pamela. editor. Hiemstra, Djoerd. editor. Peñas, Anselmo. editor. Santucci, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33247-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence – IBERAMIA 2012 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings

2026-03-20T23:15:52Z

Author Pavón, Juan. editor. Duque-Méndez, Néstor D. editor. Fuentes-Fernández, Rubén. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34654-5
Format: Electronic Resources
Availability Online Library~1

The Dutch Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25978-4
Format: Electronic Resources
Availability Online Library~1

The German Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27166-3
Format: Electronic Resources
Availability Online Library~1

The Finnish Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27248-6
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings

2026-03-20T23:15:52Z

Author Kosseim, Leila. editor. Inkpen, Diana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30353-1
Format: Electronic Resources
Availability Online Library~1

The Slovak Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30370-8
Format: Electronic Resources
Availability Online Library~1

The Hungarian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30379-1
Format: Electronic Resources
Availability Online Library~1

The Irish Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30558-0
Format: Electronic Resources
Availability Online Library~1

The Slovene Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30636-5
Format: Electronic Resources
Availability Online Library~1

The Catalan Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30678-5
Format: Electronic Resources
Availability Online Library~1

The Romanian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30703-4
Format: Electronic Resources
Availability Online Library~1

The Polish Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30811-6
Format: Electronic Resources
Availability Online Library~1

The Swedish Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30832-1
Format: Electronic Resources
Availability Online Library~1

The Norwegian Language in the Digital Age Bokmalsversjon

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31389-9
Format: Electronic Resources
Availability Online Library~1

The Spanish Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30841-3
Format: Electronic Resources
Availability Online Library~1

The Latvian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30876-5
Format: Electronic Resources
Availability Online Library~1

The Croatian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30882-6
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Chinese Computing First CCF Conference, NLPCC 2012, Beijing, China, October 31-November 5, 2012. Proceedings

2026-03-20T23:15:52Z

Author Zhou, Ming. editor. Zhou, Guodong. editor. Zhao, Dongyan. editor. Liu, Qun. editor. Zou, Lei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34456-5
Format: Electronic Resources
Availability Online Library~1

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars

2026-03-20T23:15:52Z

Author Steels, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34120-5
Format: Electronic Resources
Availability Online Library~1

Entropy Guided Transformation Learning: Algorithms and Applications

2026-03-20T23:15:52Z

Author Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2978-3
Format: Electronic Resources
Availability Online Library~1

Multilingual Information Retrieval From Research To Practice

2026-03-20T23:15:52Z

Author Peters, Carol. author. Braschler, Martin. author. Clough, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23008-0
Format: Electronic Resources
Availability Online Library~1

Cross-Word Modeling for Arabic Speech Recognition

2026-03-20T23:15:52Z

Author AbuZeina, Dia. author. Elshafei, Moustafa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1213-7
Format: Electronic Resources
Availability Online Library~1

Grammars for Language and Genes Theoretical and Empirical Investigations

2026-03-20T23:15:52Z

Author Chiang, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20444-9
Format: Electronic Resources
Availability Online Library~1

The Serbian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30755-3
Format: Electronic Resources
Availability Online Library~1

The Lithuanian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30758-4
Format: Electronic Resources
Availability Online Library~1

The French Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30761-4
Format: Electronic Resources
Availability Online Library~1

Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthday

2026-03-20T23:15:52Z

Author Santos, Diana. editor. Lindén, Krister. editor. Ng’ang’a, Wanjiku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30773-7
Format: Electronic Resources
Availability Online Library~1

The Italian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30776-8
Format: Electronic Resources
Availability Online Library~1

Language Grounding in Robots

2026-03-20T23:15:52Z

Author Steels, Luc. editor. Hild, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3064-3
Format: Electronic Resources
Availability Online Library~1

Controlled Natural Language Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings

2026-03-20T23:15:52Z

Author Kuhn, Tobias. editor. Fuchs, Norbert E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32612-7
Format: Electronic Resources
Availability Online Library~1

The Estonian Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30785-0
Format: Electronic Resources
Availability Online Library~1

The Basque Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30796-6
Format: Electronic Resources
Availability Online Library~1

The Galician Language in the Digital Age

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30799-7
Format: Electronic Resources
Availability Online Library~1

The Norwegian Language in the Digital Age Nynorskversjon

2026-03-20T23:15:52Z

Author Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31433-9
Format: Electronic Resources
Availability Online Library~1

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers

2026-03-20T23:15:52Z

Author Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31482-7
Format: Electronic Resources
Availability Online Library~1

Advances in Speech and Language Technologies for Iberian Languages IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012. Proceedings

2026-03-20T23:15:52Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35292-8
Format: Electronic Resources
Availability Online Library~1

Integration of World Knowledge for Natural Language Understanding

2026-03-20T23:15:52Z

Author Ovchinnikova, Ekaterina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-53-4
Format: Electronic Resources
Availability Online Library~1

Information Systems for Indian Languages International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings

2026-03-20T23:15:52Z

Author Singh, Chandan. editor. Singh Lehal, Gurpreet. editor. Sengupta, Jyotsna. editor. Sharma, Dharam Veer. editor. Goyal, Vishal. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19403-0
Format: Electronic Resources
Availability Online Library~1

Multilingual and Multimodal Information Access Evaluation Second International Conference of the Cross-Language Evaluation Forum, CLEF 2011, Amsterdam, The Netherlands, September 19-22, 2011. Proceedings

2026-03-20T23:15:52Z

Author Forner, Pamela. editor. Gonzalo, Julio. editor. Kekäläinen, Jaana. editor. Lalmas, Mounia. editor. Rijke, Marteen. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23708-9
Format: Electronic Resources
Availability Online Library~1

Ambient Media and Systems Second International ICST Conference, AMBI-SYS 2011, Porto, Portugal, March 24-25, 2011, Revised Selected Papers

2026-03-20T23:15:52Z

Author Gabrielli, Silvia. editor. Elias, Dirk. editor. Kahol, Kanav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23902-1
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings

2026-03-20T23:15:52Z

Author Christiansen, Henning. editor. Tré, Guy. editor. Yazici, Adnan. editor. Zadrozny, Slawomir. editor. Andreasen, Troels. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24764-4
Format: Electronic Resources
Availability Online Library~1

Syntax-Based Collocation Extraction

2026-03-20T23:15:52Z

Author Seretan, Violeta. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0134-2
Format: Electronic Resources
Availability Online Library~1

Domain-Level Reasoning for Spoken Dialogue Systems

2026-03-20T23:15:52Z

Author Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: Electronic Resources
Availability Online Library~1

Genres on the Web Computational Models and Empirical Studies

2026-03-20T23:15:52Z

Author Mehler, Alexander. editor. Sharoff, Serge. editor. Santini, Marina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9178-9
Format: Electronic Resources
Availability Online Library~1

Human Language Technology. Challenges for Computer Science and Linguistics 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers

2026-03-20T23:15:52Z

Author Vetulani, Zygmunt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20095-3
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011. Proceedings

2026-03-20T23:15:52Z

Author Muñoz, Rafael. editor. Montoyo, Andrés. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22327-3
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Talking Robots Processing Content in Database Semantics

2026-03-20T23:15:52Z

Author Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22432-4
Format: Electronic Resources
Availability Online Library~1

Reinforcement Learning for Adaptive Dialogue Systems A Data-driven Methodology for Dialogue Management and Natural Language Generation

2026-03-20T23:15:52Z

Author Rieser, Verena. author. Lemon, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24942-6
Format: Electronic Resources
Availability Online Library~1

Advances in Nonlinear Speech Processing 5th International Conference on Nonlinear Speech Processing, NOLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011. Proceedings

2026-03-20T23:15:52Z

Author Travieso-González, Carlos M. editor. Alonso-Hernández, Jesús B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25020-0
Format: Electronic Resources
Availability Online Library~1

Anaphora Processing and Applications 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011. Revised Selected Papers

2026-03-20T23:15:52Z

Author Hendrickx, Iris. editor. Lalitha Devi, Sobha. editor. Branco, António. editor. Mitkov, Ruslan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25917-3
Format: Electronic Resources
Availability Online Library~1

Handbook of Natural Language Processing and Machine Translation DARPA Global Autonomous Language Exploitation

2026-03-20T23:15:52Z

Author Olive, Joseph. editor. Christianson, Caitlin. editor. McCary, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7713-7
Format: Electronic Resources
Availability Online Library~1

Spoken Dialogue Systems Technology and Design

2026-03-20T23:15:52Z

Author Minker, Wolfgang. editor. Lee, Gary Geunbae. editor. Nakamura, Satoshi. editor. Mariani, Joseph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7934-6
Format: Electronic Resources
Availability Online Library~1

Advances in Commercial Deployment of Spoken Dialog Systems

2026-03-20T23:15:52Z

Author Suendermann, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9610-7
Format: Electronic Resources
Availability Online Library~1

The Language Grid Service-Oriented Collective Intelligence for Language Resource Interoperability

2026-03-20T23:15:52Z

Author Ishida, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21178-2
Format: Electronic Resources
Availability Online Library~1

Internationalization, Design and Global Development 4th International Conference, IDGD 2011, Held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

2026-03-20T23:15:52Z

Author Rau, P. L. Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21660-2
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

2026-03-20T23:15:52Z

Author Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22303-7
Format: Electronic Resources
Availability Online Library~1

Systems and Frameworks for Computational Morphology Second International Workshop, SFCM 2011, Zurich, Switzerland, August 26, 2011. Proceedings

2026-03-20T23:15:52Z

Author Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23138-4
Format: Electronic Resources
Availability Online Library~1

Contemporary Methods for Speech Parameterization

2026-03-20T23:15:52Z

Author Ganchev, Todor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8447-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop

2026-03-20T23:15:52Z

Author Delgado, Ramón López-Cózar. editor. Kobayashi, Tetsunori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1335-6
Format: Electronic Resources
Availability Online Library~1

Language Technology for Cultural Heritage Selected Papers from the LaTeCH Workshop Series

2026-03-20T23:15:52Z

Author Sporleder, Caroline. editor. Bosch, Antal. editor. Zervanou, Kalliopi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20227-8
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John’s, Canada, May 25-27, 2011. Proceedings

2026-03-20T23:15:52Z

Author Butz, Cory. editor. Lingras, Pawan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21043-3
Format: Electronic Resources
Availability Online Library~1

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2026-03-20T23:15:52Z

Author Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21490-5
Format: Electronic Resources
Availability Online Library~1

Codecharts roadmaps and blueprints for object-oriented programs

2026-03-20T23:15:52Z

Author Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-
Preferred Shelf Number ONLINE(318929.1)
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Books24x7 http://www.books24x7.com/marc.asp?bookid=41806 Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=700550 ebrary http://site.ebrary.com/id/10465941 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832
Format: Electronic Resources
Availability Online Library~1

Design of multithreaded software the entity-life modeling approach

2026-03-20T23:15:52Z

Author Sandén, Bo. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797
Format: Electronic Resources
Availability Online Library~1

Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technology

2026-03-20T23:15:52Z

Author Pise, S. J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-81-8489-989-4
Format: Electronic Resources
Availability Online Library~1

Linguistic Modeling of Information and Markup Languages Contributions to Language Technology

2026-03-20T23:15:52Z

Author Witt, Andreas. editor. Metzing, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3331-4
Format: Electronic Resources
Availability Online Library~1

Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers

2026-03-20T23:15:52Z

Author Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14684-8
Format: Electronic Resources
Availability Online Library~1

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings

2026-03-20T23:15:52Z

Author Jha, Girish Nath. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17528-2
Format: Electronic Resources
Availability Online Library~1

Advances in Speech Recognition Mobile Environments, Call Centers and Clinics

2026-03-20T23:15:52Z

Author Neustein, Amy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-5951-5
Format: Electronic Resources
Availability Online Library~1

Proactive Spoken Dialogue Interaction in Multi-Party Environments

2026-03-20T23:15:52Z

Author Strauß, Petra-Maria. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-5992-8
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 23rd Canadian Conference on Artificial Intelligence, Canadian AI 2010, Ottawa, Canada, May 31 – June 2, 2010. Proceedings

2026-03-20T23:15:52Z

Author Farzindar, Atefeh. editor. Kešelj, Vlado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13059-5
Format: Electronic Resources
Availability Online Library~1

Culture and Computing Computing and Communication for Crosscultural Interaction

2026-03-20T23:15:52Z

Author Ishida, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17184-0
Format: Electronic Resources
Availability Online Library~1

Multilingual and Multimodal Information Access Evaluation International Conference of the Cross-Language Evaluation Forum, CLEF 2010, Padua, Italy, September 20-23, 2010. Proceedings

2026-03-20T23:15:52Z

Author Agosti, Maristella. editor. Ferro, Nicola. editor. Peters, Carol. editor. Rijke, Maarten. editor. Smeaton, Alan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15998-5
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence – IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings

2026-03-20T23:15:52Z

Author Kuri-Morales, Angel. editor. Simari, Guillermo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16952-6
Format: Electronic Resources
Availability Online Library~1

Advances in Nonlinear Speech Processing International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papers

2026-03-20T23:15:52Z

Author Solé-Casals, Jordi. editor. Zaiats, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11509-7
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings

2026-03-20T23:15:52Z

Author Hopfe, Christina J. editor. Rezgui, Yacine. editor. Métais, Elisabeth. editor. Preece, Alun. editor. Li, Haijiang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13881-2
Format: Electronic Resources
Availability Online Library~1

Multilingual Information Access Evaluation II. Multimedia Experiments 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers

2026-03-20T23:15:52Z

Author Peters, Carol. editor. Caputo, Barbara. editor. Gonzalo, Julio. editor. Jones, Gareth J. F. editor. Kalpathy-Cramer, Jayashree. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15751-6
Format: Electronic Resources
Availability Online Library~1

Multilingual Information Access Evaluation I. Text Retrieval Experiments 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers

2026-03-20T23:15:52Z

Author Peters, Carol. editor. Nunzio, Giorgio Maria. editor. Kurimo, Mikko. editor. Mandl, Thomas. editor. Mostefa, Djamel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15754-7
Format: Electronic Resources
Availability Online Library~1

Computerlinguistik und Sprachtechnologie Eine Einführung

2026-03-20T23:15:52Z

Author Carstensen, Kai-Uwe. editor. Ebert, Christian. editor. Ebert, Cornelia. editor. Jekat, Susanne J. editor. Klabunde, Ralf. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2224-8
Format: Electronic Resources
Availability Online Library~1

Linguistic Values Based Intelligent Information Processing: Theory, Methods, and Applications

2026-03-20T23:15:52Z

Author Pei, Zheng. author. Ruan, Da. author. Liu, Jun. author. Xu, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-28-2
Format: Electronic Resources
Availability Online Library~1

Machine Translation Its Scope and Limits

2026-03-20T23:15:52Z

Author Wilks, Yorick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72774-5
Format: Electronic Resources
Availability Online Library~1

Sanskrit Computational Linguistics Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings

2026-03-20T23:15:52Z

Author Kulkarni, Amba. editor. Huet, Gérard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-93885-9
Format: Electronic Resources
Availability Online Library~1

Sanskrit Computational Linguistics First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers

2026-03-20T23:15:52Z

Author Huet, Gérard. editor. Kulkarni, Amba. editor. Scharf, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00155-0
Format: Electronic Resources
Availability Online Library~1

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings

2026-03-20T23:15:52Z

Author Li, Wenjie. editor. Mollá-Aliod, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00831-3
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings

2026-03-20T23:15:52Z

Author Gao, Yong. editor. Japkowicz, Nathalie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01818-3
Format: Electronic Resources
Availability Online Library~1

Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

2026-03-20T23:15:52Z

Author Karsh, Ben-Tzion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02731-4
Format: Electronic Resources
Availability Online Library~1

Internationalization, Design and Global Development Third International Conference, IDGD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

2026-03-20T23:15:52Z

Author Aykin, Nuray. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02767-3
Format: Electronic Resources
Availability Online Library~1

Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers

2026-03-20T23:15:52Z

Author Esposito, Anna. editor. Vích, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03320-9
Format: Electronic Resources
Availability Online Library~1

State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedings

2026-03-20T23:15:52Z

Author Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04131-0
Format: Electronic Resources
Availability Online Library~1

Text, Speech and Dialogue 12th International Conference, TSD 2009, Pilsen, Czech Republic, September 13-17, 2009. Proceedings

2026-03-20T23:15:52Z

Author Matoušek, Václav. editor. Mautner, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04208-9
Format: Electronic Resources
Availability Online Library~1

Human Language Technology. Challenges of the Information Society Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers

2026-03-20T23:15:52Z

Author Vetulani, Zygmunt. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04235-5
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings

2026-03-20T23:15:52Z

Author Gavaldà, Ricard. editor. Lugosi, Gábor. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04414-4
Format: Electronic Resources
Availability Online Library~1

Evaluating Systems for Multilingual and Multimodal Information Access 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers

2026-03-20T23:15:52Z

Author Peters, Carol. editor. Deselaers, Thomas. editor. Ferro, Nicola. editor. Gonzalo, Julio. editor. Jones, Gareth J. F. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04447-2
Format: Electronic Resources
Availability Online Library~1

KI 2009: Advances in Artificial Intelligence 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings

2026-03-20T23:15:52Z

Author Mertsching, Bärbel. editor. Hund, Marcus. editor. Aziz, Zaheer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04617-9
Format: Electronic Resources
Availability Online Library~1

Aspects of Natural Language Processing Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday

2026-03-20T23:15:52Z

Author Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04735-0
Format: Electronic Resources
Availability Online Library~1

Multimodal Corpora From Models of Natural Interaction to Systems and Applications

2026-03-20T23:15:52Z

Author Kipp, Michael. editor. Martin, Jean-Claude. editor. Paggio, Patrizia. editor. Heylen, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04793-0
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings

2026-03-20T23:15:52Z

Author Andreasen, Troels. editor. Yager, Ronald R. editor. Bulskov, Henrik. editor. Christiansen, Henning. editor. Larsen, Henrik Legind. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04957-6
Format: Electronic Resources
Availability Online Library~1

Anaphora Processing and Applications 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings

2026-03-20T23:15:52Z

Author Lalitha Devi, Sobha. editor. Branco, António. editor. Mitkov, Ruslan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04975-0
Format: Electronic Resources
Availability Online Library~1

AI 2009: Advances in Artificial Intelligence 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings

2026-03-20T23:15:52Z

Author Nicholson, Ann. editor. Li, Xiaodong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10439-8
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimarães, Portugal, December 9-11, 2009. Proceedings

2026-03-20T23:15:52Z

Author Iurgel, Ido A. editor. Zagalo, Nelson. editor. Petta, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10643-9
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers

2026-03-20T23:15:52Z

Author Hattori, Hiromitsu. editor. Kawamura, Takahiro. editor. Idé, Tsuyoshi. editor. Yokoo, Makoto. editor. Murakami, Yohei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00609-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

2026-03-20T23:15:52Z

Author Bosch, Peter. editor. Gabelaia, David. editor. Lang, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00665-4
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings

2026-03-20T23:15:52Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00382-0
Format: Electronic Resources
Availability Online Library~1

Representation and Management of Narrative Information Theoretical Principles and Implementation

2026-03-20T23:15:52Z

Author Zarri, Gian Piero. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-078-0
Format: Electronic Resources
Availability Online Library~1

Computable Models

2026-03-20T23:15:52Z

Author Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-052-4
Format: Electronic Resources
Availability Online Library~1

Perception in Multimodal Dialogue Systems 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008. Proceedings

2026-03-20T23:15:52Z

Author André, Elisabeth. editor. Dybkjær, Laila. editor. Minker, Wolfgang. editor. Neumann, Heiko. editor. Pieraccini, Roberto. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69369-7
Format: Electronic Resources
Availability Online Library~1

Markov Models for Pattern Recognition From Theory to Applications

2026-03-20T23:15:52Z

Author Fink, Gernot A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71770-6
Format: Electronic Resources
Availability Online Library~1

Computational Forensics Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings

2026-03-20T23:15:52Z

Author Srihari, Sargur N. editor. Franke, Katrin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85303-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Linguistics

2026-03-20T23:15:52Z

Author Kornai, András. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-986-6
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings

2026-03-20T23:15:52Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78135-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Multimodal Interaction 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers

2026-03-20T23:15:52Z

Author Popescu-Belis, Andrei. editor. Renals, Steve. editor. Bourlard, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78155-4
Format: Electronic Resources
Availability Online Library~1

Large-Scale Knowledge Resources. Construction and Application Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings

2026-03-20T23:15:52Z

Author Tokunaga, Takenobu. editor. Ortega, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78159-2
Format: Electronic Resources
Availability Online Library~1

Usability of Speech Dialog Systems Listening to the Target Audience

2026-03-20T23:15:52Z

Author Hempel, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78343-5
Format: Electronic Resources
Availability Online Library~1

Advances in Multilingual and Multimodal Information Retrieval 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers

2026-03-20T23:15:52Z

Author Peters, Carol. editor. Jijkoun, Valentin. editor. Mandl, Thomas. editor. Müller, Henning. editor. Oard, Douglas W. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85760-0
Format: Electronic Resources
Availability Online Library~1

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2026-03-20T23:15:52Z

Author Dengel, Andreas R. editor. Berns, Karsten. editor. Breuel, Thomas M. editor. Bomarius, Frank. editor. Roth-Berghofer, Thomas R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85845-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Multimodal Interaction 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings

2026-03-20T23:15:52Z

Author Popescu-Belis, Andrei. editor. Stiefelhagen, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85853-9
Format: Electronic Resources
Availability Online Library~1

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

2026-03-20T23:15:52Z

Author Paech, Barbara. editor. Martell, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89778-1
Format: Electronic Resources
Availability Online Library~1

Modeling Communication with Robots and Virtual Humans Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

2026-03-20T23:15:52Z

Author Wachsmuth, Ipke. editor. Knoblich, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79037-2
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers

2026-03-20T23:15:52Z

Author Rahwan, Iyad. editor. Parsons, Simon. editor. Reed, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78915-4
Format: Electronic Resources
Availability Online Library~1

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2026-03-20T23:15:52Z

Author Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Electronic Resources
Availability Online Library~1

Parsing Techniques A Practical Guide

2026-03-20T23:15:52Z

Author Grune, Dick. author. Jacobs, Ceriel J. H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68954-8
Format: Electronic Resources
Availability Online Library~1

Wissensverarbeitung und die Semantik der Natürlichen Sprache Wissensrepräsentation mit MultiNet

2026-03-20T23:15:52Z

Author Helbig, Hermann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76278-2
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings

2026-03-20T23:15:52Z

Author Nordström, Bengt. editor. Ranta, Aarne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85287-2
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedings

2026-03-20T23:15:52Z

Author Freund, Yoav. editor. Györfi, László. editor. Turán, György. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87987-9
Format: Electronic Resources
Availability Online Library~1

Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

2026-03-20T23:15:52Z

Author Teixeira, António. editor. Lima, Vera Lúcia Strube. editor. Oliveira, Luís Caldas. editor. Quaresma, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85980-2
Format: Electronic Resources
Availability Online Library~1

Text, Speech and Dialogue 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedings

2026-03-20T23:15:52Z

Author Sojka, Petr. editor. Horák, Aleš. editor. Kopeček, Ivan. editor. Pala, Karel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87391-4
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

2026-03-20T23:15:52Z

Author Zaverucha, Gerson. editor. Costa, Augusto Loureiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88190-2
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence – IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings

2026-03-20T23:15:52Z

Author Geffner, Hector. editor. Prada, Rui. editor. Machado Alexandre, Isabel. editor. David, Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88309-8
Format: Electronic Resources
Availability Online Library~1

Cognitive Systems Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

2026-03-20T23:15:52Z

Author Lu, Ruqian. editor. Siekmann, Jörg H. editor. Ullrich, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70934-3
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

2026-03-20T23:15:52Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70939-8
Format: Electronic Resources
Availability Online Library~1

Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers

2026-03-20T23:15:52Z

Author Branco, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71412-5
Format: Electronic Resources
Availability Online Library~1

Advances in Nonlinear Speech Processing International Conference on Non-Linear Speech Processing, NOLISP 2007 Paris, France, May 22-25, 2007 Revised Selected Papers

2026-03-20T23:15:52Z

Author Chetouani, Mohamed. editor. Hussain, Amir. editor. Gas, Bruno. editor. Milgram, Maurice. editor. Zarader, Jean-Luc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77347-4
Format: Electronic Resources
Availability Online Library~1

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers

2026-03-20T23:15:52Z

Author Ishida, Toru. editor. Fussell, Susan R. editor. Vossen, Piek T. J. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74000-1
Format: Electronic Resources
Availability Online Library~1

Speaker Classification II Selected Projects

2026-03-20T23:15:52Z

Author Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74122-0
Format: Electronic Resources
Availability Online Library~1

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings

2026-03-20T23:15:52Z

Author Hertzberg, Joachim. editor. Beetz, Michael. editor. Englert, Roman. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74565-5
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

2026-03-20T23:15:52Z

Author Cate, Balder D. editor. Zeevat, Henk W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75144-1
Format: Electronic Resources
Availability Online Library~1

Digital Document Processing Major Directions and Recent Advances

2026-03-20T23:15:52Z

Author Chaudhuri, Bidyut B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-726-8
Format: Electronic Resources
Availability Online Library~1

Emergence of Communication and Language

2026-03-20T23:15:52Z

Author Lyon, Caroline. editor. Nehaniv, Chrystopher L. editor. Cangelosi, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-779-4
Format: Electronic Resources
Availability Online Library~1

Progress in Nonlinear Speech Processing

2026-03-20T23:15:52Z

Author Stylianou, Yannis. editor. Faundez-Zanuy, Marcos. editor. Esposito, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71505-4
Format: Electronic Resources
Availability Online Library~1

Usability and Internationalization. HCI and Culture Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-03-20T23:15:52Z

Author Aykin, Nuray. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73287-7
Format: Electronic Resources
Availability Online Library~1

Usability and Internationalization. Global and Local User Interfaces Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2026-03-20T23:15:52Z

Author Aykin, Nuray. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73289-1
Format: Electronic Resources
Availability Online Library~1

Speaker Classification I Fundamentals, Features, and Methods

2026-03-20T23:15:52Z

Author Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74200-5
Format: Electronic Resources
Availability Online Library~1

Text, Speech and Dialogue 10th International Conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007. Proceedings

2026-03-20T23:15:52Z

Author Matoušek, Václav. editor. Mautner, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74628-7
Format: Electronic Resources
Availability Online Library~1

Evaluation of Multilingual and Multi-modal Information Retrieval 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers

2026-03-20T23:15:52Z

Author Peters, Carol. editor. Clough, Paul. editor. Gey, Fredric C. editor. Karlgren, Jussi. editor. Magnini, Bernardo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74999-8
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems Third International Workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006 Revised Selected and Invited Papers

2026-03-20T23:15:52Z

Author Maudet, Nicolas. editor. Parsons, Simon. editor. Rahwan, Iyad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75526-5
Format: Electronic Resources
Availability Online Library~1

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

2026-03-20T23:15:52Z

Author Aguzzoli, Stefano. editor. Ciabattoni, Agata. editor. Gerla, Brunella. editor. Manara, Corrado. editor. Marra, Vincenzo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75939-3
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006. Proceedings

2026-03-20T23:15:52Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11671299
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings

2026-03-20T23:15:52Z

Author Sichman, Jaime Simão. editor. Coelho, Helder. editor. Rezende, Solange Oliveira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874850
Format: Electronic Resources
Availability Online Library~1