Biblio

Export 708 results:
Sort by: Author Keyword [ Title  (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Balke, W. - T., K. Keßler, A. T. Krüger, K. Stump, J. Wawrzinek, and S. Wulle, "FID Pharmazie: Zwischen Spitzenforschung und verlässlicher Infrastruktur (German)", ZfBB - Zeitschrift für Bibliothekswesen und Bibliographie, vol. 65, no. 2-3, pp. 114-117, 2018.  Download: ZfBB-PubPharm.pdf (4.62 MB)
Gogolla, M., "A Final Algebra Semantics for Errors and Exceptions", Recent Trends in Data Type Specification, Proc1 3rd Workshop on Theory and Applications of Abstract Data Types (Selected Papers), Bremen (D): Springer, Berlin, IF1 116, pp. 89-103, 1985. Abstract
Nieke, C., and D. Duellmann, "First results from a combined analysis of CERN computing infrastructure metrics", 22nd International Conference on Computing in High Energy and Nuclear Physics CHEP2016, San Francisco, USA, 10/2016. Abstract
Mathiak, B., and S. Eckstein, "Five steps to text mining in biomedical literature", WS on Data Mining and Text Mining for Bioinformatics at PKDD/ECML 2004. Proc. 15th European Conf. on Machine Learning and the 8th European Conf. on Principles and Practice of Knowledge Discovery in Databases, pp. 43-47, 2004. Abstract
Kowsari, M., "Formal Object Oriented Specification Language \sc Troll in Information System Design", Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, 1996. Abstract
Karge, U., and M. Gogolla, Formal Semantics of SQL Queries, , no. 90-01: Technische Universität Braunschweig, 1990. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A. Wills, "Formal Specification of Catalysis Frameworks", Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000. Abstract
Jungclaus, R., G. Saake, and C. Sernadas, "Formal Specification of Object Systems", Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991. Abstract
Neumann, K., "Formulierung von Integritätsbedingungen in verschiedenen SQL-Dialekten", Proc1 GI-Workshop ``Aktive Datenbanken'', Hamburg, 2.9.94: GI-Datenbankrundbrief 14, pp. 17-21, 1994. Abstract
Saake, G., and U. W. Lipeck, "Foundations of Temporal Integrity Monitoring", Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988. Abstract
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "From Data Types to Object Types", Journal on Information Processing and Cybernetics EIK, vol. 26, no. 1-2, pp. 33-48, 1990. Abstract  Download: 1990EIK.pdf (875.31 KB)
Gogolla, M., S. Güler, and R. Herzig, "From Object Specification to Enhanced Logic Programming", Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 423-430, 1994. Abstract
Sernadas, A., H. - D. Ehrich, and J. - F. Costa, "From Processes to Objects", The INESC Journal of Research and Development 1:1, pp. 7-27, 1990. Abstract  Download: 1990INESC.pdf (997.32 KB)
Ehrich, H. - D., and A. Sernadas, "Fundamental Object Concepts and Constructions", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991. Abstract
Küster Filipe, J., "Fundamentals of a Module Logic for Distributed Object Systems", Journal of Functional and Logic Programming, vol. 2000, no. 3: The MIT Press, March, 2000. Abstract
Ehrich, H. - D., "Fundamentals of Object-Oriented Information Systems Specification and Design: The OBLOG/TROLL Approach", Nuclear Instruments and Methods in Physics Research A: Elsevier, Amsterdam, pp. 375-378, 1994. Abstract  Download: 1994CERN.pdf (280.86 KB)
Neumann, K., "Funktionales Programmieren mit Polygonen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 22, pp. 125-136, 2002. Abstract  Download: Ne02.pdf (138.38 KB)
Balke, W. - T., "The Future of Work: Crowdsourcing - A Way to Efficient and Fair Distribution of Employment?", IAM Innovator, vol. 1: European Alliance for Innovation (EAI), 2013.  Download: IAM-issue01-2013.pdf (676.29 KB)
G
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, "Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment", Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995. Abstract
Tauscher, S., and K. Neumann, "Generierung angereicherter schematischer Karten zur Unterstützung von Routenplanungen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, vol. 47, pp. pp.113-119, 2011.  Download: TN11.pdf (1.1 MB)
Neumann, K., A. Kupfer, and F. Panse, "Generierung von Gebäude-Präsentationsobjekten für NAS-Bestandsdatenauszüge", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, vol. 41, pp. 83-92, 2008. Abstract  Download: NKP08.pdf (306.54 KB)
Löhr-Richter, P., "Generische Methoden zur Beschreibung des Software-Entwicklungsprozesses", Proc1 5. Kolloquium Technische Akademie Esslingen: Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen '93: Technische Akademie Esslingen, pp. 551-558, 1993. Abstract
Neumann, K., and S. Eckstein, "Geography Markup Language (GML) - Eine Einführung aus Informatiksicht", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 24, pp. 103-111, 2003. Abstract  Download: NE03.pdf (91 KB)
Lohmann, F., and K. Neumann, "A Geoscientific Database System Supporting Cartography and Application Programming", Proc1 8th British Nat1 Conf1 on Databases BNCOD-8: Pitman, London, 1990, pp. 179-195, 1990. Abstract
Balke, W. - T., U. Güntzer, and W. Siberski, "Getting Prime Cuts from Skylines over Partially Ordered Domains", 12th GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web (BTW), Aachen, Germany, 2007. Abstract  Download: btw07.pdf (342.21 KB)
Gogolla, M., Grundlagen von Entity-Relationship-Modellen, , no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994. Abstract