Søgeresultater

1

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

2

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

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

3

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /

Udgivet 2015

Available in Springer Computer Science eBooks 2015 English/International.

Electronisk eBog

4

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

Udgivet 2015

Available in Springer Computer Science eBooks 2015 English/International.

Electronisk eBog

5

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers /

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

6

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

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

7

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Udgivet 2014

Available in Springer Computer Science eBooks 2014 English/International.

Electronisk eBog

8

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

Udgivet 2015

Available in Springer Computer Science eBooks 2015 English/International.

Electronisk eBog

9

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

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

10

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

11

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /

Udgivet 2016

Available in Springer Computer Science eBooks 2016 English/International.

Electronisk eBog

12

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /

Udgivet 2014

Available in Springer Computer Science eBooks 2014 English/International.

Electronisk eBog

13

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 /

Udgivet 2014

Available in Springer Computer Science eBooks 2014 English/International.

Electronisk eBog

14

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 /

Udgivet 2014

Available in Springer Computer Science eBooks 2014 English/International.

Electronisk eBog

15

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings /

Udgivet 2014

Available in Springer Computer Science eBooks 2014 English/International.

Electronisk eBog

16

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /

Udgivet 2015

Available in Springer Computer Science eBooks 2015 English/International.

Electronisk eBog

17

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

18

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /

Udgivet 2011

Available in Springer Computer Science eBooks 2011 English/International.

Electronisk eBog

19

Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers /

Udgivet 2021

Available in Springer Computer Science eBooks 2021 English/International.

Electronisk eBog

20

Software Engineering for Collective Autonomic Systems The ASCENS Approach /

Udgivet 2015

Available in Springer Computer Science eBooks 2015 English/International.

Electronisk eBog

Indsnæver søgning