Search | bibliotek.dk

Subscribe to Search feed

Refine your search

Search result

Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers (Engelsk)

Peter Csaba Ölveczky

Developments in Language Theory : 7th International Conference, DLT 2003 Szeged, Hungary, July 711, 2003 Proceedings (Engelsk)

Computational Neuroscience: Cortical Dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, Revised Lectures (Engelsk)

Compositionality, Concurrency and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship

J Zwiers

Computational Intelligence: Research Frontiers : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures (Engelsk)

Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings (Engelsk)

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 911, 2003 Proceedings (Engelsk)

Future Internet - FIS 2009 : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 (Engelsk)

String Processing and Information Retrieval : 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings (Engelsk)

Evolutionary Multi-Criterion Optimization : First International Conference, EMO 2001 Zurich, Switzerland, March 79, 2001 Proceedings (Engelsk)