Konferenzschrift | Kongress
Theoretical aspects of computing : 10th international colloquium ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642397172
3642397174
- Maße
-
24 cm, 700 g
- Umfang
-
XII, 444 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 8049
- Schlagwort
-
Theoretische Informatik
Softwareentwicklung
Programmverifikation
Softwaretest
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg
- (wer)
-
Springer
- (wann)
-
2013
- Beteiligte Personen und Organisationen
-
Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
ICTAC (10 : 2013 : Schanghai)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:03 MESZ
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
- Kongress
Beteiligte
- Liu, Zhiming
- Woodcock, Jim
- Zhu, Huibiao
- ICTAC (10 : 2013 : Schanghai)
- Springer
Entstanden
- 2013
Ähnliche Objekte (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