Ushbu ish iqtibos qilgan ishlar

12 ta ish

Ish: Formalization of Data Derivative Structures

1. Types and Programming Languages

   Benjamin C. Pierce

   Kitob20022 iqtibos

   ABIABI:AkademIndex/2026.other.631074

2. Deductive tools of an algebraic programming system

   Yu. V. Kapitonova, A. A. Letichevskiĭ, V. A. Volkov

   Maqola20002 iqtibos

   ABIABI:AkademIndex/2026.other.631075

3. The Art of Programming

   D.E. Knuth

   Maqola20112 iqtibos

   ABIABI:AkademIndex/2026.other.631076

4. Programming with abstract data types

   Barbara Liskov, Stephen N. Zilles

   Maqola19742 iqtibos

   ABIABI:AkademIndex/2026.other.631077

5. A history of CLU

   Barbara Liskov

   Boshqa19962 iqtibos

   ABIABI:AkademIndex/2026.other.631078

6. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/2026.other.682385

7. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/2026.other.682386

8. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/2026.other.682387

9. Sarlavhasiz

   Boshqa1 iqtibos

   ABIABI:AkademIndex/2026.other.682388

10. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/2026.other.682389

11. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/2026.other.682390

12. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/2026.other.682391