TermsVector search on Z-Library for sofl

Açar sözlərin axtarışı

Main
Açar sözlərin axtarışı

1

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima (auth.), Shaoying Liu (eds.)

İl:

2013

Dil:

english

Fayl:

PDF, 2.72 MB

0 / 0

english, 2013

2

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan (eds.)

İl:

2014

Dil:

english

Fayl:

PDF, 7.05 MB

0 / 0

english, 2014

3

Formal Engineering for Industrial Software Development: Using the SOFL Method

Formal Engineering for Industrial Software Development: Using the SOFL Method

Springer-Verlag Berlin Heidelberg

Shaoying Liu (auth.)

İl:

2004

Dil:

english

Fayl:

PDF, 6.47 MB

0 / 0

english, 2004

4

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Springer International Publishing

Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

İl:

2019

Dil:

english

Fayl:

PDF, 15.16 MB

0 / 0

english, 2019

5

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan (eds.)

İl:

2016

Dil:

english

Fayl:

PDF, 14.26 MB

0 / 0

english, 2016

6

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Springer-Verlag London

He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc, BSc(Hons), Kenji Taguchi MA (eds.)

İl:

1999

Dil:

english

Fayl:

PDF, 12.67 MB

0 / 0

english, 1999

7

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)

İl:

2017

Dil:

english

Fayl:

PDF, 15.86 MB

0 / 0

english, 2017

8

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan (eds.)

İl:

2015

Dil:

english

Fayl:

PDF, 11.94 MB

0 / 0

english, 2015

9

Deep Into The Bitcoin Rabbit Hole: Take a Journey into the World of Crypto and Discover the 3 Keys to Unlock Your Financial Destiny

Deep Into The Bitcoin Rabbit Hole: Take a Journey into the World of Crypto and Discover the 3 Keys to Unlock Your Financial Destiny

SoFL Excellence Academy

Johnson, Damon L

İl:

2020

Dil:

english

Fayl:

EPUB, 9.63 MB

0 / 0

english, 2020

10

Учебник по математике для школ Палестины. Восьмой класс. Второй семестр

Учебник по математике для школ Палестины. Восьмой класс. Второй семестр

Аль-Хамас Н. (ред.)

Dil:

russian

Fayl:

PDF, 1.83 MB

0 / 0

russian

11

Ecometric and Dynamic Modelling — Exemplified by Caesium in Lakes after Chernobyl: Methodological Aspects of Establishing Representative and Compatible Lake Data, Models and Load Diagrammes

Ecometric and Dynamic Modelling — Exemplified by Caesium in Lakes after Chernobyl: Methodological Aspects of Establishing Representative and Compatible Lake Data, Models and Load Diagrammes

Springer-Verlag Berlin Heidelberg

Prof. Lars Håkanson (auth.)

İl:

1991

Dil:

english

Fayl:

PDF, 3.50 MB

0 / 0

english, 1991

12

ACI 117-10: Specification for Tolerances for Concrete Construction and Materials and Commentary

ACI 117-10: Specification for Tolerances for Concrete Construction and Materials and Commentary

American Concrete Institute (ACI)

ACI Committee 117

İl:

2010

Dil:

english

Fayl:

PDF, 513 KB

0 / 0

english, 2010

13

Certificate in Russian Language (CRUL)

Certificate in Russian Language (CRUL)

Indira Gandhi National Open University (IGNOU)

İl:

2018

Dil:

english

Fayl:

ZiP, 207.81 MB

0 / 0

english, 2018

14

Монолитный бетон.

Монолитный бетон.

Хаютин Ю.Г.

İl:

1991

Dil:

russian

Fayl:

DJVU, 12.67 MB

0 / 0

russian, 1991