Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : Proceedings /
Selección de ponencias de la octava Conferencia Internacional sobre Informática Teórica, celebrada en Roma, Italia, en septiembre de 2014. Las colaboraciones abordan temas relacionados con los aspectos teóricos de la computación, entre los que destacan, algoritmos, complejidad y modelos de computaci...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 会議録 図書 |
| 言語: | 英語 |
| 出版事項: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| シリーズ: | (Lecture Notes in Computer Science ;
8705) |
| 主題: | |
| オンライン・アクセス: | Ver documento en línea |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: Theoretical Computer Science :
- Tools and Algorithms for the Construction andAnalysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Supercomputing : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : Proceedings /
- Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /
- Transactions on Computational Science : XXIV : Special Issue on Reversible Computing /