Results
|
61.
|
Logic, Language, Information, and Computation [electronic resource] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13468
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
62.
|
|
|
63.
|
|
|
64.
|
|
|
65.
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / by Series: Programming and Software Engineering ; 9421
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
66.
|
|
|
67.
|
|
|
68.
|
|
|
69.
|
|
|
70.
|
|
|
71.
|
|
|
72.
|
|
|
73.
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3913
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
74.
|
|
|
75.
|
|
|
76.
|
|
|
77.
|
|
|
78.
|
|
|
79.
|
Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11267
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
80.
|
|