TermsVector search on Z-Library for secd

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Търсене на термини

Main
Търсене на термини

1

The SECD Microprocessor: A Verification Case Study

The SECD Microprocessor: A Verification Case Study

Brian T. Graham (auth.)

Година:

1992

Език:

english

Файл:

PDF, 6.92 MB

0 / 0

english, 1992

2

The architecture of symbolic computers

The architecture of symbolic computers

Година:

1991

Език:

english

Файл:

DJVU, 7.33 MB

0 / 0

english, 1991

3

Nurturing Students' Character : Everyday Teaching Activities for Social-Emotional Learning

Nurturing Students' Character : Everyday Teaching Activities for Social-Emotional Learning

Jeffrey S. Kress, Maurice J. Elias

Година:

2019

Език:

english

Файл:

PDF, 9.46 MB

0 / 4.0

english, 2019

4

The architecture of symbolic computers

The architecture of symbolic computers

Peter M. Kogge.

Година:

1991

Език:

english

Файл:

PDF, 23.58 MB

0 / 0

english, 1991

5

Nurturing Students' Character : Everyday Teaching Activities for Social-Emotional Learning

Nurturing Students' Character : Everyday Teaching Activities for Social-Emotional Learning

Jeffrey S. Kress, Maurice J. Elias

Година:

2019

Език:

english

Файл:

EPUB, 2.31 MB

0 / 3.5

english, 2019

6

Emotional Intelligence in Education

Emotional Intelligence in Education

Springer International Publishing

Kateryna V. Keefer, James D. A. Parker, Donald H. Saklofske

Година:

2018

Език:

english

Файл:

PDF, 7.05 MB

5.0 / 5.0

english, 2018

7

The Book of Shen, 4th ed

The Book of Shen, 4th ed

Upfront Publishing

Година:

2021

Език:

english

Файл:

PDF, 52.84 MB

5.0 / 5.0

english, 2021

8

Functional Programming Application and Implementation

Functional Programming Application and Implementation

Година:

1980

Език:

english

Файл:

DJVU, 2.77 MB

0 / 0

english, 1980

9

Functional Programming: Application and Implementation

Functional Programming: Application and Implementation

Peter Henderson

Година:

1980

Език:

english

Файл:

DJVU, 2.84 MB

5.0 / 5.0

english, 1980

10

Functional Programming

Functional Programming

Anthony J. Field, Peter Harrison

Година:

1988

Език:

english

Файл:

DJVU, 8.18 MB

0 / 0

english, 1988

11

Функциональное программирование. Применение и реализация

Функциональное программирование. Применение и реализация

Хендерсон П.

Година:

1983

Език:

russian

Файл:

DJVU, 5.72 MB

0 / 0

russian, 1983

12

Функциональное программирование. Применение и реализация

Функциональное программирование. Применение и реализация

Хендерсон П.

Година:

1983

Език:

russian

Файл:

DJVU, 24.81 MB

0 / 0

russian, 1983

13

Функциональное программирование

Функциональное программирование

Филд А., Харрисон П. (Field, Harrison)

Година:

1993

Език:

russian

Файл:

DJVU, 5.56 MB

0 / 0

russian, 1993

14

Функциональное Программирование

Функциональное Программирование

А. Филд, П. Харрисон, Пер. с англ. М. В. Горбатовой и др., Под ред. В. А. Горбатова

Година:

1993

Език:

russian

Файл:

PDF, 19.68 MB

0 / 0

russian, 1993

15

Функциональное программирование

Функциональное программирование

ЭБС Лань

Кубенский А.А.

Година:

2010

Език:

russian

Файл:

PDF, 1.82 MB

0 / 0

russian, 2010

16

Функциональное программирование [Haskell]

Функциональное программирование [Haskell]

СПбГУ ИТМО

Кубенский А.А.

Година:

2010

Език:

russian

Файл:

PDF, 1.73 MB

0 / 0

russian, 2010

17

Функциональное программирование [Haskell]

Функциональное программирование [Haskell]

СПбГУ ИТМО

Кубенский А.А.

Година:

2010

Език:

russian

Файл:

PDF, 2.31 MB

0 / 0

russian, 2010

18

Функциональное программирование [Haskell]

Функциональное программирование [Haskell]

СПбГУ ИТМО

Кубенский А.А.

Година:

2010

Език:

russian

Файл:

PDF, 1.81 MB

0 / 0

russian, 2010

19

Protein Export and Membrane Biogenesis

Protein Export and Membrane Biogenesis

Elsevier Science

Alan M. Tartakoff and Ross E. Dalbey (Eds.)

Година:

1995

Език:

english

Файл:

PDF, 15.34 MB

0 / 0

english, 1995

20

Selenoproteins and Mimics

Selenoproteins and Mimics

Springer-Verlag Berlin Heidelberg

Prof. Junqiu Liu, Prof. Guimin Luo, Prof. Ying Mu (auth.)

Година:

2012

Език:

english

Файл:

PDF, 5.55 MB

0 / 0

english, 2012

21

Проектирование трансляторов

Проектирование трансляторов

Орловский государственный университет

коллектив авторов

Език:

russian

Файл:

DOC, 890 KB

0 / 0

russian

22

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Alfredo Cristóbal-Salas, Andrey Chernykh (auth.), Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder (eds.)

Година:

2005

Език:

english

Файл:

PDF, 2.45 MB

0 / 0

english, 2005

23

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Alfredo Cristóbal-Salas, Andrey Chernykh (auth.), Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder (eds.)

Година:

2005

Език:

english

Файл:

PDF, 1.81 MB

0 / 0

english, 2005

24

Principles of Functional Programming

Principles of Functional Programming

Hugh Glaser, Chris Hankin, David Till

Година:

1984

Език:

english

Файл:

DJVU, 1.42 MB

0 / 0

english, 1984

25

Grundlagen Funktionaler Programmierung (German Edition)

Grundlagen Funktionaler Programmierung (German Edition)

Walter de Gruyter

Година:

1999

Език:

german

Файл:

DJVU, 1.41 MB

0 / 0

german, 1999

26

Конюхова, Оксана Владимировна Системное программное обеспечение вычислительных машин. Проектирование трансляторов

Конюхова, Оксана Владимировна Системное программное обеспечение вычислительных машин. Проектирование трансляторов

Орловский государственный университет

коллектив авторов

Език:

russian

Файл:

PDF, 1.35 MB

0 / 0

russian

27

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Workshop Proceedings

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Workshop Proceedings

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Miriam Leeser, Geoffrey Brown

Година:

1990

Език:

english

Файл:

DJVU, 3.36 MB

0 / 0

english, 1990

28

Programming languages and lambda calculi

Programming languages and lambda calculi

Matthias Felleisen & Matthew Flatt

Година:

2022

Език:

english

Файл:

PDF, 992 KB

0 / 5.0

english, 2022

29

Grundlagen funktionaler Programmierung

Grundlagen funktionaler Programmierung

Година:

2018

Език:

german

Файл:

PDF, 13.89 MB

0 / 0

german, 2018

30

The Other Side of the Report Card

The Other Side of the Report Card

Sage Publications Inc.

Elias, Maurice J. & Joseph J. Ferrito & Dominic C. Moceri

Година:

2018

Език:

english

Файл:

EPUB, 6.80 MB

0 / 0

english, 2018

31

The LispKit manual, vols.1 and 2

The LispKit manual, vols.1 and 2

Henderson P., Jones G.A., Jones S.B.

Година:

1983

Език:

english

Файл:

DJVU, 1.70 MB

0 / 0

english, 1983

32

Morning Classroom Conversations: Build Your Students′ Social-Emotional, Character, and Communication Skills Every Day

Morning Classroom Conversations: Build Your Students′ Social-Emotional, Character, and Communication Skills Every Day

Sage Publications Inc.

Maurice J. Elias, Nina A. Murphy, Kellie A. McClain

Година:

2023

Език:

english

Файл:

EPUB, 33.68 MB

0 / 0

english, 2023

33

Foundations of functional programming

Foundations of functional programming

Година:

1995

Език:

english

Файл:

PDF, 257 KB

0 / 0

english, 1995

34

Основы функционального программирования

Основы функционального программирования

Паулсон Л

Година:

1995

Език:

russian

Файл:

PDF, 1.00 MB

0 / 0

russian, 1995

35

平面三角问题解法研究

平面三角问题解法研究

北京：中华书局

Година:

1948

Език:

chinese

Файл:

PDF, 4.09 MB

0 / 0

chinese, 1948

36

Парадигмы программирования: анализ и сравнение

Парадигмы программирования: анализ и сравнение

Городняя Л.В.

Език:

russian

Файл:

PDF, 67.60 MB

0 / 0

russian

37

平面三角法问题汇解

平面三角法问题汇解

上海：中华书局

王德明编；王维廉校

Година:

1938

Език:

chinese

Файл:

PDF, 6.14 MB

0 / 0

chinese, 1938

38

万有文库第一集一千种三角法-三角函数

万有文库第一集一千种三角法-三角函数

商务印书馆

王云五主编；林鹤一著；骆师曾译

Година:

1930

Език:

chinese

Файл:

PDF, 2.94 MB

0 / 0

chinese, 1930

39

天体测量学

天体测量学

北京：高等教育出版社

张承志，夏一飞编著

Година:

1986

Език:

chinese

Файл:

PDF, 10.37 MB

0 / 0

chinese, 1986

40

高中课程辅导第2辑高一上学期

高中课程辅导第2辑高一上学期

天津：天津人民出版社

Година:

1980

Език:

chinese

Файл:

PDF, 3.57 MB

0 / 0

chinese, 1980

41

Парадигмы программирования

Парадигмы программирования

не указан

Език:

russian

Файл:

PDF, 14.70 MB

0 / 0

russian

42

Correspondence between Algol 60 and Church’s Lambda notation

Correspondence between Algol 60 and Church’s Lambda notation

Език:

english

Файл:

PDF, 1.67 MB

0 / 0

english

43

机械制图习题集

机械制图习题集

机械工业出版社

金大鹰主编

Година:

2007

Език:

Chinese

Файл:

PDF, 33.52 MB

0 / 0

Chinese, 2007

44

科学图书大库实用航海学下

科学图书大库实用航海学下

徐氏基金会

Година:

1980

Език:

chinese

Файл:

PDF, 35.46 MB

0 / 0

chinese, 1980

45

电视大学职工大学入学考试数学综合练习

电视大学职工大学入学考试数学综合练习

北京：地质出版社

翟连林编著

Година:

1984

Език:

chinese

Файл:

PDF, 8.18 MB

0 / 0

chinese, 1984

46

工程地质计算和基础处理

工程地质计算和基础处理

北京：水利电力出版社

潘家铮主编

Година:

1985

Език:

chinese

Файл:

PDF, 13.66 MB

0 / 0

chinese, 1985

47

4100 AWL/Thomas_ch13p906-964

4100 AWL/Thomas_ch13p906-964

Година:

2005

Език:

english

Файл:

PDF, 381 KB

0 / 0

english, 2005

48

微积分中

微积分中

EDWIN E. MOISE原著；吴林原徐？张德新合译

Година:

1970

Език:

chinese

Файл:

PDF, 7.99 MB

0 / 0

chinese, 1970