Results
|
|
961.
|
|
|
|
962.
|
|
|
|
963.
|
|
|
|
964.
|
|
|
|
965.
|
|
|
|
966.
|
|
|
|
967.
|
|
|
|
968.
|
|
|
|
969.
|
Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2987
Edition: 1st ed. 2004.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
970.
|
|
|
|
971.
|
|
|
|
972.
|
|
|
|
973.
|
|
|
|
974.
|
|
|
|
975.
|
|
|
|
976.
|
|
|
|
977.
|
Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Technologies [electronic resource] : 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III / by Series: Lecture Notes in Computer Science ; 13323
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.
|
|
|
978.
|
|
|
|
979.
|
|
|
|
980.
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14198
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
