Результаты поиска

1

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

Опубликовано 2011

Available in Springer Computer Science eBooks 2011 English/International.

Электронный ресурс eКнига

2

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings /

Опубликовано 2011

Available in Springer Computer Science eBooks 2011 English/International.

Электронный ресурс eКнига

3

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

Опубликовано 2011

Available in Springer Computer Science eBooks 2011 English/International.

Электронный ресурс eКнига

4

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

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

5

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

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

6

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

7

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

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

8

Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

9

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

10

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

Опубликовано 2011

Available in Springer Computer Science eBooks 2011 English/International.

Электронный ресурс eКнига

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 /

Опубликовано 2011

Available in Springer Computer Science eBooks 2011 English/International.

Электронный ресурс eКнига

12

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II /

Опубликовано 2011

Available in Springer Computer Science eBooks 2011 English/International.

Электронный ресурс eКнига

13

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

Опубликовано 2014

Available in Springer Computer Science eBooks 2014 English/International.

Электронный ресурс eКнига

14

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

15

Logic-Based Program Synthesis and Transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings /

Опубликовано 2022

Available in Springer Computer Science eBooks 2022 English/International.

Электронный ресурс eКнига

16

Software Verification 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers /

Опубликовано 2022

Available in Springer Computer Science eBooks 2022 English/International.

Электронный ресурс eКнига

17

Models of Strategic Reasoning Logics, Games, and Communities /

Опубликовано 2015

Available in Springer Computer Science eBooks 2015 English/International.

Электронный ресурс eКнига

18

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /

Опубликовано 2011

Available in Springer Computer Science eBooks 2011 English/International.

Электронный ресурс eКнига

19

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings /

Опубликовано 2014

Available in Springer Computer Science eBooks 2014 English/International.

Электронный ресурс eКнига

20

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings /

Опубликовано 2014

Available in Springer Computer Science eBooks 2014 English/International.

Электронный ресурс eКнига

Сужение результатов поиска