Results
|
2521.
|
Smart Spaces and Next Generation Wired/Wireless Networking [electronic resource] : Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6294
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
2522.
|
|
|
2523.
|
|
|
2524.
|
Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings / by Series: Programming and Software Engineering ; 8153
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
2525.
|
|
|
2526.
|
|
|
2527.
|
|
|
2528.
|
|
|
2529.
|
|
|
2530.
|
|
|
2531.
|
|
|
2532.
|
|
|
2533.
|
|
|
2534.
|
|
|
2535.
|
Informatics in Schools. Curricula, Competences, and Competitions [electronic resource] : 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9378
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
2536.
|
|
|
2537.
|
|
|
2538.
|
|
|
2539.
|
|
|
2540.
|
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Series: Lecture Notes in Computer Science ; 3185
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.
|