Results
|
|
3301.
|
|
|
|
3302.
|
Business Process Management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7481
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.
|
|
|
3303.
|
|
|
|
3304.
|
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4743
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
3305.
|
|
|
|
3306.
|
|
|
|
3307.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8931
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
|
3308.
|
|
|
|
3309.
|
|
|
|
3310.
|
Fundamental Approaches to Software Engineering [electronic resource] : 7th International Conference, FASE 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 ; 2984
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.
|
|
|
3311.
|
Algorithms and Architectures for Parallel Processing, Part II [electronic resource] : 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7017
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
|
3312.
|
Database and XML Technologies [electronic resource] : 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4156
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.
|
|
|
3313.
|
|
|
|
3314.
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by Series: Programming and Software Engineering ; 9971
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.
|
|
|
3315.
|
|
|
|
3316.
|
|
|
|
3317.
|
|
|
|
3318.
|
|
|
|
3319.
|
|
|
|
3320.
|
|
