Konferenzschrift
Executive summary / Dagstuhl Seminar "Challenges in Symbolic Computation Software" 2006
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2006]
- Beteiligte Personen und Organisationen
-
Decker, Wolfram
Dewar, Mike
Kaltofen, Erich
Watt, Stephen M.
Seminar Challenges in Symbolic Computation Software (2006 : Dagstuhl)
- URN
-
urn:nbn:de:0030-drops-7778
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
Beteiligte
- Decker, Wolfram
- Dewar, Mike
- Kaltofen, Erich
- Watt, Stephen M.
- Seminar Challenges in Symbolic Computation Software (2006 : Dagstuhl)
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2006]
Ähnliche Objekte (12)
Cryptography : 07381 executive summary ; Dagstuhl seminar
Dagstuhl Seminar "Mobile Information Management" : executive summary
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Challenges in symbolic computation software : 06271 abstracts collection ; Dagstuhl seminar
Synchronous programming - SYNCHRON'04 : Dagstuhl seminar ; executive summary
Dagstuhl seminar "Organic Computing - Controlled Emergence" : executive summary
Executive summary of the Dagstuhl Workshop "Computational Proteomics"
Disruption tolerant networking : Dagstuhl seminar 05142 ; executive summary
Dagstuhl Seminar "Transformation Techniques in Software Engineering" (TrafoDagstuhl 2005) : executive summary
Negotiation and market engineering : executive summary ; Dagstuhl seminar 06461
Executive summary of the Beyond Program Slicing Dagstuhl Seminar
Frontiers of electronic voting : Dagstuhl seminar 07311 ; executive summary
Cryptography : 07381 executive summary ; Dagstuhl seminar
Dagstuhl Seminar "Mobile Information Management" : executive summary
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Challenges in symbolic computation software : 06271 abstracts collection ; Dagstuhl seminar
Synchronous programming - SYNCHRON'04 : Dagstuhl seminar ; executive summary
Dagstuhl seminar "Organic Computing - Controlled Emergence" : executive summary
Executive summary of the Dagstuhl Workshop "Computational Proteomics"
Disruption tolerant networking : Dagstuhl seminar 05142 ; executive summary
Dagstuhl Seminar "Transformation Techniques in Software Engineering" (TrafoDagstuhl 2005) : executive summary
Negotiation and market engineering : executive summary ; Dagstuhl seminar 06461
Executive summary of the Beyond Program Slicing Dagstuhl Seminar
Frontiers of electronic voting : Dagstuhl seminar 07311 ; executive summary
Cryptography : 07381 executive summary ; Dagstuhl seminar
Dagstuhl Seminar "Mobile Information Management" : executive summary
Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471
Challenges in symbolic computation software : 06271 abstracts collection ; Dagstuhl seminar
Synchronous programming - SYNCHRON'04 : Dagstuhl seminar ; executive summary
Dagstuhl seminar "Organic Computing - Controlled Emergence" : executive summary
Executive summary of the Dagstuhl Workshop "Computational Proteomics"
Disruption tolerant networking : Dagstuhl seminar 05142 ; executive summary
Dagstuhl Seminar "Transformation Techniques in Software Engineering" (TrafoDagstuhl 2005) : executive summary
Negotiation and market engineering : executive summary ; Dagstuhl seminar 06461
Executive summary of the Beyond Program Slicing Dagstuhl Seminar