Výsledky vyhledávání

1

Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

2

Software Engineering Techniques Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

3

Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

4

Multiagent System Technologies 8th German Conference, MATES 2011, Leipzig, Germany, October 6-7, 2011 Proceedings /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

5

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /

Vydáno 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronický zdroj E-kniha

6

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /

Vydáno 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronický zdroj E-kniha

7

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers /

Vydáno 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronický zdroj E-kniha

8

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /

Vydáno 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronický zdroj E-kniha

9

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Vydáno 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronický zdroj E-kniha

10

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

11

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

12

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /

Vydáno 2016

Available in Springer Computer Science eBooks 2016 English/International.

Elektronický zdroj E-kniha

13

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /

Vydáno 2016

Available in Springer Computer Science eBooks 2016 English/International.

Elektronický zdroj E-kniha

14

Transactions on Aspect-Oriented Software Development VIII

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

15

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

16

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /

Vydáno 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronický zdroj E-kniha

17

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /

Vydáno 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronický zdroj E-kniha

18

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /

Vydáno 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronický zdroj E-kniha

19

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

20

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /

Vydáno 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronický zdroj E-kniha

Upřesnit hledání