نتایج جستجو برای: eric
تعداد نتایج: 7606 فیلتر نتایج به سال:
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying programs, and for program development. They are simpler, more general, easier to write, and they make proofs easier.
Enterobacterial repetitive intergenic consensus (ERIC) sequences are 127-bp imperfect palindromes that occur in multiple copies in the genomes of enteric bacteria and vibrios. Here we investigate the distribution of these elements in the complete genome sequences of nine Escherichia coli (including Shigella species) strains. There is a significant tendency for copies to be adjacent to more high...
Objective: The purpose of this study was to identify the language consistency between indexers, authors and taggers in the ERIC and Mendeley databases. Methodology: This survey was conducted using content analysis methods and techniques to evaluate the language consistency between indexers, authors and taggers in the ERIC and Mendeley databases and also to determine common keywords. The sample ...
En esta breve entrevista ficticia a Erik Satie aparecen algunos compositores de su época con quienes tuvo trato cercano (Debussy, Ravel, Stravinski, Les Six), así como celebridades otras disciplinas artísticas que colaboraron él (Picasso, Cocteau, Diaghilev, Massine, Apollinaire). y el entrevistador comentan escandaloso estreno del ballet Parade (primer gran éxito compositor, la tardía edad 49)...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید