Results
|
201.
|
|
|
202.
|
|
|
203.
|
|
|
204.
|
|
|
205.
|
|
|
206.
|
|
|
207.
|
|
|
208.
|
|
|
209.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10729
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
210.
|
|
|
211.
|
|
|
212.
|
|
|
213.
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6822
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
214.
|
|
|
215.
|
|
|
216.
|
|
|
217.
|
|
|
218.
|
|
|
219.
|
|
|
220.
|
|