Cărți de Roberto Sebastiani

Research and Advanced Technology for Digital Libraries: 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6273

Editat de Mounia Lalmas et al.

30 aug 2010

Preț: 349^.40 lei 436^.75 lei

3-5 săpt.

-20%

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10900

Editat de Didier Galmiche et al.

iul 2018

Preț: 354^.49 lei 443^.11 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7317

Editat de Alessandro Cimatti et al.

22 iun 2012

Preț: 343^.44 lei 429^.30 lei

6-8 săpt.

-20%

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5749

Editat de Silvio Ghilardi et al.

7 sep 2009

Preț: 339^.47 lei 424^.34 lei

6-8 săpt.

-20%