Logowanie

Języki

  • Polski
  • English

publikacje w roku  

Zakład Języków Programowania - 2005

  1. L. Grocholski, A. Niemiec, Inżynieria oprogramowania w świetle wytycznych norm międzynarodowych, XVII Krajowa Szkoła Górska PTI, Szczyrk, 2005.
  2. L. Grocholski, A. Niemiec, Praktyka, korzyści i koszty wdrożenia hurtowni danych w systemach CRM, XVII Krajowa Szkoła Górska PTI, Szczyrk, 2005.
  3. L. Grocholski, Przełom wieków w sieciach a orwellowski rok 1984, Biuletyn EBIB, nr 5/2005 (66)
  4. L. Grocholski, Rozpoznawanie wymagań i funkcjonalności w programowaniu ekstremalnym, Współczesne Problemy Informatyki. Monografie i prace naukowe pod redakcją Swietłany Lebiediewej i Arkadiusza Liber. nr 1, 2005;
  5. E. Kieroński, M. Otto, Small Substructures and Decidability Issues for First-Order Logic with Two Variables, 20th Annual IEEE Symposium on Logic in Computer Science, Proceedings, 2005, 448-457.
  6. J. Chomicki, J. Marcinkowski, On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases (red. L. Bertossi, A. Hunter, T. Schaub), Chapter in Integrity Tolerance, LNCS 3300, 2005, 119-150.
  7. J. Chomicki, J. Marcinkowski, Minimal-Change Integrity Maintenance Using Tuple Deletions, Information and Computation 197, 2005, 90-121.
  8. E. Kieroński, Results on the Guarded Fragment with Equivalence or Transitive Relations, Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, LNCS 3634, 2005, 309-324.
  9. T. Truderung, Selecting Theories and Recursive Protocols, In Proceedings of CONCUR 2005, LNCS 3653, 2005, 217-232.
  10. T. Truderung, Regular Protocols and Attacks with Regular Knowledge, In Proceedings of CADE-20, LNCS 3632, 2005, 377-391.
  11. J. Marcinkowski, J. Otop, G. Stelmaszek, On a Semantic Subsumption Test, 11th LPAR — International Conference on Logic for Programming Artificial Intelligence and Reasoning, LNCS 3452, 2005, 142–153.
  12. W. Charatonik, L. Georgieva, P. Maier, Bounded model checking of pointer programs, Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic (CSL'05), LNCS 3634, 2005, 397-412.
  13. L. Grocholski, A. Niemiec, IEEE SWEBOK – kompendium wiedzy inżynierii oprogramowania, Współczesne Problemy Informatyki. Monografie i prace naukowe pod redakcją Swietłany Lebiediewej i Arkadiusza Liber, nr 1, 2005.
  14. L. Grocholski, A. Niemiec, Norma ISO/IEC 16085 – procesy w życiu oprogramowania – zarządzanie ryzykiem, Konferencja Ryzyko Przedsięwzięć Informatycznych, Szczecin, 2005.
Adres:
Instytut Informatyki
Uniwersytetu Wroclawskiego
ul. Joliot-Curie 15
50-383 Wroclaw
Sekretariat
tel.: 71 375 7800
tel.: 71 325 1271
fax: 71 375 7801
sekretariat@ii.uni.wroc.pl
Dziekanat
tel.: 71 375 7892
dziekan@ii.uni.wroc.pl
sprawy studenckie:
dziekanat@ii.uni.wroc.pl
Portiernia
tel.: 71 375 7958
Redaktor strony WWW
redaktor@ii.uni.wroc.pl
Projekt
MAKOS