Nuevas aportaciones a la lingüística misionera española

Inhaltsverzeichnis
Klappentext

Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings

Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Handbook of model checking

Inhaltsverzeichnis
Inhaltsverzeichnis

Foundations of software science and computation structures second international conference, FOSSACS '99, held as part of the Joint European Conferences on Theory and Practice of So...

Inhaltsverzeichnis

Millennials

Inhaltsangabe: “… Artists: Melanie Bonajo (1978, NL), Lado Darakhvelidze (1977, GE), Priscila Fernandes (1981, PT), Thomas Kuijpers (1985, NL), Christina Lucas (1973, ES), Taus Makhacheva (1983, RU), Inge Meijer (1986, NL), Sachi Miyachi (1978, JP), Aldo Esparza Ramos (1986, MX) en Urok Shirhan (1984, IQ) …”
Inhaltsverzeichnis

Pharmaceutical Nanotechnology Basic Protocols

Information security theory and practice smart devices, pervasive systems, and ubiquitous networks ; third IFIP WG 11.2 international workshop, WISTP 2009 Brussels, Belgium, Septem...

Inhaltsverzeichnis

Modeling and verification of parallel processes 4th Summer School, MOVEP 2000, Nantes, France, June 19 - 23, 2000 ; revised tutorial lectures

Inhaltsverzeichnis

Modern applications of automata theory ed. Deepak D'Souza ...

Inhaltsverzeichnis

Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings

Inhaltstext
Inhaltsverzeichnis

2. Workshop Algorithmen und Werkzeuge für Petrinetze Oldenburg, 10. - 11. Oktober 1995

Inhaltsverzeichnis

Mineral resources of the High Steens and Little Blitzen Gorge Wilderness Study Areas, Harney County, Oregon

Inhaltsverzeichnis

Infinity

Inhaltsverzeichnis

Recipes for success in foreign language teaching ready-made activities for the L2 classroom

Inhaltsverzeichnis

Extracellular polymeric substances - the construction materials of biofilms selected proceedings of the 1st IWA International Conference on Microbial Extracellular Polymeric Substa...

Inhaltsverzeichnis

Verification, model checking, and abstract interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings

Inhaltsverzeichnis

Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Is it morning for you yet?

Inhaltsverzeichnis
Inhaltsverzeichnis

Mathematical foundations of computer science 2009 34st international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24 - 28, 2009 ; proceedings

Inhaltsverzeichnis