Konferenzschrift | Kongress
Theoretical aspects of computing : 10th international colloquium ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642397172
3642397174
- Dimensions
-
24 cm, 700 g
- Extent
-
XII, 444 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8049
- Keyword
-
Theoretische Informatik
Softwareentwicklung
Programmverifikation
Softwaretest
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- Contributor
-
Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
ICTAC (10 : 2013 : Schanghai)
- 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, 2:03 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
- Liu, Zhiming
- Woodcock, Jim
- Zhu, Huibiao
- ICTAC (10 : 2013 : Schanghai)
- Springer
Time of origin
- 2013
Other Objects (12)
Theoretical aspects of computing : 7th international colloquium ; proceedings
Theoretical aspects of computing : 9th international colloquium ; proceedings
Theoretical aspects of computing 8th international colloquium ; proceedings
Theoretical aspects of computing : 6th international colloquium ; proceedings
Theoretical aspects of computing : 5th international colloquium ; proceedings
Grammatical inference: theoretical results and applications : 10th international colloquium ; proceedings
The 10th Acarological Colloquium
Theoretical aspects of distributed computing in sensor networks
Theoretical aspects of evolutionary computing : with 15 tables
Advances in data mining : applications and theoretical aspects ; 10th industrial conference ; proceedings
Entertainment computing : 10th international conference ; proceedings
High performance computing : 10th international conference ; proceedings
Theoretical aspects of computing : 7th international colloquium ; proceedings
Theoretical aspects of computing : 9th international colloquium ; proceedings
Theoretical aspects of computing 8th international colloquium ; proceedings
Theoretical aspects of computing : 6th international colloquium ; proceedings
Theoretical aspects of computing : 5th international colloquium ; proceedings
Grammatical inference: theoretical results and applications : 10th international colloquium ; proceedings
The 10th Acarological Colloquium
Theoretical aspects of distributed computing in sensor networks
Theoretical aspects of evolutionary computing : with 15 tables
Advances in data mining : applications and theoretical aspects ; 10th industrial conference ; proceedings
Entertainment computing : 10th international conference ; proceedings
High performance computing : 10th international conference ; proceedings
Theoretical aspects of computing : 7th international colloquium ; proceedings
Theoretical aspects of computing : 9th international colloquium ; proceedings
Theoretical aspects of computing 8th international colloquium ; proceedings
Theoretical aspects of computing : 6th international colloquium ; proceedings
Theoretical aspects of computing : 5th international colloquium ; proceedings
Grammatical inference: theoretical results and applications : 10th international colloquium ; proceedings
The 10th Acarological Colloquium
Theoretical aspects of distributed computing in sensor networks
Theoretical aspects of evolutionary computing : with 15 tables
Advances in data mining : applications and theoretical aspects ; 10th industrial conference ; proceedings
Entertainment computing : 10th international conference ; proceedings