Karlsruhe - PDFSEARCH.IO - Document Search Engine

Karlsruhe
Results: 4737

#	Item
331	Technische Universität Berlin Technology Studies Roger Häußling (Karlsruhe) Add to Reading List Source URL: www.ts.tu-berlin.de - Date: 2010-03-25 22:49:30
332	Static Trace-Based Deadlock Analysis for Synchronous Mini-Go Kai Stadtm¨ uller1 , Martin Sulzmann1 , and Peter Thiemann2 1 Add to Reading List Source URL: www.home.hs-karlsruhe.de - Date: 2017-12-12 07:07:41
333	Towards Monitoring of Novel Statements in the News Michael F¨ arber, Achim Rettinger, and Andreas Harth Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany {michael.faerber,rettinger,harth}@kit.edu Add to Reading List Source URL: www.aifb.kit.edu - Date: 2016-12-01 09:46:25
334	Fixing Regular Expression Matching Failure Martin Sulzmann1 and Kenny Zhuo Ming Lu2 1 Karlsruhe University of Applied Sciences Add to Reading List Source URL: www.home.hs-karlsruhe.de - Date: 2015-09-23 08:21:31
335	Correct and Efficient POSIX Submatch Extraction with Regular Expression Derivatives Martin Sulzmann Kenny Zhuo Ming Lu Add to Reading List Source URL: www.home.hs-karlsruhe.de - Date: 2013-03-29 18:27:32
336	Disambiguation and Faithful Instantiation of Parametric Regular Expression Containment Coercions Abstract In summary, we make the following main contributions: Add to Reading List Source URL: www.home.hs-karlsruhe.de - Date: 2013-07-12 13:46:31
337	Name, Anschrift und Telefon des Veranstalters, ggf. auch des Zustellungsvertreters Finanzamt Karlsruhe-Durlach Anmeldung der Lotterie oder Ausspielung Add to Reading List Source URL: www.vereinsbesteuerung.info - Date: 2014-02-24 16:19:03
338	Forkable Regular Expressions Martin Sulzmann1 and Peter Thiemann2 1 Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences Add to Reading List Source URL: www.home.hs-karlsruhe.de - Date: 2016-03-15 07:37:46

UPDATE