Results
|
141.
|
|
|
142.
|
|
|
143.
|
|
|
144.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7148
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
145.
|
|
|
146.
|
|
|
147.
|
|
|
148.
|
|
|
149.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 10205
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
150.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7596
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
151.
|
|
|
152.
|
|
|
153.
|
Compiler Construction [electronic resource] : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7210
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
154.
|
|
|
155.
|
|
|
156.
|
|
|
157.
|
|
|
158.
|
Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / by
- Lopes, Luís [editor.]
- Žilinskas, Julius [editor.]
- Costan, Alexandru [editor.]
- Cascella, Roberto G [editor.]
- Kecskemeti, Gabor [editor.]
- Jeannot, Emmanuel [editor.]
- Cannataro, Mario [editor.]
- Ricci, Laura [editor.]
- Benkner, Siegfried [editor.]
- Petit, Salvador [editor.]
- Scarano, Vittorio [editor.]
- Gracia, José [editor.]
- Hunold, Sascha [editor.]
- Scott, Stephen L [editor.]
- Lankes, Stefan [editor.]
- Lengauer, Christian [editor.]
- Carretero, Jesus [editor.]
- Breitbart, Jens [editor.]
- Alexander, Michael [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 8806
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
159.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10353
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.
|
|
160.
|
|