List of articles in "Work" category - Page 2715

The Mizar system consists of a formal language for writing mathematical definitions and proofs a proof assistant which is able to mechanically check proofs written in this language and a […]

Visual Basic .NET (VB.NET) is an object-oriented computer programming language implemented on the .NET Framework. Microsoft launched VB.NET in 2002 as the successor to its original Visual Basic language.Microsoft currently […]

Magical Girl Pretty Sammy (魔法少女プリティサミー Mahō Shōjo Puriti Samī) is an anime based on the magically transformed version of the Sasami character from the various Tenchi Muyo! series. The Pretty […]

Rurouni Kenshin: Meiji Swordsman Romantic Story (Japanese: るろうに剣心 -明治剣客浪漫譚- Hepburn: Rurōni Kenshin Meiji Kenkaku Romantan) also known as Rurouni Kenshin and Samurai X is a Japanese manga series written and […]

Jungle Emperor (ジャングル大帝 Jungle Taitei) titled in English as Kimba the White Lion is an anime series from the 1960s. Created by Osamu Tezuka and based on his manga of […]

Astro Boy known in Japan by its original name Tetsuwan Atom (鉄腕アトム Tetsuwan Atomu Mighty Atom lit. Iron Arm Atom) is a Japanese manga series written and illustrated by Osamu […]

The Club is a satirical play by Australian playwright David Williamson. It follows the fortunes of an Australian rules football club over the course of a season and explores the […]

The Boy Friend (sometimes misspelled The Boyfriend) is a musical by Sandy Wilson. The musical’s original 1954 London production ran for 2078 performances making it briefly the third-longest running musical […]

Long Day’s Journey into Night is a drama in four acts written by American playwright Eugene O’Neill in 1941–42 but only published in 1956. The play is widely considered to […]

MATH-MATIC is the marketing name for the AT-3 compiler. Early programming language for UNIVAC I and UNIVAC II. Intended as an improvement over FORTRAN. Created by a group led by […]