Theoretical Computer Science and General Issues

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

Lecture Notes in Computer Science, nr. 8803

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 337^.18 lei 421^.48 lei

6-8 săpt.

-20%

Artificial Neural Networks and Machine Learning – ICANN 2018: 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III

Lecture Notes in Computer Science, nr. 11141

Editat de Věra Kůrková et al.

25 oct 2018

Preț: 347^.34 lei 434^.18 lei

6-8 săpt.

-20%

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 11200

Editat de Tiziana Margaria et al.

26 iun 2019

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Computational Data and Social Networks: 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11280

Editat de Xuemin Chen et al.

18 noi 2018

Preț: 332^.10 lei 415^.13 lei

6-8 săpt.

-20%

Learning and Intelligent Optimization: 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11353

Editat de Roberto Battiti et al.

2019

Preț: 328^.79 lei 410^.99 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11388

Editat de Constantin Enea et al.

11 ian 2019

Preț: 335^.11 lei 418^.89 lei

6-8 săpt.

-20%

Theoretical Computer Science and General Issues

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

Artificial Neural Networks and Machine Learning – ICANN 2018: 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Computational Data and Social Networks: 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings

Learning and Intelligent Optimization: 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Ficțiune

Business

Medicină

Lifestyle

Copii și adolescenți

Biografii

Artă, arhitectură şi design

Calculatoare și IT

Științe

Tehnologie și inginerie

Papetărie, jocuri, reviste