Computing and Combinatorics: 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings
Editat de Lusheng Wang
4 aug 2005
Paperback
Preț: 654.76 lei 818.45 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II
Editat de Wlodzislaw Duch et al.
31 aug 2005
Paperback
Preț: 657.76 lei 822.21 lei
6-8 săpt.
-20%
Applied Parallel Computing: State of the Art in Scientific Computing
Editat de Jack Dongarra et al.
3 mar 2006
Paperback
Preț: 989.24 lei 1236.55 lei
6-8 săpt.
-20%
Computer and Information Sciences - ISCIS 2005: 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
Editat de Pinar Yolum et al.
17 oct 2005
Paperback
Preț: 653.96 lei 817.45 lei
6-8 săpt.
-20%
Stochastic Algorithms: Foundations and Applications: Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
Editat de Oleg B. Lupanov et al.
13 oct 2005
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Editat de Jean-Christophe Filliatre et al.
25 ian 2006
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Editat de Joao Hespanha et al.
20 mar 2006
Paperback
Preț: 635.12 lei 793.91 lei
6-8 săpt.
-20%
Simulated Evolution and Learning: 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings
Editat de Tzai-Der Wang et al.
6 oct 2006
Paperback
Preț: 652.21 lei 815.26 lei
6-8 săpt.
-20%
Parallel and Distributed Processing and Applications: 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings
Editat de Minyi Guo et al.
27 noi 2006
Paperback
Preț: 652.88 lei 816.09 lei
6-8 săpt.
-20%
Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November 22-24, 2005, Revised Selected Papers
Editat de Jin Akiyama et al.
26 ian 2007
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Editat de Klaus Schneider et al.
28 aug 2007
Paperback
Preț: 327.04 lei 408.80 lei
6-8 săpt.
-20%
Informatics Education - Supporting Computational Thinking: Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings
Editat de Roland Mittermeir et al.
19 iun 2008
Paperback
Preț: 379.51 lei
6-8 săpt.
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Editat de Jean-Raymond Abrial et al.
20 ian 2010
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Artificial Immune Systems: 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings
Editat de Peter Bentley et al.
25 iul 2008
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
Editat de Philippe Audebaud et al.
4 iul 2008
Paperback
Preț: 327.36 lei 409.20 lei
6-8 săpt.
-20%
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Editat de Michael Kaminski et al.
10 sep 2008
Paperback
Preț: 791.54 lei 989.42 lei
3-5 săpt.
-20%
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
Editat de Heiner Stuckenschmidt et al.
25 mai 2009
Paperback
Preț: 317.05 lei 396.31 lei
6-8 săpt.
-20%
Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings
Editat de Mladen Berekovic et al.
25 feb 2009
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Editat de Willem-Jan van Hoeve et al.
6 mai 2009
Paperback
Preț: 377.68 lei
6-8 săpt.
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Editat de Andrew Butterfield
30 iul 2010
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
Editat de David Eppstein et al.
24 mar 2010
Paperback
Preț: 328.94 lei 411.17 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
Editat de Russell Deaton et al.
7 dec 2009
Paperback
Preț: 314.67 lei 393.34 lei
6-8 săpt.
-20%
Approximation and Online Algorithms: 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers
Editat de Evripidis Bampis et al.
23 apr 2010
Paperback
Preț: 319.13 lei 398.90 lei
3-5 săpt.
-20%
Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers
Editat de Guang R. Gao et al.
9 iun 2010
Paperback
Preț: 328.16 lei 410.20 lei
3-5 săpt.
-20%
Grid Resource Management: On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Autor Mumtaz Siddiqui et al.
27 ian 2010
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
Editat de David S. Rosenblum et al.
16 mar 2010
Paperback
Preț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
LATIN 2010: Theoretical Informatics: 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings
Editat de Alejandro López-Ortiz
9 apr 2010
Paperback
Preț: 641.62 lei 802.03 lei
6-8 săpt.
-20%
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings
Editat de Andrea Lodi et al.
iun 2010
Paperback
Preț: 324.99 lei 406.23 lei
3-5 săpt.
-20%
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Editat de Anuj Dawar et al.
11 aug 2010
Paperback
Preț: 335.29 lei 419.11 lei
3-5 săpt.
-20%
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
Editat de Paul Gastin et al.
18 aug 2010
Paperback
Preț: 637.96 lei 797.45 lei
3-5 săpt.
-20%
Central European Functional Programming School: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
Editat de Zoltán Horváth et al.
4 ian 2011
Paperback
Preț: 325.79 lei 407.24 lei
3-5 săpt.
-20%
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings
Editat de Maria Serna et al.
19 aug 2010
Paperback
Preț: 644.93 lei 806.17 lei
3-5 săpt.
-20%
Sequences and Their Applications - SETA 2010: 6th International Conference, Paris, France, September 13-17, 2010. Proceedings
Editat de Claude Carlet et al.
sep 2010
Paperback
Preț: 329.74 lei 412.17 lei
3-5 săpt.
-20%
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Editat de Jaco van der Pol et al.
27 sep 2010
Paperback
Preț: 321.81 lei 402.26 lei
3-5 săpt.
-20%
Hybrid Metaheuristics: 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
Editat de Maria José Blesa et al.
27 sep 2010
Paperback
Preț: 317.68 lei 397.10 lei
3-5 săpt.
-20%
String Processing and Information Retrieval: 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010, Proceedings
Editat de Edgar Chavez et al.
27 sep 2010
Paperback
Preț: 327.54 lei 409.42 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Editat de Christian G. Fermüller et al.
27 sep 2010
Paperback
Preț: 638.76 lei 798.45 lei
3-5 săpt.
-20%
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Editat de Shengchao Qin
21 oct 2010
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
Editat de Venkatesh Raman et al.
22 noi 2010
Paperback
Preț: 318.30 lei 397.88 lei
3-5 săpt.
-20%
Algorithms and Models for the Web-Graph: 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings
Editat de Ravi Kumar et al.
14 ian 2011
Paperback
Preț: 314.86 lei 393.57 lei
3-5 săpt.
-20%
Integer Programming and Combinatorial Optimization: 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings
Editat de Oktay Günlük et al.
10 mai 2011
Paperback
Preț: 328.16 lei 410.20 lei
3-5 săpt.
-20%
Algorithms -- ESA 2011: 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011, Proceedings
Editat de Camil Demetrescu et al.
6 sep 2011
Paperback
Preț: 647.15 lei 808.93 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
Editat de Bijaya Ketan Panigrahi et al.
7 dec 2011
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012, Proceedings
Editat de Luciano Bononi et al.
15 dec 2011
Paperback
Preț: 334.49 lei 418.11 lei
3-5 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Editat de Viktor Kuncak et al.
12 ian 2012
Paperback
Preț: 329.74 lei 412.17 lei
3-5 săpt.
-20%
Fun with Algorithms: 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings
Editat de Evangelos Kranakis et al.
11 mai 2012
Paperback
Preț: 327.36 lei 409.20 lei
3-5 săpt.
-20%
Languages Alive: Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Editat de Henning Bordihn et al.
25 iul 2012
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Editat de Alessandro Cimatti et al.
22 iun 2012
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
Editat de Denis Bechet et al.
30 mai 2012
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%
Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Editat de Alastair Donaldson et al.
25 iul 2012
Paperback
Preț: 413.25 lei 516.56 lei
6-8 săpt.
-20%
Intelligent Computing Technology: 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedings
Editat de De-Shuang Huang et al.
26 iul 2012
Paperback
Preț: 340.04 lei 425.05 lei
6-8 săpt.
-20%
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Editat de Lennart Beringer et al.
6 iul 2012
Paperback
Preț: 326.24 lei 407.80 lei
6-8 săpt.
-20%
Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Editat de Guram Bezhanishvili et al.
10 feb 2013
Paperback
Preț: 292.25 lei 365.31 lei
6-8 săpt.
-20%
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Editat de Shaoying Liu
14 aug 2013
Paperback
Preț: 285.90 lei 357.38 lei
6-8 săpt.
-20%
The Language of Mathematics: A Linguistic and Philosophical Investigation
Autor Mohan Ganesalingam
10 feb 2013
Paperback
Preț: 455.83 lei 569.79 lei
6-8 săpt.
-20%
Reconfigurable Computing: Architectures, Tools and Applications: 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings
Editat de Philip Brisk et al.
9 feb 2013
Paperback
Preț: 290.51 lei 363.14 lei
6-8 săpt.
-20%
Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings
Editat de Adrian-Horia Dediu et al.
20 feb 2013
Paperback
Preț: 333.87 lei 417.33 lei
6-8 săpt.
-20%
Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
Editat de Hans Wolfgang Loidl et al.
5 aug 2013
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Approximation and Online Algorithms: 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Editat de Thomas Erlebach et al.
19 apr 2013
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
High Performance Computing for Computational Science - VECPAR 2012: 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
Editat de Michel Dayde et al.
7 iun 2013
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Supercomputing: 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Editat de Julian M. Kunkel et al.
16 mai 2013
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings
Editat de Marie-Pierre Beal et al.
24 mai 2013
Paperback
Preț: 328.29 lei 410.37 lei
6-8 săpt.
-20%
The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Editat de Paola Bonizzoni et al.
19 iul 2013
Paperback
Preț: 327.84 lei 409.80 lei
6-8 săpt.
-20%
Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings
Editat de Johannes Fischer et al.
6 iun 2013
Paperback
Preț: 291.32 lei 364.15 lei
6-8 săpt.
-20%
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings
Editat de Michael Fellows et al.
6 iun 2013
Paperback
Preț: 323.55 lei 404.44 lei
6-8 săpt.
-20%
Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
Editat de Jose-Manuel Colom et al.
6 iun 2013
Paperback
Preț: 325.79 lei 407.24 lei
6-8 săpt.
-20%
Natural and Artificial Models in Computation and Biology: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Editat de Jose Manuel Ferrandez Vicente et al.
16 mai 2013
Paperback
Preț: 327.67 lei 409.59 lei
6-8 săpt.
-20%
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
Editat de Masahito Hasegawa
6 iun 2013
Paperback
Preț: 411.19 lei 513.99 lei
6-8 săpt.
-20%
Advances in Neural Networks- ISNN 2013: 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II
Editat de Chengan Guo et al.
15 iul 2013
Paperback
Preț: 337.81 lei 422.26 lei
6-8 săpt.
-20%
Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
Editat de Giancarlo Mauri et al.
6 iun 2013
Paperback
Preț: 291.63 lei 364.54 lei
6-8 săpt.
-20%
Computer Vision Systems: 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Editat de Mei Chen et al.
4 iul 2013
Paperback
Preț: 324.19 lei 405.23 lei
6-8 săpt.
-20%
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Editat de Ezio Bartocci et al.
19 iul 2013
Paperback
Preț: 324.03 lei 405.04 lei
6-8 săpt.
-20%
Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Editat de Stavros Konstantinidis
19 iul 2013
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-20%
Wireless Algorithms, Systems, and Applications: 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings
Editat de Kui Ren et al.
9 iul 2013
Paperback
Preț: 331.80 lei 414.75 lei
6-8 săpt.
-20%
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Editat de Sandrine Blazy et al.
19 iul 2013
Paperback
Preț: 329.91 lei 412.39 lei
6-8 săpt.
-20%
Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
Editat de Jürgensen et al.
19 iul 2013
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings
Editat de Glyn Morrill et al.
11 iul 2013
Paperback
Preț: 320.06 lei 400.07 lei
6-8 săpt.
-20%
Algorithms and Data Structures: 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Editat de Frank Dehne et al.
15 iul 2013
Paperback
Preț: 332.42 lei 415.53 lei
6-8 săpt.
-20%
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Editat de Natasha Sharygina et al.
14 iul 2013
Paperback
Preț: 655.70 lei 819.62 lei
6-8 săpt.
-20%
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Editat de Zhiming Liu et al.
19 iul 2013
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Editat de Zhiming Liu et al.
31 iul 2013
Paperback
Preț: 325.92 lei 407.40 lei
6-8 săpt.
-20%
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Editat de Pedro R. D'Argenio et al.
6 aug 2013
Paperback
Preț: 333.54 lei 416.93 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Editat de Víctor Braberman et al.
8 aug 2013
Paperback
Preț: 292.88 lei 366.11 lei
6-8 săpt.
-20%
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Editat de Kaustubh Joshi et al.
7 aug 2013
Paperback
Preț: 326.24 lei 407.80 lei
6-8 săpt.
-20%
Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday
Editat de Andrej Brodnik et al.
7 aug 2013
Paperback
Preț: 324.35 lei 405.44 lei
6-8 săpt.
-20%
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
Editat de Leszek Gąsieniec et al.
8 aug 2013
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Editat de Leonid Libkin et al.
8 aug 2013
Paperback
Preț: 292.40 lei 365.50 lei
6-8 săpt.
-20%
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Editat de Krishnendu Chatterjee et al.
8 aug 2013
Paperback
Preț: 346.85 lei 433.57 lei
6-8 săpt.
-20%
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
Editat de Reiko Heckel et al.
8 aug 2013
Paperback
Preț: 323.23 lei 404.04 lei
6-8 săpt.
-20%
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings
Editat de Prasad Raghavendra et al.
6 aug 2013
Paperback
Preț: 340.35 lei 425.44 lei
6-8 săpt.
-20%
Euro-Par 2013: Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
Editat de Felix Wolf et al.
7 aug 2013
Paperback
Preț: 349.54 lei 436.93 lei
6-8 săpt.
-20%
Algorithms - ESA 2014: 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings
Editat de Andreas S. Schulz et al.
3 sep 2014
Paperback
Preț: 347.34 lei 434.18 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
Editat de Tiziana Margaria et al.
7 oct 2014
Paperback
Preț: 337.18 lei 421.48 lei
6-8 săpt.
-20%
Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Editat de Mohua Banerjee et al.
5 dec 2014
Paperback
Preț: 317.23 lei 396.54 lei
6-8 săpt.
-20%
Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
Autor Ronald de Haan
31 dec 2019
Paperback
Preț: 496.40 lei 584.00 lei
3-5 săpt. | 7-11 zile
-15%
Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Editat de Dun Deng et al.
17 dec 2020
Paperback
Preț: 454.39 lei 567.99 lei
6-8 săpt.
-20%