𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 20th International Conference of the Chilean Computer Science Society - Santiago, Chile (16-18 Nov. 2000)] Proceedings 20th International Conference of the Chilean Computer Science Society - Testing an implementation of a temporal logic language

✍ Scribed by Sanchez, M.A.; Augusto, J.C.

Book ID: 126725614
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 427 KB
Category: Article
ISBN-13: 9780769508108
DOI: 10.1109/SCCC.2000.890393

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 20th International Con

[IEEE Comput. Soc 20th International Conference of the Chilean Computer Science Society - Santiago, Chile (16-18 Nov. 2000)] Proceedings 20th International Conference of the Chilean Computer Science Society - Haar-like wavelets defined over tetrahedrical grids

✍ Boscardin, L.; Castro, L.; Castro, S. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 551 KB

[IEEE Comput. Soc 20th International Con

[IEEE Comput. Soc 20th International Conference of the Chilean Computer Science Society - Santiago, Chile (16-18 Nov. 2000)] Proceedings 20th International Conference of the Chilean Computer Science Society - Evolving a legacy data warehouse system to an object-oriented architecture

✍ Filho, A.H.; Prado, H.A.; Toscani, S.S. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 737 KB

[IEEE Comput. Soc 20th International Con

[IEEE Comput. Soc 20th International Conference of the Chilean Computer Science Society - Santiago, Chile (16-18 Nov. 2000)] Proceedings 20th International Conference of the Chilean Computer Science Society - Evolutionary approaches with multirecombination for the parallel machine scheduling problem

✍ Esquivel, S.C.; Gatica, C.R.; Gallard, R.H. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 497 KB

[IEEE Comput. Soc 20th International Con

[IEEE Comput. Soc 20th International Conference of the Chilean Computer Science Society - Santiago, Chile (16-18 Nov. 2000)] Proceedings 20th International Conference of the Chilean Computer Science Society - TAOS: a task-and-action oriented framework for user's task analysis in the context of human-computer interfaces design

✍ Medeiros, J.H.; Kafure, L.M.; Lula, B. 📂 Article 📅 2000 🏛 IEEE Comput. Soc 🌐 English ⚖ 672 KB

[IEEE Comput. Soc 17th International Con

[IEEE Comput. Soc 17th International Conference of the Chilean Computer Science Society - Valparaiso, Chile (10-15 Nov. 1997)] Proceedings 17th International Conference of the Chilean Computer Science Society - Hamiltonian problems for reducible flowgraphs

✍ Vernet, O.; Markenzon, L. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 286 KB

[IEEE Comput. Soc 17th International Con

[IEEE Comput. Soc 17th International Conference of the Chilean Computer Science Society - Valparaiso, Chile (10-15 Nov. 1997)] Proceedings 17th International Conference of the Chilean Computer Science Society - Reactive ranking for cooperative databases

✍ Ribeiro-Neto, B.A.; Assis, G.T. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 718 KB