Konferenzschrift | Kongress
Theoretical computer science : 7th IFIP TC 1 WG 2.2 international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642334740
3642334741
- Dimensions
-
24 cm
- Extent
-
X, 387 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7604
- Keyword
-
Theoretische Informatik
- Event
-
Veröffentlichung
- (where)
-
[Berlin, Heidelberg]
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Baeten, Josephus C. M.
Ball, Tom
Boer, Frank S. de
International Federation for Information Processing. Technical Committee Foundations of Computer Science
TCS (7 : 2012 : Amsterdam)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:52 AM CET
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
- Baeten, Josephus C. M.
- Ball, Tom
- Boer, Frank S. de
- International Federation for Information Processing. Technical Committee Foundations of Computer Science
- TCS (7 : 2012 : Amsterdam)
- Springer
Time of origin
- 2012
Other Objects (12)
Theoretical computer science : 6th IFIP TC 1 WG 2.2 international conference ; proceedings
Theoretical computer science : 8th IFIP TC 1 WG 2.2 international conference ; proceedings
Trust management VII : 7th IFIP WG 11.11 international conference ; proceedings
The practice of enterprise modeling : 7th IFIP WG 8.1 working conference ; proceedings
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Open source systems: grounding research : 7th IFIP WG 2.13 international conference ; proceedings
Critical infrastructure protection VII : 7th IFIP WG 11.10 international conference ; revised selected papers
Testing of communicating systems : 17th IFIP TC 6 WG 6.1 international conference ; proceedings
Testing of communicating systems : 18th IFIP TC 6 WG 6.1 international conference ; proceedings
Formal program development : IFIP TC 2/WG 2.1 state of the art report
Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop ; proceedings
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Theoretical computer science : 6th IFIP TC 1 WG 2.2 international conference ; proceedings
Theoretical computer science : 8th IFIP TC 1 WG 2.2 international conference ; proceedings
Trust management VII : 7th IFIP WG 11.11 international conference ; proceedings
The practice of enterprise modeling : 7th IFIP WG 8.1 working conference ; proceedings
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Open source systems: grounding research : 7th IFIP WG 2.13 international conference ; proceedings
Critical infrastructure protection VII : 7th IFIP WG 11.10 international conference ; revised selected papers
Testing of communicating systems : 17th IFIP TC 6 WG 6.1 international conference ; proceedings
Testing of communicating systems : 18th IFIP TC 6 WG 6.1 international conference ; proceedings
Formal program development : IFIP TC 2/WG 2.1 state of the art report
Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop ; proceedings
Formal program development: IFIP TC 2/WG 2 1 state of the art report
Theoretical computer science : 6th IFIP TC 1 WG 2.2 international conference ; proceedings
Theoretical computer science : 8th IFIP TC 1 WG 2.2 international conference ; proceedings
Trust management VII : 7th IFIP WG 11.11 international conference ; proceedings
The practice of enterprise modeling : 7th IFIP WG 8.1 working conference ; proceedings
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Open source systems: grounding research : 7th IFIP WG 2.13 international conference ; proceedings
Critical infrastructure protection VII : 7th IFIP WG 11.10 international conference ; revised selected papers
Testing of communicating systems : 17th IFIP TC 6 WG 6.1 international conference ; proceedings
Testing of communicating systems : 18th IFIP TC 6 WG 6.1 international conference ; proceedings
Formal program development : IFIP TC 2/WG 2.1 state of the art report
Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop ; proceedings