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

41

Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017, Proceedings /

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

Available in Springer Computer Science eBooks 2017 English/International.

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

42

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /

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

Available in Springer Computer Science eBooks 2017 English/International.

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

43

Low-Power Design and Power-Aware Verification

по Khondkar, Progyna., Khondkar, Progyna.
Опубликовано 2018

Available in Springer Engineering eBooks 2018 English/International.

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

44

Cryptographic Hardware and Embedded Systems – CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings /

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

Available in Springer Computer Science eBooks 2017 English/International.

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

45

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /

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

Available in Springer Computer Science eBooks 2017 English/International.

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

46

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings /

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

Available in Springer Computer Science eBooks 2017 English/International.

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

47

Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings /

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

Available in Springer Computer Science eBooks 2017 English/International.

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

48

Essence of Systems Analysis and Design A Workbook Approach /

по Sajja, Priti Srinivas., Sajja, Priti Srinivas.
Опубликовано 2017

Available in Springer Computer Science eBooks 2017 English/International.

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

49

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /

по O'Regan, Gerard., O'Regan, Gerard.
Опубликовано 2017

Available in Springer Computer Science eBooks 2017 English/International.

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

50

Computer Information Systems and Industrial Management 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15–17, 2022, Proceedings /

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

Available in Springer Computer Science eBooks 2022 English/International.

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

51

Parallel Problem Solving from Nature – PPSN XVII 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part II /

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

Available in Springer Computer Science eBooks 2022 English/International.

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

52

Beginning Samsung ARTIK A Guide for Developers /

по Wootton, Cliff., Wootton, Cliff.
Опубликовано 2016

Available in Springer Professional and Applied Computing eBooks 2016 English/International.

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

53

Building Arduino Projects for the Internet of Things Experiments with Real-World Applications /

по Javed, Adeel., Javed, Adeel.
Опубликовано 2016

Available in Springer Professional and Applied Computing eBooks 2016 English/International.

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

54

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings /

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

Available in Springer Computer Science eBooks 2016 English/International.

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

55

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers /

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

Available in Springer Computer Science eBooks 2012 English/International.

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

56

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /

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

Available in Springer Computer Science eBooks 2017 English/International.

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

57

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

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

Available in Springer Computer Science eBooks 2012 English/International.

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

58

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012. Stockholm, Sweden, June 13-16, 2012, Proceedings /

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

Available in Springer Computer Science eBooks 2012 English/International.

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

59

Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /

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

Available in Springer Computer Science eBooks 2018 English/International.

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

60

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II /

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

Available in Springer Computer Science eBooks 2018 English/International.

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

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