„Informatik“

Suchergebnisse

1.000+ Treffer

• Three decision making mechanisms to facilitate negotiation of service level agreements for web service compositions
  Brzostowski, Jakub ; Chhetri, Mohan Baruwal ; Kowalczyk, Ryszard 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Manifest Strategische Bedeutung des Software Engineering in Deutschland
  Broy, Manfred ; Jarke, Matthias ; Nagl, Manfred ; Rombach, Hans Dieter ; Cremers, Armin B. ; Ebert, Jürgen ; Glesner, Sabine ; Glinz, Martin ; Goedicke, Michael ; Goos, Gerhard ; Gruhn, Volker ; Hasselbring, Wilhelm ; Jähnichen, Stefan ; Kowalewski, Stefan ; Krämer, Bernd J. ; Leue, Stefan ; Lewerentz, Claus ; Liggesmeyer, Peter ; Lüth, Christoph ; Paech, Barbara ; Partsch, Helmut A ; Philippow, Ilka ; Prechelt, Lutz ; Rausch, Andreas ; Roever, Willem-Paul ˜deœ ; Rumpe, Bernhard ; Rünger, Gudula ; Scha 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Numerical and algebraic algorithms and computer-assisted proofs – 05391 executive summary ; Dagstuhl seminar
  Buchberger, Bruno ; Jansson, Christian ; Oishi, Shin'ichi ; Plum, Michael ; Rump, Siegfried M. 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Real Computation and Complexity (Dagstuhl Seminar 9545)
  Cucker, Felipe ; Lickteig, Thomas ; Shub, Michael 1996 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exact Exponential Algorithms for Clustering Problems
  Fomin, Fedor V. ; Golovach, Petr A. ; Inamdar, Tanmay ; Purohit, Nidhi ; Saurabh, Saket 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Decidability of Concurrent Kleene Algebra
  Brunet, Paul ; Pous, Damien ; Struth, Georg 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Understanding Cutting Planes for QBFs
  Beyersdorff, Olaf ; Chew, Leroy Nicholas ; Mahajan, Meena ; Shukla, Anil 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Kernels for Deletion to Classes of Acyclic Digraphs
  Agrawal, Akanksha ; Saurabh, Saket ; Sharma, Roohani ; Zehavi, Meirav 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Front Matter, Table of Contents, Preface, Organization, List of Authors
  Chatzigiannakis, Ioannis ; Mitzenmacher, Michael ; Rabani, Yuval ; Sangiorgi, Davide 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Definability of linear equation systems over groups and rings
  Dawar, Anuj ; Grädel, Erich ; Holm, Bjarki ; Kopczynski, Eryk ; Pakusa, Wied 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Graph Roots Without Short Cycles
  Farzad, Babak ; Lau, Lap Chi ; Le, Van Bang ; Tuy, Nguyen Ngoc 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Traffic Signal Optimization Using Cyclically Expanded Networks
  Köhler, Ekkehard ; Strehler, Martin 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Frontmatter, Table of Contents, Preface, Organization
  Erlebach, Thomas ; Lübbecke, Marco 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 23rd International Workshop on Algorithms in Bioinformatics (WABI 2023)
  Belazzougui, Djamal ; Ouangraoua, Aïda 2023 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)
  Bojańczyk, Mikołaj ; Merelli, Emanuela ; Woodruff, David P. 2022 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Towards a Dynamic Type Theory
  Kohlhase, Michael ; Kuschert, Susanna 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• 6th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'06)
  Jacob, Riko ; Müller-Hannemann, Matthias 2006 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• starkeSeiten Medienbildung 9/10 – Arbeitsheft mit Medien Klasse 9/10
  2026 Klett
• Blickpunkt Informatik und Medienbildung
  2025 westermann
• starkeSeiten Informatik - Datenbanken – Arbeitsheft mit Medien Klasse 11-13
  2026 Klett