Тема, жанр, tags: Computation by Abstract Devices » Page 35 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices » Page 35

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

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

pdf

Author: Gabriela Ochoa Francisco Chicano (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

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

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

pdf

Author: Deepak D’Souza Akash Lal Kim Guldstrand Larsen (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Transactions on Computational Science XXIV: Special Issue on Reversible Computing

Transactions on Computational Science XXIV: Special Issue on Reversible Computing

pdf

Author: Marina L. Gavrilova C.J. Kenneth Tan Himanshu Thapliyal Nagarajan Ranganathan (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

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

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

pdf

Author: Mohua Banerjee Shankara Narayanan Krishna (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

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

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

pdf

Author: Anna I. Esparcia-Alcázar Antonio M. Mora (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Multi-Agent-Based Simulation XV: International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Multi-Agent-Based Simulation XV: International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

pdf

Author: Francisco Grimaldo Emma Norling (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

pdf

Author: Thomas Eiter Hannes Strass Mirosław Truszczyński Stefan Woltran (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Artificial Life and Computational Intelligence: First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings

Artificial Life and Computational Intelligence: First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings

pdf

Author: Stephan K. Chalup Alan D. Blair Marcus Randall (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

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

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

pdf

Author: David Naumann (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

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

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

pdf

Author: Marian Gheorghe Grzegorz Rozenberg Arto Salomaa Petr Sosík Claudio Zandron (eds.)
Language: English
Year: 2014

00

27.01.2024

1

0