Zum Inhalt springen

Hofstedt, Petra [VerfasserIn]

Cooperation and coordination of constraint solvers

Schließen

Merkliste

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

Aachen: Shaker, 2001

Erschienen in: Berichte aus der Informatik
Hofstedt, Petra [VerfasserIn]

An architecture for the combination of constraint solvers

Schließen

Merkliste

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

Dresden: Technische Universität, Fakultät Informatik, 1998

Erschienen in: Technische Universität Dresden: Technische Berichte ; 98,8
Hofstedt, Petra [VerfasserIn]

Taskparallele Skelette für irregulär strukturierte Probleme in deklarativen Sprachen

Schließen

Merkliste

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

Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Erschienen in: Aachener Informatik-Berichte ; 199707
Hofstedt, Petra [VerfasserIn]; Wolf, Armin [VerfasserIn]

Einführung in die Constraint-Programmierung : Grundlagen, Methoden, Sprachen, Anwendungen

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, 2007

Erschienen in: eXamen.press
Pepper, Peter [VerfasserIn]; Hofstedt, Petra [VerfasserIn]

Funktionale Programmierung : Sprachdesign und Programmiertechnik ; mit 57 Abbildungen und 18 Tabellen

Schließen

Merkliste

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

Berlin; Heidelberg; New York: Springer, [2006]

Erschienen in: eXamen.press
Schwigon, Steffen [VerfasserIn]; Hofstedt, Petra [VerfasserIn]

Methoden zur automatischen Parallelisierung (Constraint-)logischer Programme

Schließen

Merkliste

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

Dresden: Tech. Univ., Fak. Informatik, 1997

Erschienen in: Technische Universität Dresden: Technische Berichte ; 97,8
Jeltsch, Wolfgang [VerfasserIn] ; Hofstedt, Petra [AkademischeR BetreuerIn]

Strongly typed and efficient functional reactive programming

Online ansehen
Schließen

Zugang

https://d-nb.info/1021467979/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: Universitätsbibliothek der BTU Cottbus, 2012
Löffler, Sven [VerfasserIn] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Kuchen, Herbert [Sonstige Person, Familie und Körperschaft]

Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs)

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: BTU Cottbus - Senftenberg, 2022
Liu, Ke [VerfasserIn] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Abreu, Salvador [Sonstige Person, Familie und Körperschaft]

Parallel constraint solving for combinatorial problems

Online ansehen
Schließen

Zugang

https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/5437

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: BTU Cottbus - Senftenberg, 2021
Löffler, Sven [VerfasserIn] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Kuchen, Herbert [Sonstige Person, Familie und Körperschaft]

Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs)

Online ansehen
Schließen

Zugang

https://d-nb.info/1274116147/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: BTU Cottbus - Senftenberg, 2022
Liu, Ke [VerfasserIn] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Abreu, Salvador [Sonstige Person, Familie und Körperschaft]

Parallel constraint solving for combinatorial problems

Online ansehen
Schließen

Zugang

https://d-nb.info/1227930720/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: BTU Cottbus - Senftenberg, 2021
Prenzel, Anna [VerfasserIn] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Meinberg, Uwe [Sonstige Person, Familie und Körperschaft]

Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen

Online ansehen
Schließen

Zugang

https://d-nb.info/1163604895/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: BTU Cottbus - Senftenberg, 2018
Vörtler, Thilo [VerfasserIn] ; Hofstedt, Petra [Sonstige Person, Familie und Körperschaft]; Vierhaus, Heinrich Theodor [Sonstige Person, Familie und Körperschaft]

Verification of software for Contiki-based low-power embedded systems using software model checking

Online ansehen
Schließen

Zugang

https://d-nb.info/1152265601/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: BTU Cottbus - Senftenberg, 2018
Müller, Sebastian [VerfasserIn] ; Vierhaus, Heinrich Theodor [AkademischeR BetreuerIn]; Hofstedt, Petra [AkademischeR BetreuerIn]

Software-basierte Rekonfiguration in statisch geplanten Mehrkernsystemen zur Behandlung permanenter Fehler

Online ansehen
Schließen

Zugang

https://d-nb.info/1114283649/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cottbus: BTU Cottbus - Senftenberg, 2015
John, Ulrich [HerausgeberIn]; Hofstedt, Petra [HerausgeberIn]; Wolf, Armin [HerausgeberIn] ; W(C)LP 32. 2018 Berlin, Gesellschaft für Logische Programmierung

Deklarative Ansätze zur Künstlichen Intelligenz - punktuelle Beiträge : W(C)LP 2018 : Post-Proceedings des 32. Workshops für (Constraint) Logische Programmierung

Online ansehen
Schließen

Zugang

http://wi.hwtk.de/WLP2018/

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Berlin: Hochschule für Wirtschaft, Technik und Kultur, hwtk - University of Applied Sciences, September 2019
Hofstedt, Petra [HerausgeberIn]; Abreu, Salvador [HerausgeberIn]; John, Ulrich [HerausgeberIn]; Kuchen, Herbert [HerausgeberIn]; Seipel, Dietmar [HerausgeberIn]

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers - [1st ed. 2020.]

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

Erschienen in: Lecture Notes in Artificial Intelligence ; 12057- Springer eBook Collection
Cunningham, Douglas William [HerausgeberIn]; Hofstedt, Petra [HerausgeberIn]; Meer, Klaus [HerausgeberIn]; Schmitt, Ingo [HerausgeberIn] ; Gesellschaft für Informatik

Informatik 2015 - Informatik, Energie und Umwelt; 28.9. - 2.10.2015 in Cottbus

Online ansehen
Schließen

Zugang

http://subs.emis.de/LNI/Proceedings/Proceedings246.html

Zeige weitere weniger zeigen

Schließen

Merkliste

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

Bonn: Ges. für Informatik, 2015

Erschienen in: Gesellschaft für Informatik: GI-Edition / Proceedings ; 246 - Informatik ... ; 45,onli
Hofstedt, Petra

Die Evolution der Programmiersprachen der KI

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Science and Business Media LLC, 2012

Erschienen in: KI - Künstliche Intelligenz
Hofstedt, Petra

Themenschwerpunkt „Sprachen der KI“

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Science and Business Media LLC, 2012

Erschienen in: KI - Künstliche Intelligenz
Hofstedt, Petra

Constraint-Based Object-Oriented Programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Institute of Electrical and Electronics Engineers (IEEE), 2010

Erschienen in: IEEE Software

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr