Keresési eredmények

[1]
Előző
12
13
14
15
16
17
18
19
20
21
22

421

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Megjelenés: 2017

Ugrás a forráshoz

könyv

422

Context-Aware Systems and Applications, and Nature of Computation and Communication : 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings

Context-Aware Systems and Applications, and Nature of Computation and Communication : 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam K...

Megjelenés: 2018

Ugrás a forráshoz

könyv

423

Intelligent Transport Systems – From Research and Development to the Market Uptake : First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

Intelligent Transport Systems – From Research and Development to the Market Uptake : First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedin...

Megjelenés: 2018

Ugrás a forráshoz

könyv

424

String Processing and Information Retrieval : 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

String Processing and Information Retrieval : 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

425

Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Megjelenés: 2017

Ugrás a forráshoz

könyv

426

Advances in Cryptology – CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

Advances in Cryptology – CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

Megjelenés: 2019

Ugrás a forráshoz

könyv

427

Internet of Things – ICIOT 2019 : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Internet of Things – ICIOT 2019 : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Megjelenés: 2019

Ugrás a forráshoz

könyv

428

Software Process Improvement and Capability Determination : 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings

Software Process Improvement and Capability Determination : 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings

Megjelenés: 2017

Ugrás a forráshoz

könyv

429

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

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

Megjelenés: 2017

Ugrás a forráshoz

könyv

430

Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

Megjelenés: 2017

Ugrás a forráshoz

könyv

431

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Megjelenés: 2017

Ugrás a forráshoz

könyv

432

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Megjelenés: 2017

Ugrás a forráshoz

könyv

433

Artificial Intelligence : 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

Artificial Intelligence : 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

Megjelenés: 2018

Ugrás a forráshoz

könyv

434

Networked Systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers

Networked Systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers

Megjelenés: 2019

Ugrás a forráshoz

könyv

435

Algorithmic Decision Theory : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings

Algorithmic Decision Theory : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings

Megjelenés: 2017

Ugrás a forráshoz

könyv

436

Machine Learning and Intelligent Communications : Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings

Machine Learning and Intelligent Communications : Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings

Megjelenés: 2018

Ugrás a forráshoz

könyv

437

Biomedical Engineering Systems and Technologies : 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers

Biomedical Engineering Systems and Technologies : 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers

Megjelenés: 2018

Ugrás a forráshoz

könyv

438

ICT Innovations 2018. Engineering and Life Sciences : 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings

ICT Innovations 2018. Engineering and Life Sciences : 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings

Megjelenés: 2018

Ugrás a forráshoz

könyv

439

Financial Cryptography and Data Security : 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers

Financial Cryptography and Data Security : 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers

Megjelenés: 2017

Ugrás a forráshoz

könyv

[1]
Előző
12
13
14
15
16
17
18
19
20
21
22