Тема, жанр, tags: Data Structures,Computation by Abstract Devices,Mathematical Logic and Formal Languages,Bioinformati » Page 242 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Data Structures,Computation by Abstract Devices,Mathematical Logic and Formal Languages,Bioinformati » Page 242

book Multiset Processing: Mathematical,Computer Science, and Molecular Computing Points of View

Multiset Processing: Mathematical,Computer Science, and Molecular Computing Points of View

pdf

Author: Fernando Arroyo Angel V. Baranda Juan Castellanos Carmen Luengo (auth.) Cristian S. Calude Gheorghe PĂun Grzegorz Rozenberg Arto Salomaa (eds.)
Language: English
Year: 2001

00

26.01.2024

2

0

book Nature Inspired Problem-Solving Methods in Knowledge Engineering: Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

Nature Inspired Problem-Solving Methods in Knowledge Engineering: Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

pdf

Author: J. Javier Martínez-Alvarez (auth.) José Mira José R. Álvarez (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book New Trends in Applied Artificial Intelligence: 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

New Trends in Applied Artificial Intelligence: 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

pdf

Author: Katsumi Tanaka (auth.) Hiroshi G. Okuno Moonis Ali (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Logics for Concurrency: Structure versus Automata

Logics for Concurrency: Structure versus Automata

djvu

Author: Faron Moller Graham Birtwistle (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings

Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings

pdf

Author: Jerzy Tiuryn Ryszard Rudnicki Damian Wójtowicz (auth.) Jiří Fiala Václav Koubek Jan Kratochvíl (eds.)
Language: English
Year: 2004

00

26.01.2024

2

0

book Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

pdf

Author: Andreas Blass Yuri Gurevich (auth.) Edward Ochmański Jerzy Tyszkiewicz (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

pdf

Author: Greg Nelson (auth.) Dexter Kozen (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I

Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I

pdf

Author: José Mira Mira (auth.) José Mira José R. Álvarez (eds.)
Language: English
Year: 2005

00

26.01.2024

1

0

book Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

pdf

Author: Luca Bianco Alberto Castellini (auth.) George Eleftherakis Petros Kefalas Gheorghe Păun Grzegorz Rozenberg Arto Salomaa (eds.)
Language: English
Year: 2007

00

26.01.2024

3

0

book Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers

Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers

pdf

Author: Vincent Danos Jérôme Féret Walter Fontana Russell Harmer Jean Krivine (auth.) David Wolfe Corne Pierluigi Frisco Gheorghe Păun Grzegorz Rozenberg Arto Salomaa (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0