Search Results for - Narrowed by: Programming Techniques. - Computer software.

Algorithms for Functional Programming

2024-05-23T08:16:08Z

by Stone, John David. author.
https://doi.org/10.1007/978-3-662-57970-1
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-05-23T08:16:08Z

by Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-05-23T08:16:08Z

by Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-23T08:16:08Z

by Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2024-05-23T08:16:08Z

by Heckel, Reiko. editor.
https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources

Random-Like Bi-level Decision Making

2024-05-23T08:16:08Z

by Xu, Jiuping. author.
https://doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-05-23T08:16:08Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2024-05-23T08:16:08Z

by Sarro, Federica. editor.
https://doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-05-23T08:16:08Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-05-23T08:16:08Z

by Shen, Xipeng. editor.
https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2024-05-23T08:16:08Z

by Carretero, Jesus. editor.
https://doi.org/10.1007/978-3-319-49583-5
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-23T08:16:08Z

by Dutot, Pierre-François. editor.
https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-05-23T08:16:08Z

by Falcone, Yliès. editor.
https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-23T08:16:08Z

by Lluch Lafuente, Alberto. editor.
https://doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers

2024-05-23T08:16:08Z

by Voevodin, Vladimir. editor.
https://doi.org/10.1007/978-3-319-55669-7
Format: Electronic Resources

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

2024-05-23T08:16:08Z

by Gorentla Venkata, Manjunath. editor.
https://doi.org/10.1007/978-3-319-50995-2
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-05-23T08:16:08Z

by Gavanelli, Marco. editor.
https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2024-05-23T08:16:08Z

by O’Neill, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-78671-9
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-05-23T08:16:08Z

by Frachtenberg, Eitan. editor.
http://dx.doi.org/10.1007/978-3-540-78699-3
Format: Electronic Resources

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2024-05-23T08:16:08Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: Electronic Resources

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2024-05-23T08:16:08Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: Electronic Resources

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings

2024-05-23T08:16:08Z

by Rao, Shrisha. editor.
http://dx.doi.org/10.1007/978-3-540-77444-0
Format: Electronic Resources

Probabilistic Inductive Logic Programming Theory and Applications

2024-05-23T08:16:08Z

by Raedt, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings

2024-05-23T08:16:08Z

by Marchiori, Elena. editor.
http://dx.doi.org/10.1007/978-3-540-78757-0
Format: Electronic Resources

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2024-05-23T08:16:08Z

by Železný, Filip. editor.
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2024-05-23T08:16:08Z

by Labarta, Jesús. editor.
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN X 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings

2024-05-23T08:16:08Z

by Rudolph, Günter. editor.
http://dx.doi.org/10.1007/978-3-540-87700-4
Format: Electronic Resources

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2024-05-23T08:16:08Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

2024-05-23T08:16:08Z

by Taubenfeld, Gadi. editor.
http://dx.doi.org/10.1007/978-3-540-87779-0
Format: Electronic Resources

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2024-05-23T08:16:08Z

by Chapman, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources

The Algorithm Design Manual

2024-05-23T08:16:08Z

by Skiena, Steven S. author.
http://dx.doi.org/10.1007/978-1-84800-070-4
Format: Electronic Resources

Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

2024-05-23T08:16:08Z

by Verdone, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-77690-1
Format: Electronic Resources

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2024-05-23T08:16:08Z

by Mueller, Matthias S. editor.
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources

Genetic Programming Theory and Practice V

2024-05-23T08:16:08Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-0-387-76308-8
Format: Electronic Resources

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2024-05-23T08:16:08Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Electronic Resources

Constraint Handling Rules Current Research Topics

2024-05-23T08:16:08Z

by Schrijvers, Tom. editor.
http://dx.doi.org/10.1007/978-3-540-92243-8
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-05-23T08:16:08Z

by Frachtenberg, Eitan. editor.
http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Electronic Resources

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

2024-05-23T08:16:08Z

by Ganzha, Victor G. editor.
http://dx.doi.org/10.1007/978-3-540-75187-8
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2024-05-23T08:16:08Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Electronic Resources

Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings

2024-05-23T08:16:08Z

by Chahed, Tijani. editor.
http://dx.doi.org/10.1007/978-3-540-72709-5
Format: Electronic Resources

Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings

2024-05-23T08:16:08Z

by Langendoen, Koen. editor.
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: Electronic Resources

Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings

2024-05-23T08:16:08Z

by Pelc, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-540-75142-7
Format: Electronic Resources

Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings

2024-05-23T08:16:08Z

by Janowski, Tomasz. editor.
http://dx.doi.org/10.1007/978-3-540-77115-9
Format: Electronic Resources

Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-05-23T08:16:08Z

by Marchiori, Elena. editor.
http://dx.doi.org/10.1007/978-3-540-71783-6
Format: Electronic Resources

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-05-23T08:16:08Z

by Muggleton, Stephen. editor.
http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources

Genetic Programming Theory and Practice IV

2024-05-23T08:16:08Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-0-387-49650-4
Format: Electronic Resources

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-05-23T08:16:08Z

by Ebner, Marc. editor.
http://dx.doi.org/10.1007/978-3-540-71605-1
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2024-05-23T08:16:08Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Electronic Resources

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings

2024-05-23T08:16:08Z

by Dolev, Shlomi. editor.
http://dx.doi.org/10.1007/11864219
Format: Electronic Resources

Genetic Programming Theory and Practice III

2024-05-23T08:16:08Z

by Yu, Tina. editor.
http://dx.doi.org/10.1007/0-387-28111-8
Format: Electronic Resources

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2024-05-23T08:16:08Z

by Collet, Pierre. editor.
http://dx.doi.org/10.1007/11729976
Format: Electronic Resources

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings

2024-05-23T08:16:08Z

by Ganzha, Victor G. editor.
http://dx.doi.org/10.1007/11870814
Format: Electronic Resources

Parallel Problem Solving from Nature - PPSN IX 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings

2024-05-23T08:16:08Z

by Runarsson, Thomas Philip. editor.
http://dx.doi.org/10.1007/11844297
Format: Electronic Resources

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2024-05-23T08:16:08Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/11666806
Format: Electronic Resources

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings

2024-05-23T08:16:08Z

by Chaudhuri, Soma. editor.
http://dx.doi.org/10.1007/11947950
Format: Electronic Resources

Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings

2024-05-23T08:16:08Z

by Madria, Sanjay K. editor.
http://dx.doi.org/10.1007/11951957
Format: Electronic Resources

Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings

2024-05-23T08:16:08Z

by Römer, Kay. editor.
http://dx.doi.org/10.1007/11669463
Format: Electronic Resources

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

2024-05-23T08:16:08Z

by Ganzha, Victor G. editor.
http://dx.doi.org/10.1007/11555964
Format: Electronic Resources

Distributed Computing 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005. Proceedings

2024-05-23T08:16:08Z

by Fraigniaud, Pierre. editor.
http://dx.doi.org/10.1007/11561927
Format: Electronic Resources

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings

2024-05-23T08:16:08Z

by Sen, Arunabha. editor.
http://dx.doi.org/10.1007/b104419
Format: Electronic Resources

Genetic Programming Theory and Practice II

2024-05-23T08:16:08Z

by O’Reilly, Una-May. editor.
http://dx.doi.org/10.1007/b101112
Format: Electronic Resources

Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

2024-05-23T08:16:08Z

by Keijzer, Maarten. editor.
http://dx.doi.org/10.1007/b107383
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2024-05-23T08:16:08Z

by Feitelson, Dror. editor.
http://dx.doi.org/10.1007/11605300
Format: Electronic Resources

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings

2024-05-23T08:16:08Z

by Pal, Ajit. editor.
http://dx.doi.org/10.1007/11603771
Format: Electronic Resources

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings

2024-05-23T08:16:08Z

by Chakraborty, Goutam. editor.
http://dx.doi.org/10.1007/11604655
Format: Electronic Resources

Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings

2024-05-23T08:16:08Z

by Ghosh, R. K. editor.
http://dx.doi.org/10.1007/b104418
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

2024-05-23T08:16:08Z

by Feitelson, Dror G. editor.
http://dx.doi.org/10.1007/b107134
Format: Electronic Resources

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

2024-05-23T08:16:08Z

by Sloot, Peter M. A. editor.
http://dx.doi.org/10.1007/b137919
Format: Electronic Resources

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2024-05-23T08:16:08Z

by Kramer, Stefan. editor.
http://dx.doi.org/10.1007/11536314
Format: Electronic Resources