Results
|
|
2401.
|
|
|
|
2402.
|
|
|
|
2403.
|
|
|
|
2404.
|
|
|
|
2405.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 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 ; 2988
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.
|
|
|
2406.
|
|
|
|
2407.
|
|
|
|
2408.
|
|
|
|
2409.
|
|
|
|
2410.
|
|
|
|
2411.
|
Interoperability and Open-Source Solutions for the Internet of Things [electronic resource] : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10218
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2412.
|
|
|
|
2413.
|
|
|
|
2414.
|
|
|
|
2415.
|
Computer Analysis of Images and Patterns [electronic resource] : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10424
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2416.
|
|
|
|
2417.
|
|
|
|
2418.
|
Learning and Collaboration Technologies. Novel Learning Ecosystems [electronic resource] : 4th International Conference, LCT 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10295
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2419.
|
|
|
|
2420.
|
|
