Results
|
501.
|
|
|
502.
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by Series: Programming and Software Engineering ; 9039
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.
|
|
503.
|
|
|
504.
|
|
|
505.
|
|
|
506.
|
Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4962
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
507.
|
Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 5556
Edition: 1st ed. 2009.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
508.
|
Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3454
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
509.
|
|
|
510.
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10203
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.
|
|
511.
|
|
|
512.
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 9952
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.
|
|
513.
|
|
|
514.
|
|
|
515.
|
|
|
516.
|
|
|
517.
|
|
|
518.
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / by Series: Programming and Software Engineering ; 8461
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
519.
|
|
|
520.
|
|