-
Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. de 2014 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
2014 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Dediu, Adrian-Horia ; Martín-Vide, Carlos ; Truthe, Bianca 2013 Springer Berlin Heidelberg
-
Modelling Database Dynamics – Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992
Lipeck, Udo W. 1993 Springer London
-
Human-Centered Software Engineering – 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings
Winckler, Marco ; Forbrig, Peter ; Bernhaupt, Regina 2012 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
-
Formal Grammar – 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
Groote, Philippe de ; Nederhof, Mark-Jan 2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Czumaj, Artur ; Mehlhorn, Kurt ; Pitts, Andrew ; Wattenhofer, Roger 2012 Springer Berlin Heidelberg
-
Graph Structures for Knowledge Representation and Reasoning – Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Croitoru, Madalina ; Rudolph, Sebastian ; Wilson, Nic ; Howse, John ; Corby, Olivier 2012 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Dediu, Adrian-Horia ; Martín Vide, Carlos 2012 Springer Berlin Heidelberg
-
Formal Concept Analysis – 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Valtchev, Petko ; Jäschke, Robert 2011 Springer Berlin Heidelberg
-
Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg
-
Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Barthe, Gilles 2010 Springer Berlin Heidelberg
-
Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
-
Transactions and database dynamics – selected papers
Saake, Gunter 2000 Springer
-
LLM Assistant for heterogeneous multi-robot system dynamic task planning
Guzmán-Merino, Miguel ; Krause, Nils Sören 2024 Technische Universität Hamburg. Universitätsbibliothek