Search Results for Family.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Pluralism in Mathematics: A New Position in Philosophy of Mathematics

Yazar

Friend, Michèle. author.

http://dx.doi.org/10.1007/978-94-007-7058-4

Format:

Electronic Resources

Alıntı:

which is a family of positions in the philosophy of mathematics. There are four parts to this book

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoît. editor.

http://dx.doi.org/10.1007/978-3-319-11245-9

Format:

Electronic Resources

Alıntı:

Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Gnesi, Stefania. editor.

http://dx.doi.org/10.1007/978-3-642-54804-8

Format:

Electronic Resources

Alıntı:

Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Stevens, Perdita. editor.

http://dx.doi.org/10.1007/978-3-662-49665-7

Format:

Electronic Resources

Alıntı:

Self-Adaptive Systems -- Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor.

http://dx.doi.org/10.1007/978-3-642-54624-2

Format:

Electronic Resources

Alıntı:

k-ary Grid Graph Models of Tabular Forms -- Everlasting Challenges with the OBJ Language Family

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor.

https://doi.org/10.1007/978-3-030-22102-7

Format:

Electronic Resources

Alıntı:

Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}