English تسجيل الدخول قائمتي - 0 مساعدة
	الفهرس   قواعد البيانات   حسابي

البسيط تاريخ البحث الهجائي كلمات مفتاحية المتقدم

---

101. Computer aided verification : 11th international conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled, (eds). تأليف CAV (Conference) 1999 : Trento, Italy.), Halbwachs, Nicolas. ed., Peled, Doron. ed. Springer-Verlag, c1999.       102. Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / JosDe Luiz Fiadeiro (ed.). تأليف WADT '98 (1998 : Lisbon, Portugal), Fiadeiro, JosDe Luiz, 1961- Springer, c1999.       103. Intelligent agents for telecommunication applications : second international workshop, IATA '98, Paris France, July 4-7, 1998 : proceedings / Sahin Albayrak, Francisco J. Garijo (eds.). تأليف Albayrak, Sahin., Garijo, Francisco J. Springer, c1998.       104. Intelligent agents for telecommunication applications : third international workshop, IATA '99, Stockholm, Sweden, August 9-10, 1999 : proceedings / Sahin Albayrak, (ed.). تأليف Albayrak, Sahin. Springer, c1999.       105. Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams...[et al.] (eds.). تأليف SPIN'99 (1999 : Toulouse, France), Dams, Dennis., World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France) Springer, c1999.       106. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) تأليف World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France), Wing, Jeannette Marie., Woodcock, Jim. Springer, 1999.       107. Algorithm engineering : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings / Jeffrey S. Vitter, Christos D. Zaroliagis, eds. تأليف International Workshop on Algorithm Engineering 1999 : London, England), Vitter, Jeffrey Scott, 1955-, Zaroliagis, Christos D., 1963- Springer, 1999.       108. Cooperative information agents III : Third International Workshop, CIA'99 Uppsala, Sweden, July 31-August 2, 1999: proceedings / Matthias Klusch, Onn M. Shehory, Gerhard Weiss (eds.). تأليف CIA'99 (1999 : Uppsala, Sweden), Shehory, Onn M., 1963-, Weiss, Gerhard, 1962-, Klusch, Matthias, 1965-       109. UML '99--the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / Robert France, Bernhard Rumpe (eds.). تأليف UML '99 (1999 : Fort Collins, Colo.), France, Robert (Robert B.) Springer, c1999.       110. Internet applications : 5th International Computer Science Conference, ICSC '99, Hong Kong, China, December 13-15, 1999 : proceedings / Lucas Chi-Kwong Hui, Dik Lun Lee (eds.). تأليف International Computer Science Conference 1999 : Hong Kong, China), Hui, Lucas Chi-Kwong, 1964-, Lee, Dik Lun, 1956- Springer, 1999.

<<

سابق

11

12

13

14

15

16

17

18

19

20

تالي

>>

Horizon Information Portal 3.0

© 2001-2004 Dynix جميع الحقوق محفوظة.