Numeric Computing.
Overview
Works: | 507 works in 345 publications in 345 languages |
---|
Titles
WALCOM: Algorithms and Computation :Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings /
by:
(Electronic resources)
Approximation and Online Algorithms :5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers /
by:
(Electronic resources)
Combinatorial Image Analysis12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings /
by:
(Electronic resources)
Euro-Par 2007 Workshops: Parallel ProcessingHPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Electronic resources)
Latin 2008theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings /
by:
(Electronic resources)
Nonlinear Physical OceanographyA Dynamical Systems Approach to the Large Scale Ocean Circulation and El Nino, 2nd Revised and Enlarged Edition /
by:
(Electronic resources)
Large-Scale Scientific Computing5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers /
by:
(Electronic resources)
Approximation and Online Algorithms (vol. # 3879)Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers /
by:
(Electronic resources)
Efficient Approximation and Online AlgorithmsRecent Progress on Classical Combinatorial Optimization Problems and New Applications /
by:
(Electronic resources)
Computers and Games4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers /
by:
(Electronic resources)
LATIN 2006: Theoretical Informatics7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /
by:
(Electronic resources)
Theoretical Computer Science (vol. # 3895)Essays in Memory of Shimon Even /
by:
(Electronic resources)
Evolutionary Computation in Combinatorial Optimization (vol. # 3906)6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings /
by:
(Electronic resources)
Artificial Evolution7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers /
by:
(Electronic resources)
Computational Science and Its Applications - ICCSA 2006 (vol. # 3980)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I /
by:
(Electronic resources)
Computational Science and Its Applications - ICCSA 2006 (vol. # 3981)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II /
by:
(Electronic resources)
Recent Advances in Constraints (vol. # 3978)Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Ppers /
by:
(Electronic resources)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990)Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /
by:
(Electronic resources)
Computational Science - ICCS 2006 (vol. # 3991)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I /
by:
(Electronic resources)
Computational Science - ICCS 2006 (vol. # 3992)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II /
by:
(Electronic resources)
Computational Science - ICCS 2006 (vol. # 3993)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III /
by:
(Electronic resources)
Computational Science - ICCS 2006 (vol. # 3994)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV /
by:
(Electronic resources)
Experimental Algorithms5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings /
by:
(Electronic resources)
Combinatorial Image Analysis (vol. # 4040)11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings /
by:
(Electronic resources)
Algorithmic Aspects in Information and ManagementSecond International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings /
by:
(Electronic resources)
Automata, Languages and Programming (vol. # 4051)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part I /
by:
(Electronic resources)
Automata, Languages and Programming (vol. # 4052)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part II /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
by:
(Electronic resources)
Euro-Par 2006 Parallel Processing12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings /
by:
(Electronic resources)
Mathematical Software - ICMS 2006Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /
by:
(Electronic resources)
Ant Colony Optimization and Swarm Intelligence5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings /
by:
(Electronic resources)
Algorithms - ESA 200614th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /
by:
(Electronic resources)
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /
by:
(Electronic resources)
Sequences and Their Applications u SETA 20064th International Conference, Beijing, China, September 24-28, 2006, Proceedings /
by:
(Electronic resources)
Hybrid Metaheuristics (vol. # 4030)Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings /
by:
(Electronic resources)
Graph-Theoretic Concepts in Computer Science (vol. # 4271)32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers /
by:
(Electronic resources)
Advances in Computer Games11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers /
by:
(Electronic resources)
Algorithms and Computation (vol. # 4288)17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /
by:
(Electronic resources)
Algorithmic Aspects in Information and Management4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings /
by:
(Electronic resources)
Frontiers in AlgorithmicsSecond Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings /
by:
(Electronic resources)
Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I /
by:
(Electronic resources)
Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II /
by:
(Electronic resources)
Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III /
by:
(Electronic resources)
Computational Science and Its Applications ICCSA 2008International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I /
by:
(Electronic resources)
Computational Science and Its Applications ICCSA 2008International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II /
by:
(Electronic resources)
Approximation and Online AlgorithmsSecond International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers /
by:
(Electronic resources)
Numerical Analysis and Its ApplicationsThird International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers /
by:
(Electronic resources)
Evolutionary Multi-Criterion OptimizationThird International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings /
by:
(Electronic resources)
Recent Advances in Constraintsjoint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
by:
(Electronic resources)
Evolutionary Computation in Combinatorial Optimization5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings /
by:
(Electronic resources)
Scale Space and PDE Methods in Computer Vision5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings /
by:
(Electronic resources)
Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.I /
by:
(Electronic resources)
Computational science and its applications, ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings .II
by:
(Electronic resources)
Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12. 2005, Proceedings .III
by:
(Electronic resources)
Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.IV /
by:
(Electronic resources)
Experimental and Efficient Algorithms4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /
by:
(Electronic resources)
Global Optimization and Constraint SatisfactionSecond International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /
by:
(Electronic resources)
Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.I /
by:
(Electronic resources)
Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.II /
by:
(Electronic resources)
Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.III
by:
(Electronic resources)
Sequences and Their Applications - SETA 2004Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers /
by:
(Electronic resources)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ProblemsSecond International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 /
by:
(Electronic resources)
Integer Programming and Combinatorial Optimization11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings /
by:
(Electronic resources)
Algorithmic Applications in ManagementFirst International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
(Electronic resources)
Computer Algebra and Geometric Algebra with Applications6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers /
by:
(Electronic resources)
Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
(Electronic resources)
Algorithms and Data Structures9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings /
by:
(Electronic resources)
Hybrid MetaheuristicsSecond International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings /
by:
(Electronic resources)
Euro-Par 2005 Parallel Processing11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings /
by:
(Electronic resources)
Recent Advances in Parallel Virtual Machine and Message Passing Interface :12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
by:
(Electronic resources)
Algorithms - ESA 2005 :13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
by:
(Electronic resources)
Advanced Parallel Processing Technologies :6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
by:
(Electronic resources)
Practice and Theory of Automated Timetabling V :5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
by:
(Electronic resources)
Algorithms and Computation :16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
by:
(Electronic resources)
Graph-Theoretic Concepts in Computer Science :31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
by:
(Electronic resources)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(Electronic resources)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Electronic resources)
Intelligent Computer Mathematics9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
by:
(Electronic resources)
Combinatorial Optimization and ApplicationsSecond International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings /
by:
(Electronic resources)
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings /
by:
(Electronic resources)
Euro-Par 2008 -- Parallel Processing14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings /
by:
(Electronic resources)
Reliable Implementation of Real Number Algorithms: Theory and PracticeInternational Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
by:
(Electronic resources)
Recent advances in parallel virtual machine and message passing interface15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 : proceedings /
by:
(Language materials, printed)
Ant colony optimization and swarm intelligence6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings /
by:
(Language materials, printed)
Computers and games6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings /
by:
(Language materials, printed)
Algorithms - ESA 200816th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings /
by:
(Language materials, printed)
Computer mathematics8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers /
by:
(Language materials, printed)
Algorithms and computation19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science34th international workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. revised papers /
by:
(Language materials, printed)
Learning and intelligent optimizationsecond international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers /
by:
(Language materials, printed)
Large-scale scientific computing6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers /
by:
(Language materials, printed)
Approximation and online algorithms6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers /
by:
(Electronic resources)
WALCOM: algorithms and computationthird international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /
by:
(Electronic resources)
Numerical analysis and its applications4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers /
by:
(Electronic resources)
Euro-Par 2008 workshops - parallel processingVHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Evolutionary multi-criterion optimization5th international conference, EMO 2009, Nantes, France, April 7-10, 2009, proceedings /
by:
(Electronic resources)
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings /
by:
(Electronic resources)
Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part II /
by:
(Electronic resources)
Implicit curves and surfacesmathematics, data structures and algorithms /
by:
(Electronic resources)
Implementing spectral methods for partial differential equationsalgorithms for scientists and engineers /
by:
(Electronic resources)
Algorithmics of large and complex networksdesign, analysis, and simulation /
by:
(Electronic resources)
Algorithmic aspects in information and management5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings /
by:
(Electronic resources)
Computational science and its appilcations, ICCSA 2009international conference, Seoul, Korea, June 29-July 2, 2009 : Proceedings.Part I /
by:
(Electronic resources)
Computational science and its appilcations, ICCSA 2009international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.Part II /
by:
(Electronic resources)
Intelligent computer mathematics16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings /
by:
(Electronic resources)
Recent advances in constraints13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
by:
(Electronic resources)
Algorithms and data structures11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings /
by:
(Electronic resources)
Mathematical morphology and its application to signal and image processing9th international symposium, ISMM 2009 Groningen, the Netherlands, August 24-27, 2009 : proceedings /
by:
(Electronic resources)
Approximation, randomization, and combinatorial optimizationalgorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009 : proceedings /
by:
(Electronic resources)
Parallel computing technologies10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings /
by:
(Electronic resources)
Efficient algorithmsessays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday /
by:
(Electronic resources)
Computational methods in systems biology7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /
by:
(Electronic resources)
Algorithmic game theorysecond international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings /
by:
(Electronic resources)
System modeling and optimization23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers /
by:
(Electronic resources)
Combinatorial image analysis13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009 : proceedings /
by:
(Electronic resources)
Algorithms and computation20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings /
by:
(Electronic resources)
Value-range analysis of C programstowards proving the absence of buffer overflow vulnerabilities /
by:
(Electronic resources)
Integer programming and combinatorial optimization14th international conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010 : proceedings /
by:
(Electronic resources)
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems7th international conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 : proceedings /
by:
(Electronic resources)
Multiscale, nonlinear and adaptive approximationdedicated to Wolfgang Dahmen on the occasion of his 60th birthday /
by:
(Electronic resources)
Algorithms and complexity7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers /
by:
(Electronic resources)
Approximation and online algorithms7th International Workshop, WAOA 2009, Copenhagen Denmark, September 10-11, 2009 : revised papers /
by:
(Electronic resources)
Algorithm engineeringbridging the gap between algorithm theory and practice /
by:
(Electronic resources)
Mathematical software - ICMS 2010Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010, proceedings /
by:
(Electronic resources)
Euro-Par 2010 - parallel processing16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.Part II /
by:
(Electronic resources)
Algorithms - ESA 201018th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.Part II /
by:
(Electronic resources)
Algorithms - ESA 201018th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.Part I /
by:
(Electronic resources)
Euro-Par 2010 - parallel processing16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.Part I /
by:
(Electronic resources)
Swarm intelligence7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010, proceedings /
by:
(Electronic resources)
Algorithmic game theorythird international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings /
by:
(Electronic resources)
Numerical methods for ordinary differential equationsinitial value problems /
by:
(Electronic resources)
Algorithms and computation21st international symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010 : proceedings, part II /
by:
(Electronic resources)
Algorithms and computation21st international symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010 : proceedings, part I /
by:
(Electronic resources)
Numerical methods and applications7th international conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010 : revised papers /
by:
(Electronic resources)
Approximation and online algorithms8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers /
by:
(Electronic resources)
Computational science and high performance computing IVthe 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009 /
by:
(Electronic resources)
Evolutionary multi-criterion optimization6th international conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011 : proceedings /
by:
(Electronic resources)
Theory and practice of algorithms in (computer) systemsfirst international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings /
by:
(Electronic resources)
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011 : proceedings /
by:
(Electronic resources)
Combinatorial image analysis14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 : proceedings /
by:
(Electronic resources)
Integer programming and combinatoral optimization15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings /
by:
(Electronic resources)
Mathematical morphology and its applications to image and signal processing10th international symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings /
by:
(Electronic resources)
AlgorithmsESA 2011 : 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings /
by:
(Electronic resources)
Euro-Par 2011 parallel processing17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.Part I /
by:
(Electronic resources)
Euro-Par 2011 parallel processing17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.Part II /
by:
(Electronic resources)
Algorithms and data structures12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings /
by:
(Electronic resources)
Parallel computing technologies11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings /
by:
(Electronic resources)
Computational logisticssecond international conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011 : proceedings /
by:
(Electronic resources)
Algorithmic game theory4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings /
by:
(Electronic resources)
Transactions on computational science XIVspecial issue on Voronoi diagrams and Delaunay triangulation /
by:
(Electronic resources)
Algorithms and computation22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 : proceedings /
by:
(Electronic resources)
Mathematical modeling and computational scienceinternational conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(Electronic resources)
Introduction to programming with Fortranwith coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Electronic resources)
Competence in high performance computing 2010proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany /
by:
(Electronic resources)
Automated solution of differential equations by the finite element methodthe FEniCS book /
by:
(Electronic resources)
Approximation and online algorithms9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
by:
(Electronic resources)
Mathematical modelling and scientific computationInternational Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings /
by:
(Electronic resources)
LATIN 2012: Theoretical informatics10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(Electronic resources)
Variational analysis and aerospace engineeringmathematical challenges for aerospace design : contributions from a workshop held at the School of Mathematics in Erice, Italy /
by:
(Electronic resources)
Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(Electronic resources)
Facing the multicore - Challenge IIaspects of new paradigms and technologies in parallel computing /
by:
(Electronic resources)
Combinatorial pattern matching23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings /
by:
(Electronic resources)
Automated reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings /
by:
(Electronic resources)
Advances in computer games13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers /
by:
(Electronic resources)
Rough sets and knowledge technology7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012 : proceedings /
by:
(Electronic resources)
Rough sets and current trends in computing8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012 : proceedings /
by:
(Electronic resources)
Combinatorial optimizationSecond International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers /
by:
(Electronic resources)
Approximation, randomization, and combinatorial optimizationalgorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012 : proceedings /
by:
(Electronic resources)
Uncertainty quantification in scientific computing10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers /
by:
(Electronic resources)
Similarity search and applications5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012 : proceedings /
by:
(Electronic resources)
Mathematical foundations of computer science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Euro-Par 2012 parallel processing18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings /
by:
(Electronic resources)
Algorithms - ESA 201220th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(Electronic resources)
Algorithms in bioinformatics12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(Electronic resources)
Parameterized and exact computation7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings /
by:
(Electronic resources)
Computational intelligence for multimedia understandingInternational Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011 : revised selected papers /
by:
(Electronic resources)
Computational intelligence and intelligent systems6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012 : proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings /
by:
(Electronic resources)
Algorithmic game theory5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings /
by:
(Electronic resources)
Learning and intelligent optimization6th International Conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers /
by:
(Electronic resources)
Modeling decisions for artificial intelligence9th international conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012 : proceedings /
by:
(Electronic resources)
Combinatorial Image Analaysis15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings /
by:
(Electronic resources)
Recent advances in constraints12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
(Electronic resources)
Design and analysis of algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings /
by:
(Electronic resources)
Artificial evolution10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers /
by:
(Electronic resources)
Algorithms and computation23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings /
by:
(Electronic resources)
Combinatorial image analysis16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014 : proceedings /
by:
(Electronic resources)
Efficient algorithms for global optimization methods in computer visionInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011 : revised selected papers /
by:
(Electronic resources)
Progress in cryptology - AFRICACRYPT 20147th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014 : proceedings /
by:
(Electronic resources)
Integration of AI and OR techniques in constraint programming11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : proceedings /
by:
(Electronic resources)
Computer science - theory and applications9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings /
by:
(Electronic resources)
Combinatorial pattern matching25th annual symposium, CPM 2014, Moscow, Russia, June 16-18, 2014 : proceedings /
by:
(Electronic resources)
Hybrid metaheuristics9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings /
by:
(Electronic resources)
Experimental algorithms13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings /
by:
(Electronic resources)
Approximation and online algorithms11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers /
by:
(Electronic resources)
Rough sets and current trends in soft computing9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013 : revised selected papers /
by:
(Electronic resources)
Automated reasoning7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings /
by:
(Electronic resources)
Combinatorial optimizationthird International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014 : revised selected papers /
by:
(Electronic resources)
Learning and intelligent optimization8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014 : revised selected papers /
by:
(Electronic resources)
Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimisation14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
by:
(Electronic resources)
Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II /
by:
(Electronic resources)
Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I /
by:
(Electronic resources)
Theoretical computer science8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(Electronic resources)
Algorithms - ESA 201422th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : proceedings /
by:
(Language materials, printed)
Rough sets and knowledge technology9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014 : proceedings /
by:
(Language materials, printed)
Advances in swarm intelligence5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014 : proceedings.Part I /
by:
(Language materials, printed)
Advances in swarm intelligence5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014 : proceedings.Part II /
by:
(Language materials, printed)
Algorithmic game theory7th International Symposium, SAGT 2014, Haifa, Israel, September 30 - October 2, 2014 : proceedings /
by:
(Language materials, printed)
Artificial evolution11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013 : revised selected papers /
by:
(Electronic resources)
Similarity search and applications7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2014 : proceedings /
by:
(Electronic resources)
Modeling decisions for artificial intelligence11th International Conference, MDAI 2014, Tokyo, Japan, October 29-31, 2014 : proceedings /
by:
(Electronic resources)
System modeling and optimization26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013 : revised selected papers /
by:
(Electronic resources)
Combinatorial optimization and applications8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings /
by:
(Electronic resources)
Algorithms and discrete applied mathematicsfirst International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
by:
(Electronic resources)
Computer algebra and polynomialsapplications of algebra and number theory /
by:
(Electronic resources)
Numerical methods and applications8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014 : revised selected papers /
by:
(Electronic resources)
Evolutionary multi-criterion optimization8th International Conference, EMO 2015, Guimaraes, Portugal, March 29 - April 1, 2015 : proceedings.Part II /
by:
(Electronic resources)
Evolutionary multi-criterion optimization8th International Conference, EMO 2015, Guimaraes, Portugal, March 29 - April 1, 2015 : proceedings.Part I /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015 : proceedings /
by:
(Electronic resources)
Integration of AI and OR techniques in constraint programming12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015 : proceedings /
by:
(Electronic resources)
Approximation and online algorithms12th International Workshop, WAOA 2014, Wroclaw, Poland, September 11-12, 2014 : revised selected papers /
by:
(Electronic resources)
Optimization in the natural sciences30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014 : revised selected papers /
by:
(Electronic resources)
Combinatorial pattern matching26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015 : proceedings /
by:
(Electronic resources)
Experimental algorithms14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings /
by:
(Electronic resources)
Computer science - theory and applications10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings /
by:
(Electronic resources)
Advances in swarm and computational intelligence6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015 : proceedings.Part I /
by:
(Electronic resources)
Advances in swarm and computational intelligence6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015 : proceedings.Part III /
by:
(Electronic resources)
Advances in swarm and computational intelligence6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015 : proceedings.Part II /
by:
(Electronic resources)
Algorithms and Data Structures14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings /
by:
(Electronic resources)
Parallel computing technologies13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings /
by:
(Electronic resources)
Modeling decisions for artificial intelligence12th International Conference, MDAI 2015, Skovde, Sweden, September 21-23, 2015 : proceedings /
by:
(Electronic resources)
Mathematical foundations of computer science 201540th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I /
by:
(Electronic resources)
Mathematical modeling of technological processes8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings /
by:
(Electronic resources)
Similarity search and applications8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Rough sets and knowledge technology10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 20-23, 2015 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(Electronic resources)
Algorithmic game theory8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 28-30, 2015 : proceedings /
by:
(Electronic resources)
Algorithms and computation26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings /
by:
(Electronic resources)
Recent trends in computational engineering - CE2014optimization, uncertainty, parallel algorithms, coupled and complex problems /
by:
(Electronic resources)
Multiple shooting and time domain decomposition methodsMuS-TDD, Heidelberg, May 6-8, 2013 /
by:
(Electronic resources)
Combinatorial optimization and applications9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings /
by:
(Electronic resources)
Web and internet economics11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015 : proceedings /
by:
(Electronic resources)
Approximation and online algorithms13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(Electronic resources)
Application of geometric algebra to electromagnetic scatteringthe Clifford-Cauchy-Dirac technique /
by:
(Electronic resources)
Innovations in computer science and engineeringproceedings of the Third ICICSE, 2015 /
by:
(Electronic resources)
Algorithms and discrete applied mathematicssecond International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings /
by:
(Electronic resources)
Artificial evolution12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers /
by:
(Electronic resources)
Computational statics and dynamicsan introduction based on the finite element method /
by:
(Electronic resources)
Progress in cryptology - AFRICACRYPT 20168th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016 : proceedings /
by:
(Electronic resources)
Integration of AI and OR techniques in constraint programming13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016 : proceedings /
by:
(Electronic resources)
Experimental algorithms15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(Electronic resources)
Hybrid metaheuristics10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(Electronic resources)
Mathematical software - ICMS 20165th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(Electronic resources)
Programming for computations - Pythona gentle introduction to numerical simulations with Python /
by:
(Electronic resources)
Algorithms in bioinformatics16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings /
by:
(Electronic resources)
Algorithmic game theory9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Programming for computations - MATLAB/Octavea gentle introduction to numerical simulations with MATLAB/Octave /
by:
(Electronic resources)
Discrete optimization and operations research9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016 : proceedings /
by:
(Electronic resources)
Combinatorial Optimization4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers /
by:
(Electronic resources)
Computer algebra in scientific computing18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
by:
(Electronic resources)
Modeling decisions for artificial intelligence13th International Conference, MDAI 2016, Sant Julia de Loria, Andorra, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Similarity search and applications9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016 : proceedings /
by:
(Electronic resources)
IsoGeometric analysisa new paradigm in the numerical approximation of PDEs : Cetraro, Italy 2012 /
by:
(Electronic resources)
Supercomputingsecond Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers /
by:
(Electronic resources)
System modeling and optimization27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015 : revised selected papers /
by:
(Electronic resources)
Game theory for networks6th International Conference, GameNets 2016, Kelowna, BC, Canada, May 11-12, 2016 : revised selected papers /
by:
(Electronic resources)
Approximation and online algorithms14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers /
by:
(Electronic resources)
Advanced finite element simulation with MSC Marcapplication of user subroutines /
by:
(Electronic resources)
Algorithms and discrete applied mathematicsthird International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings /
by:
(Electronic resources)
Latent variable analysis and signal separation13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017 : proceedings /
by:
(Electronic resources)
Evolutionary multi-criterion optimization9th International Conference, EMO 2017, Munster, Germany, March 19-22, 2017 : proceedings /
by:
(Electronic resources)
Computational realitysolving nonlinear and coupled problems in continuum mechanics /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings /
by:
(Electronic resources)
Codes, cryptology and information securitysecond International Conference, C2SI 2017, Rabat, Morocco, April 10-12, 2017 : proceedings - In honor of Claude Carlet /
by:
(Electronic resources)
Numerical analysis and its applications6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016 : revised selected papers /
by:
(Electronic resources)
Integration of AI and OR techniques in constraint programming14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017 : proceedings /
by:
(Electronic resources)
Understanding and using rough set based feature selectionconcepts, techniques and applications /
by:
(Electronic resources)
Algorithms and data structures15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017 : proceedings /
by:
(Electronic resources)
Computing and combinatorics23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017 : proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part I /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
(Electronic resources)
Coding theory and applications5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017 : proceedings /
by:
(Electronic resources)
Combinatorics on words11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017 : proceedings /
by:
(Electronic resources)
Game theory for networks7th International EAI Conference, GameNets 2017 Knoxville, TN, USA, May 9, 2017 : proceedings /
by:
(Electronic resources)
Modeling decisions for artificial intelligence14th International Conference, MDAI 2017, Kitakyushu, Japan, October 18-20, 2017 : proceedings /
by:
(Electronic resources)
Parallel computational technologies11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017 : revised selected papers /
by:
(Electronic resources)
Parallel architecture, algorithm and programming8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017 : proceedings /
by:
(Electronic resources)
Learning and intelligent optimization11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017 : revised selected papers /
by:
(Electronic resources)
Selected areas in cryptography - SAC 201623rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers /
by:
(Electronic resources)
Analytical and computational methods in probability theoryfirst International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017 : revised selected papers /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201716th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017 : revised selected papers.Part I /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201716th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017 : revised selected papers.Part II /
by:
(Electronic resources)
WALCOMalgorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018 : proceedings /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization18th European Conference, EvoCOP 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(Electronic resources)
Energy minimization methods in computer vision and pattern recognition11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 - November 1, 2017 : revised selected papers /
by:
(Electronic resources)
Artificial evolution13th International Conference, Evolution Artificielle, EA 2017, Paris, France, October 25-27, 2017 : revised selected papers /
by:
(Electronic resources)
Research in computational molecular biology22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018 : proceedings /
by:
(Electronic resources)
Combinatorial algorithms28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017 : revised selected papers /
by:
(Electronic resources)
Latent variable analysis and signal separation14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018 : proceedings /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018 : proceedings /
by:
(Electronic resources)
Pattern recognition applications and methods6th International Conference, ICPRAM 2017, Porto, Portugal, February 24-26, 2017 : revised selected papers /
by:
(Electronic resources)
Logic, language, information, and computation25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings /
by:
(Electronic resources)
Computing and combinatorics24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018 : proceedings /
by:
(Electronic resources)
Combinatorial optimization5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018 : revised selected papers /
by:
(Electronic resources)
Sailing routes in the world of computation14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XV15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.Part I /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XV15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.Part II /
by:
(Electronic resources)
Introduction to parallel computingfrom algorithms to programming on state-of-the-art platforms /
by:
(Electronic resources)
Computational logistics9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1-3, 2018 : proceedings /
by:
(Electronic resources)
Declarative programming and knowledge managementConference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
by:
(Electronic resources)
Algorithmic aspects in information and management12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018 : proceedings /
by:
(Electronic resources)
Approximation and online algorithms16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018 : revised selected papers /
by:
(Electronic resources)
Computer sciencetheory and applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016 : proceedings /
by:
(Electronic resources)
Finite difference methodstheory and applications : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018 : revised selected papers /
by:
(Electronic resources)
Computational and information technologies in science, engineering and education9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018 : revised selected papers /
by:
(Electronic resources)
Variable neighborhood search6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018 : revised selected papers /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization19th European Conference, EvoCOP 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019 : proceedings /
by:
(Electronic resources)
Supercomputing4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018 : revised selected papers /
by:
(Electronic resources)
Learning and intelligent optimization12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018 : revised selected papers /
by:
(Electronic resources)
Hybrid metaheuristics11th International Workshop, HM 2019, Concepcion, Chile, January 16-18, 2019 : proceedings /
by:
(Electronic resources)
Numerical Methods and Applications9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018 : revised selected papers /
by:
(Electronic resources)
Molecular logic and computational synthetic biologyfirst International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers /
by:
(Electronic resources)
Integer programming and combinatorial optimization20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019 : proceedings /
by:
(Electronic resources)
Advances in swarm intelligence8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.Part I /
by:
(Electronic resources)
Advances in swarm intelligence8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.Part II /
by:
(Electronic resources)
Combinatorial optimization and applications11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017 : proceedings.Part I /
by:
(Electronic resources)
Combinatorial optimization and applications11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017 : proceedings.Part II /
by:
(Electronic resources)
Computational methods in systems biology15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017 : proceedings /
by:
(Electronic resources)
Frontiers in algorithmics11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017 : proceedings /
by:
(Electronic resources)
Neural information processing24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.Part III /
by:
(Electronic resources)
Parallel computing technologies14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings /
by:
(Electronic resources)
Progress in cryptology - AFRICACRYPT 20179th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017 : proceedings /
by:
(Electronic resources)
Functional imaging and modeling of the heart10th International Conference, FIMH 2019, Bordeaux, France, June 6-8, 2019 : proceedings /
by:
(Electronic resources)
Scale space and variational methods in computer vision7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 - July 4, 2019 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 201916th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019 : proceedings.Part I /
by:
(Electronic resources)
Advances in neural networks - ISNN 201916th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019 : proceedings.Part II /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
by:
(Electronic resources)
Mathematical optimization theory and operations research18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019 : proceedings /
by:
(Electronic resources)
Parallel computational technologies13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers /
by:
(Electronic resources)
Hybrid systems biology6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019 : revised selected papers /
by:
(Electronic resources)
Computing and combinatorics25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019 : proceedings /
by:
(Electronic resources)
Algorithms and data structures16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019 : proceedings /
by:
(Electronic resources)
Algorithmic aspects in information and management13th International Conference, AAIM 2019, Beijing, China, August 6-8, 2019 : proceedings /
by:
(Electronic resources)
Statistical language and speech processing7th International Conference, SLSP 2019, Ljubljana, Slovenia, October 14-16, 2019 : proceedings /
by:
(Electronic resources)
Network and parallel computing16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019 : proceedings /
by:
(Electronic resources)
Computational logistics10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 - October 2, 2019 : proceedings /
by:
(Electronic resources)
Advances in bioinformatics and computational biology11th Brazilian Symposium on Bioinformatics, BSB 2018, Niteroi, Brazil, October 30 - November 1, 2018 : proceedings /
by:
(Electronic resources)
Algorithms for computational biology5th International Conference, AlCoB 2018, Hong Kong, China, June 25-26, 2018 : proceedings /
by:
(Electronic resources)
Approximation and online algorithms15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017 : revised selected papers /
by:
(Electronic resources)
Cellular automata and discrete complex systems24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018 : proceedings /
by:
(Electronic resources)
Computer sciencetheory and applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018 : proceedings /
by:
(Electronic resources)
Frontiers in algorithmics12th International Workshop, FAW 2018, Guangzhou, China, May 8-10, 2018 : proceedings /
by:
(Electronic resources)
Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings /
by:
(Electronic resources)
Relational and algebraic methods in computer science17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29 - November 1, 2018 : proceedings /
by:
(Electronic resources)
Swarm intelligence11th International Conference, ANTS 2018, Rome, Italy, October 29-31, 2018 : proceedings /
by:
(Electronic resources)
Computer supported cooperative work and social computing14th CCF Conference, ChineseCSCW 2019, Kunming, China, August 16-18, 2019 : revised selected papers /
by:
(Electronic resources)
Algebra, codes and cryptologyfirst International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5-7, 2019 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networks22nd International Conference, DCCN 2019, Moscow, Russia, September 23-27, 2019 : revised selected papers /
by:
(Electronic resources)
Artificial evolution14th International Conference, Evolution Artificielle, EA 2019, Mulhouse, France, October 29-30, 2019 : revised selected papers /
by:
(Electronic resources)
Practical MATLAB modeling with Simulinkprogramming and simulating ordinary and partial differential equations /
by:
(Electronic resources)
Bio-inspired computingtheories and applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019 : revised selected papers.Part I /
by:
(Electronic resources)
Relational and algebraic methods in computer science18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing and fuzzy and neural computing7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10-12, 2019 : revised selected papers /
by:
(Electronic resources)
Programming for computationsPython : a gentle introduction to numerical simulations with Python 3.6 /
by:
(Electronic resources)
Combinatorial optimization6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020 : revised selected papers /
by:
(Electronic resources)
Topics in theoretical computer scienceThird IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020 : proceedings /
by:
(Electronic resources)
Coalgebraic methods in computer science15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings /
by:
(Electronic resources)
Mathematical optimization theory and operations research19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020 : revised selected papers /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020 : proceedings /
by:
(Electronic resources)
Understanding and using rough set based feature selectionConcepts, Techniques and Applications /
by:
(Electronic resources)
Algebraic informatics8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4, 2019 : proceedings /
by:
(Electronic resources)
Algorithmic game theory12th International Symposium, SAGT 2019, Athens, Greece, September 30 - October 3, 2019 : proceedings /
by:
(Electronic resources)
Algorithms and discrete applied mathematics5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019 : proceedings /
by:
(Electronic resources)
Algorithms for computational biology6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28-30, 2019 : proceedings /
by:
(Electronic resources)
Cellular automata and discrete complex systems25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019 : proceedings /
by:
(Electronic resources)
Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings /
by:
(Electronic resources)
Frontiers in algorithmics13th International Workshop, FAW 2019, Sanya, China, April 29 - May 3, 2019 : proceedings /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making7th International Symposium, IUKM 2019, Nara, Japan, March 27-29, 2019 : proceedings /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019 : proceedings /
by:
(Electronic resources)
Quantum technology and optimization problemsfirst International Workshop, QTOP 2019, Munich, Germany, March 18, 2019 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019 : proceedings /
by:
(Electronic resources)
WALCOMalgorithms and computation : 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019 : proceedings /
by:
(Electronic resources)
Computational diffusion MRIInternational MICCAI Workshop, Granada, Spain, September 2018 /
by:
(Electronic resources)
Swarm intelligence12th International Conference, ANTS 2020, Barcelona, Spain, October 26-28, 2020 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 202017th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4-6, 2020 : proceedings /
by:
(Electronic resources)
Computational diffusion MRIMICCAI Workshop, Shenzhen, China, October 2019 /
by:
(Electronic resources)
Supercomputing6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020 : revised selected papers /
by:
(Electronic resources)
Active inferencefirst International Workshop, IWAI 2020, co-located with ECML/PKDD 2020, Ghent, Belgium, September 14, 2020 : proceedings /
by:
(Electronic resources)
Intelligent robotics and applications13th International Conference, ICIRA 2020, Kuala Lumpur, Malaysia, November 5-7, 2020 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings /
by:
(Electronic resources)
Computational statics and dynamicsan introduction based on the finite element method /
by:
(Electronic resources)
Accelerator programming using directives7th International Workshop, WACCPD 2020, virtual event, November 20, 2020 : proceedings /
by:
(Electronic resources)
Information technologies and mathematical modellingqueueing theory and applications : 19th International Conference, ITMM 2020, Named after A.F. Terpugov, Tomsk, Russia, December 2-5, 2020 : revised selected papers /
by:
(Electronic resources)
Human centered computing6th International Conference, HCC 2020, Virtual Event, December 14-15, 2020 : revised selected papers /
by:
(Electronic resources)
Information security and cryptology - ICISC 202023rd International Conference, Seoul, South Korea, December 2-4, 2020 : proceedings /
by:
(Electronic resources)
Arithmetic of finite fields8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020 : revised selected and invited papers /
by:
(Electronic resources)
Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020 : proceedings.Part III /
by:
(Electronic resources)
Advances in cryptology - EUROCRYPT 202140th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021 : proceedings.Part I /
by:
(Electronic resources)
Computer science - theory and applications16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021 : proceedings /
by:
(Electronic resources)
Numerical Python in astronomy and astrophysicsa practical guide to astrophysical problem solving /
by:
(Electronic resources)
Optimization and learning4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021 : proceedings /
by:
(Electronic resources)
Parallel computing technologies16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021 : proceedings /
by:
(Electronic resources)
Network games, control and optimization10th International Conference, NetGCooP 2020, France, September 22-24, 2021 : proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part I /
by:
(Electronic resources)
Machine learning and knowledge discovery in databasesResearch track : European Conference, ECML PKDD 2021, Bilbao, Spain, September 13-17, 2021 : proceedings.Part III /
by:
(Electronic resources)
Monte Carlo Searchfirst workshop, MCS 2020, held in conjunction with IJCAI 2020, virtual event, January 7, 2021 : proceedings /
by:
(Electronic resources)
Artificial intelligence and soft computing20th International Conference, ICAISC 2021, virtual event, June 21-23, 2021 : proceedings.Part I /
by:
(Electronic resources)
Intelligent robotics and applications14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021 : proceedings.Part II /
by:
(Electronic resources)
Intelligent robotics and applications14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021 : proceedings.Part IV /
by:
(Electronic resources)
Show more
Fewer
Subjects