Theoretical Computer Science and General Issues

Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3879

Editat de Thomas Erlebach et al.

13 feb 2006

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Structural Information and Communication Complexity: 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4474

Editat de Giuseppe Prencipe et al.

iun 2007

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4501

Editat de Joao Marques-Silva et al.

18 mai 2007

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Combinatorial Pattern Matching: 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4580

Editat de Bin Ma et al.

22 iun 2007

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Frontiers in Algorithmics: First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4613

Editat de Franco P. Preparata et al.

16 iul 2007

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4703

Editat de Luís Caires et al.

22 aug 2007

Preț: 332^.42 lei 415^.53 lei

6-8 săpt.

-20%

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4732

Editat de Klaus Schneider et al.

28 aug 2007

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5455

Editat de Mladen Berekovic et al.

25 feb 2009

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 15th International Meeting on DNA Computing, DNA 15, Fayetteville, AR, USA, June 8-11, 2009. Revised Selected Papers

Lecture Notes in Computer Science, nr. 5877

Editat de Russell Deaton et al.

7 dec 2009

Preț: 314^.67 lei 393^.34 lei

6-8 săpt.

-20%

High Performance Computing for Computational Science -- VECPAR 2010: 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers

Lecture Notes in Computer Science, nr. 6449

Editat de José M. Laginha M. Palma et al.

23 feb 2011

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6546

Editat de Rex Page et al.

9 sep 2011

Preț: 399^.09 lei 498^.86 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6548

Editat de Keith Cooper et al.

7 mar 2011

Preț: 320^.24 lei 400^.30 lei

6-8 săpt.

-20%

Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6595

Editat de Alberto Marchetti-Spaccamela et al.

14 mar 2011

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

6-8 săpt.

-20%

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6604

Editat de Martin Hofmann

18 mar 2011

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6690

Editat de Luke Ong

23 mai 2011

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

6-8 săpt.

-20%

Development in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6795

Editat de Giancarlo Mauri et al.

12 iul 2011

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Hybrid Learning: 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6837

Editat de Reggie Kwan et al.

21 iul 2011

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6907

Editat de Filip Murlak et al.

9 aug 2011

Preț: 338^.47 lei 423^.09 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6919

Editat de Uli Fahrenberg et al.

12 sep 2011

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Network and Parallel Computing: 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6985

Editat de Erik Altman et al.

19 sep 2011

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7052

Editat de Dawei Song et al.

21 oct 2011

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Swarm, Evolutionary, and Memetic Computing: Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part I

Lecture Notes in Computer Science, nr. 7076

Editat de Bijaya Ketan Panigrahi et al.

7 dec 2011

Preț: 323^.41 lei 404^.26 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ț: 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%

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%

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%

Theoretical Computer Science and General Issues

Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers

Structural Information and Communication Complexity: 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Combinatorial Pattern Matching: 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings

Frontiers in Algorithmics: First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings

CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings

DNA Computing and Molecular Programming: 15th International Meeting on DNA Computing, DNA 15, Fayetteville, AR, USA, June 8-11, 2009. Revised Selected Papers

High Performance Computing for Computational Science -- VECPAR 2010: 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers

Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings

Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Development in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

Hybrid Learning: 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings

Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

Network and Parallel Computing: 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings

Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

Swarm, Evolutionary, and Memetic Computing: Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part I

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

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

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

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