Theoretical Computer Science and General Issues

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8446

Editat de Marcello M. Bonsangue

sep 2014

Preț: 323^.77 lei 404^.71 lei

6-8 săpt.

-20%

Approximation and Online Algorithms: 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8447

Editat de Christos Kaklamanis et al.

5 aug 2014

Preț: 264^.30 lei 330^.37 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ț: 325^.38 lei 406^.73 lei

6-8 săpt.

-20%

Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8493

Editat de Arnold Beckmann et al.

4 aug 2014

Preț: 332^.01 lei 415^.01 lei

6-8 săpt.

-20%

Algorithm Theory -- SWAT 2014: 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8503

Editat de Inge Li Gørtz et al.

4 aug 2014

Preț: 331^.55 lei 414^.44 lei

6-8 săpt.

-20%

Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8504

Editat de Joachim Gudmundsson et al.

4 aug 2014

Preț: 334^.10 lei 417^.63 lei

6-8 săpt.

-20%

Algorithmic Aspects in Information and Management: 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8546

Editat de Qianping Gu et al.

aug 2014

Preț: 328^.76 lei 410^.95 lei

6-8 săpt.

-20%

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8551

Editat de Stephen A. Jarvis et al.

20 oct 2014

Preț: 326^.34 lei 407^.93 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8558

Editat de Gerwin Klein et al.

aug 2014

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

6-8 săpt.

-20%

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8559

Editat de Armin Biere et al.

4 aug 2014

Preț: 662^.15 lei 827^.68 lei

6-8 săpt.

-20%

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8571

Editat de Holger Giese et al.

4 aug 2014

Preț: 325^.88 lei 407^.35 lei

6-8 săpt.

-20%

Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8587

Editat de Markus Holzer et al.

4 aug 2014

Preț: 328^.76 lei 410^.95 lei

6-8 săpt.

-20%

Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8591

Editat de Zhipeng Cai et al.

aug 2014

Preț: 345^.44 lei 431^.80 lei

6-8 săpt.

-20%

Hybrid Learning Theory and Practice: 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8595

Editat de Simon K. S. Cheung et al.

4 aug 2014

Preț: 383^.90 lei

6-8 săpt.

Evolutionary and Biologically Inspired Music, Sound, Art and Design: Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8601

Editat de Juan Romero et al.

sep 2014

Preț: 346^.55 lei 433^.19 lei

6-8 săpt.

-20%

Applications of Evolutionary Computation: 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8602

Editat de Anna I. Esparcia-Alcázar et al.

10 dec 2014

Preț: 666^.35 lei 832^.94 lei

6-8 săpt.

-20%

Brain-Inspired Computing: International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8603

Editat de Lucio Grandinetti et al.

31 oct 2014

Preț: 322^.17 lei 402^.72 lei

6-8 săpt.

-20%

Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8606

Editat de Viktória Zsók et al.

apr 2015

Preț: 336^.39 lei 420^.48 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 I

Lecture Notes in Computer Science, nr. 8630

Editat de Xiang-he Sun et al.

22 sep 2014

Preț: 353^.85 lei 442^.31 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8663

Editat de Santiago Escobar

21 noi 2014

Preț: 326^.34 lei 407^.93 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8664

Editat de Călin Cașcaval et al.

20 oct 2014

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Parallel Problem Solving from Nature -- PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings

Lecture Notes in Computer Science, nr. 8672

Editat de Thomas Bartz-Beielstein et al.

24 sep 2014

Preț: 665^.39 lei 831^.74 lei

6-8 săpt.

-20%

Bayesian and grAphical Models for Biomedical Imaging: First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8677

Editat de M. Jorge Cardoso et al.

2 oct 2014

Preț: 262^.66 lei 328^.32 lei

6-8 săpt.

-20%

Artificial Neural Networks and Machine Learning -- ICANN 2014: 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8681

Editat de Stefan Wermter et al.

22 sep 2014

Preț: 353^.85 lei 442^.31 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8687

Editat de Gabriel Ciobanu et al.

23 sep 2014

Preț: 335^.39 lei 419^.23 lei

6-8 săpt.

-20%

Network and Parallel Computing: 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8707

Editat de Ching-Hsien Hsu et al.

22 sep 2014

Preț: 342^.52 lei 428^.15 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8727

Editat de Satoshi Murata et al.

8 sep 2014

Preț: 263^.95 lei 329^.93 lei

6-8 săpt.

-20%

Algorithms - ESA 2014: 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8737

Editat de Andreas S. Schulz et al.

3 sep 2014

Preț: 353^.85 lei 442^.31 lei

6-8 săpt.

-20%

Cellular Automata: 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8751

Editat de Jaroslaw Was et al.

5 sep 2014

Preț: 346^.72 lei 433^.40 lei

6-8 săpt.

-20%

Artificial Evolution: 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8752

Editat de Pierrick Legrand et al.

13 noi 2014

Preț: 325^.56 lei 406^.95 lei

6-8 săpt.

-20%

Stabilization, Safety, and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8756

Editat de Pascal Felber et al.

12 sep 2014

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8759

Editat de Stefano Markidis et al.

12 mar 2015

Preț: 263^.31 lei 329^.13 lei

6-8 săpt.

-20%

Computational Logistics: 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8760

Editat de Rosa G. González-Ramírez et al.

22 sep 2014

Preț: 265^.09 lei 331^.37 lei

6-8 săpt.

-20%

Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8762

Editat de Joel Ouaknine et al.

23 sep 2014

Preț: 324^.42 lei 405^.52 lei

6-8 săpt.

-20%

Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8784

Editat de Fabian Kuhn

29 sep 2014

Preț: 340^.42 lei 425^.52 lei

6-8 săpt.

-20%

Biomedical Simulation: 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8789

Editat de Fernando Bello et al.

30 sep 2014

Preț: 323^.93 lei 404^.90 lei

6-8 săpt.

-20%

Advances in Swarm Intelligence: 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I

Lecture Notes in Computer Science, nr. 8794

Editat de Ying Tan et al.

23 sep 2014

Preț: 337^.35 lei 421^.69 lei

6-8 săpt.

-20%

Advances in Swarm Intelligence: 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II

Lecture Notes in Computer Science, nr. 8795

Editat de Ying Tan et al.

23 sep 2014

Preț: 335^.08 lei 418^.85 lei

6-8 săpt.

-20%

String Processing and Information Retrieval: 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8799

Editat de Edleno Moura et al.

23 sep 2014

Preț: 325^.70 lei 407^.13 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ț: 338^.81 lei 423^.52 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ț: 343^.48 lei 429^.35 lei

6-8 săpt.

-20%

Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

Lecture Notes in Computer Science, nr. 8805

Editat de Luís Lopes et al.

12 dec 2014

Preț: 342^.36 lei 427^.96 lei

6-8 săpt.

-20%

Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Lecture Notes in Computer Science, nr. 8808

Editat de Cristian S. Calude et al.

18 dec 2014

Preț: 335^.39 lei 419^.23 lei

6-8 săpt.

-20%

Neural Information Processing: 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II

Lecture Notes in Computer Science, nr. 8835

Editat de Chu Kiong Loo et al.

6 noi 2014

Preț: 341^.55 lei 426^.94 lei

6-8 săpt.

-20%

Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8843

Editat de Jurriaan Hage et al.

14 ian 2015

Preț: 263^.16 lei 328^.95 lei

6-8 săpt.

-20%

Discrete and Computational Geometry and Graphs: 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8845

Editat de Jin Akiyama et al.

3 dec 2014

Preț: 321^.04 lei 401^.30 lei

6-8 săpt.

-20%

Sequences and Their Applications - SETA 2014: 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8865

Editat de Kai-Uwe Schmidt et al.

dec 2014

Preț: 327^.16 lei 408^.95 lei

6-8 săpt.

-20%

Advances in Neural Networks – ISNN 2014: 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8866

Editat de Zhigang Zeng et al.

3 noi 2014

Preț: 343^.65 lei 429^.57 lei

6-8 săpt.

-20%

Graph Drawing: 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8871

Editat de Christian Duncan et al.

dec 2014

Preț: 338^.00 lei 422^.50 lei

6-8 săpt.

-20%

Principles of Distributed Systems: 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8878

Editat de Marcos K. Aguilera et al.

18 dec 2014

Preț: 336^.54 lei 420^.67 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ț: 349^.64 lei 437^.05 lei

6-8 săpt.

-20%

Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Lecture Notes in Computer Science, nr. 8886

Editat de Grant Dick et al.

20 noi 2014

Preț: 353^.85 lei 442^.31 lei

6-8 săpt.

-20%

Algorithms and Computation: 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8889

Editat de Hee-Kap Ahn et al.

20 noi 2014

Preț: 656^.81 lei 821^.01 lei

6-8 săpt.

-20%

Theory and Practice of Natural Computing: Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8890

Editat de Adrian-Horia Dediu et al.

20 noi 2014

Preț: 324^.92 lei 406^.15 lei

6-8 săpt.

-20%

Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8894

Editat de Marek Cygan et al.

12 dec 2014

Preț: 328^.63 lei 410^.78 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8901

Editat de Gopal Gupta et al.

22 dec 2014

Preț: 323^.59 lei 404^.49 lei

6-8 săpt.

-20%

Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8902

Editat de Matteo Maffei et al.

9 ian 2015

Preț: 265^.91 lei 332^.39 lei

6-8 săpt.

-20%

Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001

Lecture Notes in Computer Science, nr. 8913

Editat de Rachid Guerraoui et al.

2 ian 2015

Preț: 334^.75 lei 418^.44 lei

6-8 săpt.

-20%

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Lecture Notes in Computer Science, nr. 8923

Editat de Mohua Banerjee et al.

5 dec 2014

Preț: 323^.13 lei 403^.91 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Lecture Notes in Computer Science, nr. 8931

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 334^.93 lei 418^.66 lei

6-8 săpt.

-20%

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

Lecture Notes in Computer Science, nr. 8939

Editat de Giuseppe Italiano et al.

2 ian 2015

Preț: 342^.02 lei 427^.52 lei

6-8 săpt.

-20%

Computer Algebra and Polynomials: Applications of Algebra and Number Theory

Lecture Notes in Computer Science, nr. 8942

Editat de Jaime Gutierrez et al.

2 feb 2015

Preț: 322^.17 lei 402^.72 lei

6-8 săpt.

-20%

Quantum Interaction: 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8951

Editat de Harald Atmanspacher et al.

19 mar 2015

Preț: 325^.70 lei 407^.13 lei

6-8 săpt.

-20%

Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8952

Editat de Evripidis Bampis et al.

4 mai 2015

Preț: 325^.06 lei 406^.32 lei

6-8 săpt.

-20%

Algorithms and Discrete Applied Mathematics: First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

Lecture Notes in Computer Science, nr. 8959

Editat de Sumit Ganguly et al.

9 ian 2015

Preț: 326^.70 lei 408^.37 lei

6-8 săpt.

-20%

Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8961

Editat de Marian Gheorghe et al.

7 ian 2015

Preț: 331^.68 lei 414^.60 lei

6-8 săpt.

-20%

Numerical Methods and Applications: 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8962

Editat de Ivan Dimov et al.

3 mar 2015

Preț: 382^.04 lei

6-8 săpt.

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8963

Editat de David Naumann

4 feb 2015

Preț: 263^.16 lei 328^.95 lei

6-8 săpt.

-20%

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation: 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8966

Editat de Stephen A. Jarvis et al.

4 mai 2015

Preț: 325^.38 lei 406^.73 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8967

Editat de James Brodman et al.

13 mai 2015

Preț: 331^.22 lei 414^.03 lei

6-8 săpt.

-20%

High Performance Computing for Computational Science -- VECPAR 2014: 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8969

Editat de Michel Daydé et al.

4 mai 2015

Preț: 327^.47 lei 409^.34 lei

6-8 săpt.

-20%

WALCOM: Algorithms and Computation: 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings

Lecture Notes in Computer Science, nr. 8973

Editat de M. Sohel Rahman et al.

6 feb 2015

Preț: 328^.93 lei 411^.17 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8974

Editat de Andrei Voronkov

30 apr 2015

Preț: 332^.33 lei 415^.41 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

Lecture Notes in Computer Science, nr. 8977

Editat de Adrian-Horia Dediu et al.

10 mar 2015

Preț: 348^.64 lei 435^.80 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8981

Editat de Maurizio Proietti et al.

4 mai 2015

Preț: 328^.13 lei 410^.15 lei

6-8 săpt.

-20%

Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8984

Editat de Martin Aher et al.

19 mai 2015

Preț: 328^.13 lei 410^.15 lei

6-8 săpt.

-20%

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof

Lecture Notes in Computer Science, nr. 9000

Autor Mikhail Kovalev et al.

dec 2014

Preț: 328^.93 lei 411^.17 lei

6-8 săpt.

-20%

Architecture of Computing Systems – ARCS 2015: 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9017

Editat de Luís Miguel Pinho Pinho et al.

25 mar 2015

Preț: 324^.42 lei 405^.52 lei

6-8 săpt.

-20%

Evolutionary Multi-Criterion Optimization: 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

Lecture Notes in Computer Science, nr. 9018

Editat de António Gaspar-Cunha et al.

19 mar 2015

Preț: 390^.14 lei

6-8 săpt.

Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9025

Editat de Penousal Machado et al.

26 mar 2015

Preț: 323^.13 lei 403^.91 lei

6-8 săpt.

-20%

Evolutionary Computation in Combinatorial Optimization: 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9026

Editat de Gabriela Ochoa et al.

26 mar 2015

Preț: 377^.72 lei

6-8 săpt.

Evolutionary and Biologically Inspired Music, Sound, Art and Design: 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9027

Editat de Colin Johnson et al.

26 mar 2015

Preț: 325^.38 lei 406^.73 lei

6-8 săpt.

-20%

Applications of Evolutionary Computation: 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9028

Editat de Antonio M. Mora et al.

30 mar 2015

Preț: 663^.61 lei 829^.51 lei

6-8 săpt.

-20%

Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9031

Editat de Björn Franke

9 apr 2015

Preț: 324^.42 lei 405^.52 lei

6-8 săpt.

-20%

Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9032

Editat de Jan Vitek

9 apr 2015

Preț: 659^.22 lei 824^.03 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9033

Editat de Alexander Egyed et al.

9 apr 2015

Preț: 329^.76 lei 412^.20 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9034

Editat de Andrew Pitts

9 apr 2015

Preț: 334^.75 lei 418^.44 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9035

Editat de Christel Baier et al.

8 apr 2015

Preț: 347^.36 lei 434^.20 lei

6-8 săpt.

-20%

Applied Reconfigurable Computing: 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9040

Editat de Kentaro Sano et al.

25 mar 2015

Preț: 339^.13 lei 423^.92 lei

6-8 săpt.

-20%

Arithmetic of Finite Fields: 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9061

Editat de Çetin Kaya Koç et al.

19 mar 2015

Preț: 322^.17 lei 402^.72 lei

6-8 săpt.

-20%

Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9075

Editat de Laurent Michel

22 apr 2015

Preț: 390^.88 lei

6-8 săpt.

Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9076

Editat de Rahul Jain et al.

20 apr 2015

Preț: 334^.60 lei 418^.26 lei

6-8 săpt.

-20%

Algorithms and Complexity: 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9079

Editat de Vangelis Th. Paschos et al.

22 apr 2015

Preț: 332^.97 lei 416^.21 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9099

Editat de Jarkko Kari

12 mai 2015

Preț: 197^.87 lei 247^.34 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9115

Editat de Raymond Devillers et al.

27 mai 2015

Preț: 328^.93 lei 411^.17 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9118

Editat de Jeffrey Shallit et al.

28 mai 2015

Preț: 326^.34 lei 407^.93 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Theoretical Computer Science and General Issues