Arama Sonuçları

1

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

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2016

Available in Springer Computer Science eBooks 2016 English/International.

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2014

Available in Springer Computer Science eBooks 2014 English/International.

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2011

Available in Springer Computer Science eBooks 2011 English/International.

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2021

Available in Springer Computer Science eBooks 2021 English/International.

Elektronik Ekitap

20

Software Engineering for Collective Autonomic Systems The ASCENS Approach /

Baskı/Yayın Bilgisi 2015

Available in Springer Computer Science eBooks 2015 English/International.

Elektronik Ekitap

Aramayı Daralt