Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /

Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathmatical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011.<br>The 13 revised full papers presented toget...

Ամբողջական նկարագրություն

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Kotasek, Zdenek
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Շարք:	Lecture notes in computer science 7119
Խորագրեր:	Computer science. Computer Communication Networks. Software engineering. Computer software. Logic design. Information Systems.
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Mathematical and engineering methods in computer science : 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17--19, 2014, Revised Selected Papers /
Հրապարակվել է: (2014)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Հրապարակվել է: (2010)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Հրապարակվել է: (2012)

Implementation and application of automata : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
Հրապարակվել է: (2007)

Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /
Հրապարակվել է: (2014)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Հրապարակվել է: (2013)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Հրապարակվել է: (2012)

Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Հրապարակվել է: (2010)

Mathematical foundations of computer science 2010 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Հրապարակվել է: (2010)

Foundational and practical aspects of resource analysis second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, revised selected papers /
Հրապարակվել է: (2012)

Membrane computing : 14th International conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /
Հրապարակվել է: (2014)

Graph structures for knowledge representation and reasoning : Second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
Հրապարակվել է: (2012)

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Հրապարակվել է: (2012)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Հրապարակվել է: (2010)

Models in software engineering : Workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and revised selected papers /
Հրապարակվել է: (2012)

Perspectives of systems informatics: 8th International Andrei ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
Հրապարակվել է: (2013)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Հրապարակվել է: (2012)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Հրապարակվել է: (2012)

Parallel processing and applied mathematics : 9th International conference, PPAM 2011, Torun, Poland, September 11-14, 2011. revised selected papers, Part II /
Հրապարակվել է: (2012)

Parallel processing and applied mathematics : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers, Part I /
Հրապարակվել է: (2012)

Verification, model Checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Հրապարակվել է: (2011)

Hybrid metaheuristics 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /
Հրապարակվել է: (2010)

Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Հրապարակվել է: (2010)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
Հրապարակվել է: (2012)

Machines, computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, revised selected papers
: Margenstern, Maurice
Հրապարակվել է: (2005)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Հրապարակվել է: (2012)

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Հրապարակվել է: (2010)

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
: Garcia-Alfaro, Joaquin
Հրապարակվել է: (2012)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Հրապարակվել է: (2013)

Logics in computer science : a study on extensions of temporal and strategic logics /
: Mogavero, Fabio
Հրապարակվել է: (2013)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Mathematical modeling and computational science : International conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Հրապարակվել է: (2012)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Հրապարակվել է: (2013)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Հրապարակվել է: (2012)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings