Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Xue Jin-yun"'
Publikováno v:
In Computers and Operations Research October 2014 50:115-127
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; Nov2019, Vol. 41 Issue 11, p1968-1975, 8p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Xue Jin-yun
Publikováno v:
Journal of Computer Science and Technology. 8:147-154
The loop invariants take a very important role in the design, proof and derivation of the algorithmic program. We point out the limitations of the traditional standard strategy for developing loop invariants, and propose two new strategies for provin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5c0559f9312ec29ffa5bcfa57050fec
https://doi.org/10.1007/bf02939477
https://doi.org/10.1007/bf02939477
Publikováno v:
ISCSCT (1)
Software reuse technology can improve the efficiency of program development greatly. A reusable Apla-Java component has been developed in the research of PAR (Partition and Recur) method and their tools. We have made the most of reuse-driven software
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba6fb4abe7034c86406c2e6cc761ffc0
https://doi.org/10.1109/iscsct.2008.91
https://doi.org/10.1109/iscsct.2008.91
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.