Theoretical Computer Science and General Issues

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ț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7406

Editat de Lennart Beringer et al.

6 iul 2012

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7433

Editat de Darko Stefanovic et al.

7 iul 2012

Preț: 395^.59 lei 494^.49 lei

6-8 săpt.

-20%

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 8453

Editat de Anne Remke et al.

31 oct 2014

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Algorithms and Architectures for Parallel Processing: 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II

Lecture Notes in Computer Science, nr. 8631

Editat de Xiang-he Sun et al.

sep 2014

Preț: 339^.55 lei 424^.44 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Lecture Notes in Computer Science, nr. 8802

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 332^.60 lei 415^.75 lei

6-8 săpt.

-20%

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%

Combinatorial Optimization and Applications: 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8881

Editat de Zhao Zhang et al.

19 noi 2014

Preț: 343^.23 lei 429^.04 lei

6-8 săpt.

-20%

Swarm Intelligence Based Optimization: Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10103

Editat de Patrick Siarry et al.

25 noi 2016

Preț: 257^.48 lei 321^.84 lei

6-8 săpt.

-20%

Theoretical Computer Science and General Issues

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

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

DNA Computing and Molecular Programming: 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Algorithms and Architectures for Parallel Processing: 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

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

Combinatorial Optimization and Applications: 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings

Swarm Intelligence Based Optimization: Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers

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