Zum Inhalt springen

  1. Aichernig, Bernhard K. [Herausgeber:in]; Maibaum, Tom [Herausgeber:in]; Haeberer, Armando Martín [Gefeierte:r] ; International Institute for Software Technology

    Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNI/IISI, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2757

  2. International Conference on Software for Electrical Engineering Analysis and Design 5 2001 Myrina, Lēmnos, Wessex Institute of Technology Southampton

    Software for electrical engineering, analysis and design : [Fifth International Conference on Software for Electrical Engineering Analysis and Design; ELECTROSOFT 5]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Southampton, Conn. [u.a.]: WIT Press, 2001

    Erschienen in: Software studies ; 3

  3. Beldjehem, Mokhtar [Herausgeber:in]; Zadeh, Lofti A. [Herausgeber:in]; Yager, Ronald [Herausgeber:in]; Gupta, Madan [Herausgeber:in]; Adeli, Hojjat [Herausgeber:in] ; International North-American Simulation Technology Conference 2. 2009 Atlanta, Ga, European Technology Institute, European Simulation Society, European Simulation Society

    2nd International North-American Simulation Technology Conference on Soft Computing, Simulation and Software Engineering : NASTEC'2009 : August 26-28, 2009, Georgia Tech, Atlanta, USA

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ostend, Belgium: EUROSIS-ETI, [2009]

  4. Hung, Dang Van [Sonstige Person, Familie und Körperschaft] ; Institute of Electrical and Electronics Engineers, Computer Society of India, International Institute for Software Technology

    Fourth IEEE International Conference on Software Engineering and Formal Methods, 2006, SEFM 2006 : 11 - 15 Sept. 2006, [Pune, India]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2006

  5. Pretzsch, Sebastian [Verfasser:in]; Theissen-Lipp, Johannes [Verfasser:in]; Al-Gazali, Osama Mohammed Amin [Verfasser:in]; Drees, Holger [Verfasser:in]; Stewing, Franz-Josef [Verfasser:in]; Rydzek, Andreas [Verfasser:in]; Weiers, Christian [Verfasser:in]; Bernhard, Rüdiger [Verfasser:in]; Bachleitner, Markus [Verfasser:in]; Mück, Jürgen [Verfasser:in]; Wang, Dandan [Verfasser:in]; Konrad, Ralf [Verfasser:in]; Matsela, Lena [Verfasser:in]; Wittenberg, Tim [Verfasser:in] ; Fraunhofer-Gesellschaft, Fraunhofer-Institut für Verkehrs- und Infrastruktursysteme, Fraunhofer-Institut Intelligente Analyse- und Informationssysteme, Fraunhofer-Institut für Angewandte Informationstechnik, Fraunhofer-Institut für Materialfluss und Logistik, Fraunhofer-Institut für Software- und Systemtechnik, Bundesanstalt für Straßenwesen, T-Systems International GmbH, Materna GmbH Information & Communications, Urban Software Institute, ivm GmbH, Die Autobahn GmbH des Bundes

    MobilityDS (vormals MobilityDataSpace) - Verknüpfung kommunaler, regionaler und nationaler Datenplattformen durch Data-Space-Konzepte sowie Veredelung und Verwertung als Mobilitätsdaten-Ökosystem : gemeinsamer Abschlussbericht des Konsortiums : Laufzeit des Vorhabens: 01.06.2019 bis 30.11.2022 = MobilityDS - Connecting local, regional data platforms through data space concepts, as well as enrichment and usage as a mobility data ecosystem

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München: Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V., [2022?]

  6. International Conference on Parallel Architectures and Compilation Techniques 19 2010 Wien, Association for Computing Machinery Special Interest Group on Computer Architecture, IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society Technical Committee on Computer Architecture, International Federation for Information Processing Working Group Concurrent Systems

    PACT’10 : proceedings of the nineteenth International Conference on Parallel Architectures and Compilation Techniques : September 11-15, 2010, Vienna, Austria

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Piscataway, NJ]: IEEE, 2017

  7. Asia-Pacific Software Engineering Conference (1996 :Seoul, Korea), Han'guk Chŏngbo Kwahakhoe, Han'guk Haksul Chinhŭng Chaedan, Han'guk Chŏn'gi T'ongsin Yŏn'guso, International Institute for Software Technology

    Asia-Pacific Software Engineering Conference, 1996 : proceedings, December 4-7, 1996, Seoul, South Korea

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Los Alamitos, Calif: IEEE Computer Society Press, 2011 ; [S.l.]: HathiTrust Digital Library

  8. Schlegel, Thomas [Herausgeber:in]; Hansert, Jonas [Mitwirkende:r]; Rickert, Christian [Mitwirkende:r]; Titov, Waldemar [Mitwirkende:r]; Sawilla, Swenja [Mitwirkende:r]; Wunderlich, Tim [Mitwirkende:r]; Heinrich, Robert [Mitwirkende:r]; Koch, Sandro [Mitwirkende:r]; Mayer, Dirk [Mitwirkende:r]; Schubert, Dominique [Mitwirkende:r]; Struwe, Susann [Mitwirkende:r]; Ludwig, Gerd [Mitwirkende:r] ; Hochschule Karlsruhe - Technik und Wirtschaft Institut für Ubiquitäre Mobilitätssysteme, Fraunhofer-Institut für Werkzeugmaschinen und Umformtechnik, Karlsruher Institut für Technologie, Software AG, SITEC Industrietechnologie GmbH, INTEC International GmbH, Technologie-Transfer-Initiative GmbH Stuttgart

    Resiliente soziotechnische Prozesse im industriellen Internet der Dinge - RESPOND

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Karlsruhe: Hochschule Karlsruhe, Institut für Ubiquitäre Mobilitätssysteme, [2022]

  9. Ganzha, Maria [Herausgeber:in]; Maciaszek, Leszek [Herausgeber:in]; Paprzycki, Marcin [Herausgeber:in] ; Federated Conference on Computer Science and Information Systems 14. 2019 Leipzig, Institute of Electrical and Electronics Engineers, Polskie Towarzystwo Informatyczne

    Proceedings of the 2019 Federated Conference on Computer Science and Information Systems : September 1-4, 2019, Leipzig, Germany

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Piscataway, NJ]: IEEE, 2019

    Erschienen in: Annals of computer science and information systems ; volume 18

  10. Ganzha, Maria [Herausgeber:in]; Maciaszek, Leszek [Herausgeber:in]; Paprzycki, Marcin [Herausgeber:in] ; Federated Conference on Computer Science and Information Systems 2018 Posen, Polskie Towarzystwo Informatyczne, International Symposium Advances in Artificial Intelligence and Applications 13. 2018 Posen, International Workshop on Artificial Intelligence in Medical Applications 8. 2018 Posen, International Workshop on AI Aspects of Reasoning, Information, and Memory 3. 2018 Posen, International Workshop on Advances in Semantic Information Retrieval 8. 2018 Posen, International Workshop on Smart Energy Networks & Multi-Agent Systems 6. 2018 Posen, International Workshop on Computational Optimization 11. 2018 Posen, International Workshop on Biomedical & Health Engineering and Data Analysis 1. 2018 Posen, Workshop on Computer Aspects of Numerical Algorithms 11. 2018 Posen, International Symposium on Multimedia Applications and Processing 11. 2018 Posen, International Conference on Innovative Network Systems and Applications 6. 2018 Posen, Workshop on Internet of Things - Enablers, Challenges and Applications 2. 2018 Posen, Conference on Advanced Information Technologies for Management 16. 2018 Posen, Conference on Information Systems Management 13. 2018 Posen, Conference on Multimedia, Interaction, Design and Innovation 6. 2018 Posen, Joint IEEE Software Engineering Workshop 38. 2018 Posen

    Communication papers of the 2018 Federated Conference on Computer Science and Information Systems : September 9-12, 2018, Poznań, Poland

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Warsaw: PTI, Polskie Towarzystwo Informatyczne, 2018

    Erschienen in: Annals of computer science and information systems ; 17

  11. Ganzha, Maria [Herausgeber:in]; Maciaszek, Leszek [Herausgeber:in]; Paprzycki, Marcin [Herausgeber:in] ; Federated Conference on Computer Science and Information Systems 14. 2019 Leipzig, Polskie Towarzystwo Informatyczne, International Symposium Advances in Artificial Intelligence and Applications 14. 2019 Leipzig, International Workshop on Computational Optimization 12. 2019 Leipzig, International Symposium on Multimedia Applications and Processing 12. 2019 Leipzig, Workshop on Internet of Things - Enablers, Challenges and Applications 3. 2019 Leipzig, Conference on Advanced Information Technologies for Management 17. Leipzig 2019, Conference on Knowledge Acquisition and Management 25. 2019 Leipzig, Joint IEEE Software Engineering Workshop 39. 2019 Leipzig, Workshop on Computer Aspects of Numerical Algorithms und Conference on Information Systems Management 12. 2019 Leipzig, International Workshop on Cyber-Physical Systems 6. 2019 Leipzig

    Communication papers of the 2019 Federated Conference on Computer Science and Information Systems : September 1-4, 2019, Leipzig, Germany

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Warsaw: Polskie Towarzystwo Informatyczne, 2019

    Erschienen in: Annals of computer science and information systems ; 20

  12. Asia-Pacific Software Engineering Conference (8th :2001 :Macao, China), Aomen da xue, Centro de Produtividade e Transferência de Tecnologia de Macau, Guo jia zi ran ke xue ji jin wei yuan hui (China), International Institute for Software Technology, Macau (China : Special Administrative Region) Gabinete para o Desenvolvimento das Telecomunicações e Tecnologias da Informação

    APSEC 2001 : Eighth Asia-Pacific Software Engineering Conference : proceedings : 4-7 December, 2001, Macao, China

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Los Alamitos, Calif: IEEE Computer Society Press, 2001