Αποτελέσματα αναζήτησης

1

Process Design for Natural Scientists An Agile Model-Driven Approach /

Έκδοση 2014

Available in Springer Computer Science eBooks 2014 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /

Έκδοση 2014

Available in Springer Computer Science eBooks 2014 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

Έκδοση 2014

Available in Springer Computer Science eBooks 2014 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /

Έκδοση 2021

Available in Springer Computer Science eBooks 2021 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV /

Έκδοση 2021

Available in Springer Computer Science eBooks 2021 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings /

Έκδοση 2017

Available in Springer Computer Science eBooks 2017 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

Έκδοση 2016

Available in Springer Computer Science eBooks 2016 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Leveraging Applications of Formal Methods, Verification and Validation. Practice 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV /

Έκδοση 2022

Available in Springer Computer Science eBooks 2022 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III /

Έκδοση 2022

Available in Springer Computer Science eBooks 2022 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I /

Έκδοση 2022

Available in Springer Computer Science eBooks 2022 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II /

Έκδοση 2022

Available in Springer Computer Science eBooks 2022 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Έκδοση 2012

Available in Springer Computer Science eBooks 2012 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Έκδοση 2012

Available in Springer Computer Science eBooks 2012 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Έκδοση 2008

Available in Springer Computer Science eBooks 2008 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings /

Έκδοση 2008

Available in Springer Computer Science eBooks 2008 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /

Έκδοση 2010

Available in Springer Computer Science eBooks 2010 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Έκδοση 2010

Available in Springer Computer Science eBooks 2010 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /

Έκδοση 2016

Available in Springer Computer Science eBooks 2016 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Tools and Algorithms for the Construction and Analysis of Systems 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 /

Έκδοση 2017

Available in Springer Computer Science eBooks 2017 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Tools and Algorithms for the Construction and Analysis of Systems 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 II /

Έκδοση 2017

Available in Springer Computer Science eBooks 2017 English/International.

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης