المؤلفون: Moore, Andrew, O'Reilly, Tim, Nielsen, Paul D., Fall, Kevin

المصدر: IEEE Software IEEE Softw. Software, IEEE. 33(1):36-39 Jan, 2016

المؤلفون: Bowen, Jonathan P., Hinchey, Mike, Janicke, Helge, Ward, Martin, Zedan, Hussein

المصدر: Computer. 47(10):86-89 Oct, 2014

المؤلفون: Khalafinejad, Saeed, Mirian-Hosseinabadi, Seyed-Hassan

المصدر: 2011 IEEE INTERNATIONAL CONFERENCE ON ELECTRO/INFORMATION TECHNOLOGY Electro/Information Technology (EIT), 2011 IEEE International Conference on. :1-7 May, 2011

Relation: 2011 IEEE International Conference on Electro/Information Technology (EIT 2011)

المؤلفون: Whalen, Michael W., Gacek, Andrew, Cofer, Darren, Murugesan, Anitha, Heimdahl, Mats P.E., Rayadurgam, Sanjai

المصدر: IEEE Software IEEE Softw. Software, IEEE. 30(2):54-60 Apr, 2013

المؤلفون: Michael, James Bret, Drusinsky, Doron, Otani, Thomas W., Shing, Man-Tak

المصدر: IEEE Software IEEE Softw. Software, IEEE. 28(6):86-92 Jan, 2011

المؤلفون: Wojszczyk, Rafał^Aff20

المساهمون: Kacprzyk, Janusz, Series editor^Aff1, Pal, Nikhil R., Advisory editor^Aff2, Bello Perez, Rafael, Advisory editor^Aff3, Corchado, Emilio S., Advisory editor^Aff4, Hagras, Hani, Advisory editor^Aff5, Kóczy, László T., Advisory editor^Aff6, Kreinovich, Vladik, Advisory editor^Aff7, Lin, Chin-Teng, Advisory editor^Aff8, Lu, Jie, Advisory editor^Aff9, Melin, Patricia, Advisory editor^Aff10, Nedjah, Nadia, Advisory editor^Aff11, Nguyen, Ngoc Thanh, Advisory editor^Aff12, Wang, Jun, Advisory editor^Aff13, Omatu, Sigeru, editor^Aff14, Rodríguez, Sara, editor^Aff15, Villarrubia, Gabriel, editor^Aff16, Faria, Pedro, editor^Aff17, Sitek, Paweł, editor^Aff18, Prieto, Javier, editor^Aff19

المصدر: Distributed Computing and Artificial Intelligence, 14th International Conference. 620:37-44

المؤلفون: Lecomte, Thierry^Aff17

المساهمون: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Havelund, Klaus, editor^Aff13, Peleska, Jan, editor^Aff14, Roscoe, Bill, editor^Aff15, de Vink, Erik, editor^Aff16

المصدر: Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. 10951:686-689

المؤلفون: Parnas, David Lorge

المصدر: Computer. 43(1):28-34 Jan, 2010

المؤلفون: Korečko, Štefan^Aff17, Sorád, Ján^Aff17, Dudláková, Zuzana^Aff17, Sobota, Branislav^Aff17

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Giannakopoulou, Dimitra, editor^Aff15, Salaün, Gwen, editor^Aff16

المصدر: Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. 8702:278-283

المؤلفون: Bjørner, Dines^Aff4, Gram, Christian^Aff4, Oest, Ole N.^Aff5, Rystrøm, Leif^Aff6

المساهمون: Impagliazzo, John, editor^Aff1, Lundin, Per, editor^Aff2, Wangler, Benkt, editor^Aff3

المصدر: History of Nordic Computing 3 : Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papers. 350:350-359