2015

Algorithms and computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings

ISAAC (Symposium) (26th : 2015 : Nagoya-shi, Japan)

Heidelberg : Springer, 2015

 

2015

Algorithms and architectures for parallel processing : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (15th : 2015 : Zhangjiajie, China)

Cham : Springer, [2015]

 

2015

Algorithms and architectures from parallel processing : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings

International Conference on Algorithms and Architectures for Parallel Processing (15th : 2015 : Zhangjiajie Shi, China)

Cham : Springer, [2015]

 

2015

Algorithms and models for the web graph : 12th International Workshop, WAW 2015, Eindhoven, the Netherlands, December 10-11, 2015 : proceedings

WAW (Conference) (12th : 2015 : Eindhoven, Netherlands)

Cham : Springer, [2015]

 

2015

Computer algebra and polynomials : applications of algebra and number theory

Cham : Springer, [2015]

 

2015

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

Central European Functional Programming School (5th : 2013 : Cluj-Napoca, Romania)

Cham : Springer, 2015

 

2015

Computational linguistics and intelligent text processing : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings.

CICLing (Conference) (16th : 2015 : Cairo, Egypt)

Cham : Springer, 2015

 

2015

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

AUTOMATA (Workshop) (21st : 2015 : Turku, Finland)

Heidelberg : Springer, 2015

 

2015

Combinatorial pattern matching : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29-July 1, 2015, Proceedings

CPM (Symposium) (26th : 2015 : Ischia Island, Italy)

Cham : Springer, 2015

 

2015

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.

ICCSA (Conference) (15th : 2015 : Banff, Alta.)

Cham : Springer, 2015

 

2015

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.

ICCSA (Conference) (15th : 2015 : Banff, Alta.)

Cham : Springer, 2015

 

2015

Computational science and its applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings.

ICCSA (Conference) (15th : 2015 : Banff, Alta.)

Cham : Springer, 2015

 

2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.

CAV (Conference) (27th : 2015 : San Francisco, Calif.)

Cham : Springer, 2015

 

2015

Computational logistics : 6th International Conference, ICCL 2015 Delft, the Netherlands, September 23-25, 2015. Proceedings

ICCL (Conference) (6th : 2015 : Delft, Netherlands)

Cham : Springer, 2015

 

2015

Computer algebra in scientific computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

CASC (Workshop : 2001- ) (17th : 2015 : Aachen, Germany)

Cham : Springer, 2015

 

2015

Combinatorial optimization and applications : 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings

COCOA (Conference) (9th : 2015 : Houston, Texas)

Cham : Springer, 2015

 

2015

Computer aided systems theory -- EUROCAST 2015 : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised selected papers

International Conference on Computer Aided Systems Theory (15th : 2015 : Las Palmas, Canary Islands)

Cham : Springer, 2015

 

2015

Evolutionary computation in combinatorial optimization : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30- April 1, 2016, Proceedings

EvoCOP (Conference) (16th : 2016 : Porto, Portugal)

Cham : Springer, 2015

 

2015

Evolutionary and biologically inspired music, sound, art and design : 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

EvoMUSART (Conference) (4th : 2015 : Copenhagen, Denmark)

Cham : Springer, 2015

 

2015

Evolutionary multi-criterion optimization : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29-April 1, 2015. Proceedings.

EMO (Conference) (8th : 2015 : Guimarães, Portugal)

Cham : Springer, 2015

 

2015

Fundamental approaches to software engineering : 18th International Conference, FASE 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, Ap

FASE (Conference) (18th : 2015 : London, England)

Berlin : Springer, 2015

 

2015

Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,

FOSSACS (Conference) (18th : 2015 : London, England)

Heidelberg : Springer, 2015

 

2015

Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

DCFS (Workshop) (17th : 2015 : Waterloo, Ont.)

Cham : Springer, 2015

 

2015

Experimental algorithms : 14th International Symposium, SEA 2015, Paris, France, June 29-July 1, 2015, Proceedings

SEA (Symposium) (14th : 2015 : Paris, France)

Cham : Springer, 2015

 

2015

Computer vision systems : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

ICVS (Conference : Computer vision systems) (10th : 2015 : Copenhagen, Denmark)

Cham : Springer, 2015

 

2015

Frontiers in algorithmics : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

International Frontiers of Algorithmics Workshop (9th : 2015 : Guilin, China)

Cham : Springer, 2015

 

2015

Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

International Computer Science Symposium in Russia (10th : 2015 : Listvi︠a︡nka, Russia)

Cham : Springer, 2015

 

2015

Computing and combinatorics : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

COCOON (Conference) (21st : 2015 : Beijing, China)

Cham : Springer, 2015

 

2015

Developments in language theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings

Conference on Developments in Language Theory (19th : 2015 : Liverpool, England)

Cham : Springer, 2015

 

2015

DNA computing and molecular programming : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

International Conference on DNA Computing and Molecular Programming (21st : 2015 : Boston, Mass.; Cambridge, Mass.)

Cham : Springer, 2015

 

2015

Euro-Par 2015 : parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

International EURO-PAR Conference (21st : 2015 : Vienna, Austria)

Heidelberg : Springer, 2015

 

2015

Curves and surfaces : 8th International Conference, Paris, France, June 12-18, 2014, Revised selected papers

International Conference on Curves and Surfaces (8th : 2014 : Paris, France)

Cham : Springer, 2015

 

2015

Distributed computing : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

DISC (Symposium) (29th : 2015 : Tokyo, Japan)

Berlin, Heidelberg : Springer, 2015

 

2015

Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

LFCS (Symposium) (2016 : Deerfield Beach, Fla.)

Switzerland : Springer, [2015]

 

2015

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

ICLA (Conference : Logic) (6th : 2015 : Mumbai, India)

Heidelberg : Springer, 2015

 

2015

Job scheduling strategies for parallel processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers

JSSPP (Workshop) (18th : 2014 : Phoenix, Ariz.)

Cham : Springer, 2015

 

2015

Language and automata theory and applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

LATA (Conference) (9th : 2015 : Nice, France)

Cham : Springer, 2015

 

2015

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

EuroGP (Conference) (18th : 2015 : Copenhagen, Denmark)

Cham : Springer, 2015

 

2015

High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers

VECPAR (Conference) (11th : 2014 : Eugene, Or.)

Cham : Springer, 2015

 

2015

Integration of AI and OR techniques in constraint programming : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

CPAIOR (Conference : 2014- ) (12th : 2015 : Barcelona, Spain)

Cham : Springer, 2015

 

2015

Languages and compilers for parallel computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers

LCPC (Workshop) (27th : 2014 : Hillsboro, Oregon)

Cham : Springer, 2015

 

2015

Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised selected papers

International Tbilisi Symposium on Logic, Language and Computation (10th : 2013 : Gudauri, Georgia)

Heidelberg : Springer, 2015

 

2015

High performance computing : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

ISC High Performance (Conference) (30th : 2015 : Frankfurt am Main, Germany)

Cham : Springer, 2015

 

2015

Logic, language, information, and computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Workshop on Logic, Language, Information and Computation (22nd : 2015 : Bloomington, Ind.)

Berlin : Springer, 2015

 

2015

Hybrid learning : innovation in educational practices : 8th International Conference, ICHL 2015, Wuhan, China, July 27-29, 2015, Proceedings

ICHL (Conference) (8th : 2015 : Wuhan, China)

Cham : Springer, 2015

 

2015

Implementation and application of automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015 : proceedings

CIAA (Conference) (20th : 2015 : Umeå, Sweden)

Cham : Springer, [2015]

 

2015

Fundamentals of computation theory : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

FCT (Symposium) (20th : 2015 : Gdańsk, Poland)

Cham : Springer, 2015

 

2015

Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings.

Symposium on Mathematical Foundations of Computer Science (1972- ) (40th : 2015 : Milan, Italy)
1st ed. 2015
Heidelberg : Springer, 2015

 

2015

Latent variable analysis and signal separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings

International Conference on Latent Variable Analysis and Signal Separation (12th : 2015 : Liberec, Czech Republic)

Cham : Springer, 2015

 

2015

Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

ITP (Conference) (6th : 2015 : Nanjing, China)

Cham : Springer, 2015