Humboldt-Universität zu Berlin
Forschungseinheit Spezifikation, Verifikation und Testtheorie
Kontakt
Forschungseinheit Spezifikation, Verifikation und Testtheorie
Unter den Linden 6
10099 Berlin
10099 Berlin
Promotionsmöglichkeiten
Promotionsmöglichkeit hier klicken
Zugehörige Einrichtungen
Humboldt-Universität zu Berlin
Alle Ebenen einblenden | ausblenden
- Berlin Graduate School of Social Sciences (BGSS)Zur Einrichtung
- Berlin School of Mind and BrainZur Einrichtung
- Berlin-Brandenburg School for Regenerative TherapiesZur Einrichtung
- Berliner Institut für Islamische TheologieZur Einrichtung
- Border Crossings - Crossing Borders. Berliner Zentrum für transnationale GrenzforschungZur Einrichtung
- Center for Humanities and Social ChangeZur Einrichtung
- Erwin Schrödinger-ZentrumZur Einrichtung
- Excellence Cluster TopoiZur Einrichtung
- Exzellenzcluster Matters of ActivityZur Einrichtung
- Forschungsbereich Religiöse Gemeinschaften und nachhaltige EntwicklungZur Einrichtung
- Georg-Simmel-Zentrum für MetropolenforschungZur Einrichtung
- Großbritannien-Zentrum (GBZ) / Centre for British StudiesZur Einrichtung
- Hermann von Helmholtz-Zentrum für KulturtechnikZur Einrichtung
- Humboldt Graduate SchoolZur Einrichtung
- Integratives Forschungsinstitut (IRI) für LebenswissenschaftenZur Einrichtung
- Integratives Forschungsinstitut zu Transformationen von Mensch-Umwelt-Systemen (IRI THESys)Zur Einrichtung
- Interdisziplinäres Zentrum für BildungsforschungZur Einrichtung
- IRIS AdlershofZur Einrichtung
- Juristische FakultätZur Einrichtung
- Kultur-, Sozial- und Bildungswissenschaftliche FakultätZur Einrichtung
- Lebenswissenschaftliche FakultätZur Einrichtung
- Mathematisch-Naturwissenschaftliche FakultätZur Einrichtung
- Geographisches InstitutZur Einrichtung
- Institut für ChemieZur Einrichtung
- Institut für InformatikZur Einrichtung
- Arbeitsgruppe Didaktik der Informatik / Informatik und GesellschaftZur Einrichtung
- Arbeitsgruppe Künstliche IntelligenzZur Einrichtung
- Fachbereich Computer VisionZur Einrichtung
- Fachgebiet Parallele und Verteilte SystemeZur Einrichtung
- Fachgebiet Signalverarbeitung und MustererkennungZur Einrichtung
- Fachgebiet SoftwaretechnikZur Einrichtung
- Fachgebiet SystemarchitekturZur Einrichtung
- Forschungseinheit Spezifikation, Verifikation und Testtheorie
- Lehr- und Forschungsgebiet Komplexität und KryptografieZur Einrichtung
- Lehrgebiet Informatik in Bildung und GesellschaftZur Einrichtung
- Lehrstuhl Algorithm EngineeringZur Einrichtung
- Lehrstuhl Algorithmen und KomplexitätZur Einrichtung
- Lehrstuhl Datenbanken und InformationssystemeZur Einrichtung
- Lehrstuhl für Maschinelles LernenZur Einrichtung
- Lehrstuhl für Prozessmanagement und InformationssystemeZur Einrichtung
- Lehrstuhl Kognitive RobotikZur Einrichtung
- Lehrstuhl Logik in der InformatikZur Einrichtung
- Lehrstuhl Systemanalyse, Modellierung und ComputersimulationZur Einrichtung
- Lehrstuhl Theorie der ProgrammierungZur Einrichtung
- Lehrstuhl Wissensmanagement in der BioinformatikZur Einrichtung
- Institut für MathematikZur Einrichtung
- Institut für PhysikZur Einrichtung
- School of Analytical Sciences Adlershof (SALSA)Zur Einrichtung
- Philosophische FakultätZur Einrichtung
- Professional School of Education (PSE)Zur Einrichtung
- Robert-K.-Merton-Zentrum für Wissenschaftsforschung (RMZ)Zur Einrichtung
- Sprach- und literaturwissenschaftliche FakultätZur Einrichtung
- Theologische FakultätZur Einrichtung
- UniversitätsbibliothekZur Einrichtung
- Wirtschaftswissenschaftliche FakultätZur Einrichtung
- Zentralinstitut für Katholische TheologieZur Einrichtung
- Zentrum für Biophysik und BioinformatikZur Einrichtung
- Zentrum für transdisziplinäre GeschlechterstudienZur Einrichtung
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular