Jump to main content

yr 〜
yr

Search results 113

2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)

2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)
Digital電子書籍・電子雑誌図書
2023
National Diet Library

Formalising jurisprudence : Festschrift for Hajime Yoshino (Editions Weblaw. V.5, Liber amicorum)

Formalising jurisprudence : Festschrift for Hajime Yoshino (Editions Weblaw. V.5, Liber amicorum)
Paper図書
Erich Schweighofer [and 3 others] (eds.)Editions Weblaw[2019]<A123-D5>
National Diet Library

2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)

2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)
Digital電子書籍・電子雑誌図書
2022
National Diet Library

Informal women workers in the global south : policies and practices for the formalisation of women's employment in developing economies (Routledge IAFFE advances in feminist economics ; 19)

Informal women workers in the global south : policies and practices for the formalisation of women's employment in developing economies (Routledge IAFFE advances in feminist economics ; 19)
Paper図書
edited by Jayati GhoshRoutledge2021<EL187-D16>
National Diet Library
  • Summary, etc....rkers. Indeed, formalisation policies that ......rajectories of formalisation and their impa...... workers, most formalisation policies have ...... The impact of formalisation policies on women in developi...

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
Digital電子書籍・電子雑誌図書
2021
National Diet Library

Bringing household services out of the shadows : formalising non-care work in and around the house

Bringing household services out of the shadows : formalising non-care work in and around the house
Paper図書
OECDOECD Publishing[2021]<DE64-D617>
National Diet Library

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)

2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)
Digital電子書籍・電子雑誌図書
2019
National Diet Library

Formalisation and flexibilisation in dispute resolution

Formalisation and flexibilisation in dispute resolution
Paper図書
edited by Joachim Zekoll, Moritz Bälz and Iwo Amelung.Brill Nijhoff[2014]<A781-B75>
National Diet Library
  • Contents...nd Iwo Amelung Formalisation of alternative......sification and formalisation of ADR in Japa...... Kota Fukui In/formalisation and globalisation of internat...
  • Note (Content)...s an increased formalisation of ADR procedures but also ad...

Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on

Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on
Digital電子書籍・電子雑誌図書
2015
National Diet Library

2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016 : yearly workshop on formal methods in software engineering : May 2016, Austin, TX.

2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016 : yearly workshop on formal methods in software engineering : May 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-18-457>
National Diet Library

Formalisation and business development in Mozambique : how important are regulations? / Matthias Krause ... [et al.]. (Studies)

Formalisation and business development in Mozambique : how important are regulations? / Matthias Krause ... [et al.]. (Studies)
Paper図書
Deutsches Institut für Entwicklungspolitik2010.<DH141-B74>
National Diet Library

2015 IEEE/ACM 3rd FME workshop on formal methods in software engineering : (FormaliSE 2015) : Florence, Italy : 18 May 2015 : ICSE : May 2015, Florence, Italy.

2015 IEEE/ACM 3rd FME workshop on formal methods in software engineering : (FormaliSE 2015) : Florence, Italy : 18 May 2015 : ICSE : May 2015, Florence, Italy.
Paper図書
IEEE[2015]<M17-17-914>
National Diet Library

2013 1st FME workshop on formal methods in software engineering : (FormaliSE 2013) : San Francisco, California, USA : 25 May 2013 : May 2013, San Francisco, CA.

2013 1st FME workshop on formal methods in software engineering : (FormaliSE 2013) : San Francisco, California, USA : 25 May 2013 : May 2013, San Francisco, CA.
Paper図書
IEEEc2013.<M17-14-1169>
National Diet Library

Formaliser les langues avec l’ordinateur : de INTEX à Nooj

Formaliser les langues avec l’ordinateur : de INTEX à Nooj
Digital電子書籍・電子雑誌図書
2007
Available onlineNational Diet Library

Formalising Coffman conditions in first order modal μ calculus : extended version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-10)

Formalising Coffman conditions in first order modal μ calculus : extended version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-10)
Paper図書
[by] Yoshiki Kinoshita, Koki Nishizawa, Keishi OkamotoResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2006.10<M159-B58>
National Diet Library

Algebraic formalisations of fuzzy relations and their representation theorems

Algebraic formalisations of fuzzy relations and their representation theorems
PaperDigital博士論文障害者向け資料あり
古澤仁 [著]<UT51-98-F381>
Available onlineNational Diet Library

Study of the feasibility of using a formalised language for the description of reliability problems / N.D. Deans, . (EUR ; 11753) (Physical sciences)

Study of the feasibility of using a formalised language for the description of reliability problems / N.D. Deans, . (EUR ; 11753) (Physical sciences)
Paper図書
Commission of the European Communities1988.<Y576-EUR-11753>
National Diet Library

Marx's theory of commodity and surplus-value : formalised exposition / K. K. Valtukh ; [translated from the Russian by Boris Kutyrev].

Marx's theory of commodity and surplus-value : formalised exposition / K. K. Valtukh ; [translated from the Russian by Boris Kutyrev].
Paper図書
Progress Publishersc1987.<DA24-A15>
National Diet Library

FORMALISATION ET CONTROLE DU SYSTEME ENDOCRINIEN SURRENO-POSTHYPOPHYSAIRE PAR LE MODELE MATHEMATIQUE DE LA REGULATION DES COUPLES AGO-ANTAGONISTES

FORMALISATION ET CONTROLE DU SYSTEME ENDOCRINIEN SURRENO-POSTHYPOPHYSAIRE PAR LE MODELE MATHEMATIQUE DE LA REGULATION DES COUPLES AGO-ANTAGONISTES
Paper博士論文
Weil, Bernard.Université de Paris VI (Pierre et Marie Curie)1979.<M-DIFR-5070>
National Diet Library

Rapport de synthèse développement du modèle d'optimisation du système énergétique : Programme "Analyse et modèlisation des systèmes énergétiques". Niveau II-Phase I / D. Finon. Annexe 1. Déscription de la représentation et de la formalisation des différents sous-systèmes énergétiques. (EUR ; 6762/Vol.2)

Rapport de synthèse développement du modèle d'optimisation du système énergétique : Programme "Analyse et modèlisation des systèmes énergétiques". Niveau II-Phase I / D. Finon. Annexe 1. Déscription de la représentation et de la formalisation des différents sous-systèmes énergétiques. (EUR ; 6762/Vol.2)
Paper図書
Commission of the European Communities1980.<Y576-EUR-6762/Vol.2>
National Diet Library
RSS