Konferenzschrift | Kongress
Theory and applications of satisfiability testing : 7th international conference ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540278290
354027829X
- Dimensions
-
24 cm
- Extent
-
XIII, 392 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 3542
- Classification
-
Informatik
- Keyword
-
Erfüllbarkeitsproblem
Erfüllbarkeitsproblem
Boolesche Formel
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2005
- Contributor
-
Hoos, Holger H.
SAT (7 : 2004 : Vancouver, British Columbia)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:58 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Hoos, Holger H.
- SAT (7 : 2004 : Vancouver, British Columbia)
- Springer
Time of origin
- 2005
Other Objects (12)
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers
Information hiding : 7th international workshop ; revised selected papers
Computers and games : 7th international conference ; revised selected papers
Wireless internet : 7th international ICST conference ; revised selected papers
Trustworthy global computing : 7th international symposium ; revised selected papers
Information security applications : 7th international workshop ; revised selected papers
Privacy enhancing technologies : 7th international symposium ; revised selected papers
Advanced intelligent computing : 7th international conference ; revised selected papers
Principles of distributed systems : 7th international conference ; revised selected papers
Critical information infrastructures security : 7th international workshop ; revised selected papers
Programming multi-agent systems : 7th international workshop ; revised selected papers
Mobile multimedia communications : 7th international ICST conference ; revised selected papers
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers
Information hiding : 7th international workshop ; revised selected papers
Computers and games : 7th international conference ; revised selected papers
Wireless internet : 7th international ICST conference ; revised selected papers
Trustworthy global computing : 7th international symposium ; revised selected papers
Information security applications : 7th international workshop ; revised selected papers
Privacy enhancing technologies : 7th international symposium ; revised selected papers
Advanced intelligent computing : 7th international conference ; revised selected papers
Principles of distributed systems : 7th international conference ; revised selected papers
Critical information infrastructures security : 7th international workshop ; revised selected papers
Programming multi-agent systems : 7th international workshop ; revised selected papers
Mobile multimedia communications : 7th international ICST conference ; revised selected papers
Theory and applications of satisfiability testing : 6th international conference ; selected revised papers
Information hiding : 7th international workshop ; revised selected papers
Computers and games : 7th international conference ; revised selected papers
Wireless internet : 7th international ICST conference ; revised selected papers
Trustworthy global computing : 7th international symposium ; revised selected papers
Information security applications : 7th international workshop ; revised selected papers
Privacy enhancing technologies : 7th international symposium ; revised selected papers
Advanced intelligent computing : 7th international conference ; revised selected papers
Principles of distributed systems : 7th international conference ; revised selected papers
Critical information infrastructures security : 7th international workshop ; revised selected papers
Programming multi-agent systems : 7th international workshop ; revised selected papers