Formal Concept Analysis, Fachbücher von Christian Sacarea, Manuel Ojeda-Aciego, Jaume Baixeries

Formal Modeling and Analysis of Timed Systems, Fachbücher von Enrico Vicario, Sriram Sankaranarayanan

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS, Fachbücher von Fernand...

Artificial Intelligence in Education, Fachbücher von Cristina Conati, Antonija Mitrovic, Neil Heffernan, M. Felisa Verde...

Advances in Computational Intelligence, Fachbücher von Gonzalo Joya, Andreu Catala, Ignacio Rojas

Ad-hoc, Mobile, and Wireless Networks, Fachbücher von Song Guo, Jaime Lloret Mauri, Pietro Manzoni, Stefan Ruehrup

Engineering the Web in the Big Data Era, Fachbücher von Philipp Cimiano, Geert-Jan Houben, Flavius Frasincar, Daniel Sch...

Hybrid Artificial Intelligent Systems, Fachbücher von Héctor Quintián, Emilio Corchado, Eneko Osaba, Igor Santos, Enriqu...

Artificial Computation in Biology and Medicine, Fachbücher von Fco. Javier Toledo Moreo, José Manuel Ferrández Vicente, ...

Formal Methods for Industrial Critical Systems, Fachbücher von Manuel Nunez, Matthias Güdemann

Inclusive Smart Cities and e-Health, Fachbücher von Bessam Abdulrazak, Hamdi Aloulou, Antoine Geissbuhler, Jacques Demon...

Pattern Recognition and Image Analysis, Fachbücher von Roberto Paredes, Jaime S. Cardoso, Xosé M. Pardo

Application and Theory of Petri Nets and Concurrency, Fachbücher von Raymond Devillers, Antti Valmari

Wireless Algorithms, Systems, and Applications, Fachbücher von Wei Li, Sriram Chellappan, Wei Cheng

Bioinspired Computation in Artificial Systems, Fachbücher von Félix de la Paz López, José Ramón Álvarez-Sánchez, José Ma...

FM 2015: Formal Methods, Fachbücher von Frank de Boer, Nikolaj Bjørner