Membrane Computing International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /

Membrane Computing International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Martín-Vide, Carlos (Επιμελητής έκδοσης), Mauri, Giancarlo (Επιμελητής έκδοσης), Păun, Gheorghe (Επιμελητής έκδοσης), Rozenberg, Grzegorz (Επιμελητής έκδοσης), Salomaa, Arto (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Σειρά:	Lecture Notes in Computer Science, 2933
Θέματα:	Mathematics. Computers. Mathematical logic. Computer simulation. Bioinformatics. Mathematical Logic and Foundations. Theory of Computation. Computation by Abstract Devices. Mathematical Logic and Formal Languages. Simulation and Modeling.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Membrane Computing 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers /
Έκδοση: (2006)

Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers /
Έκδοση: (2010)

Membrane Computing 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers /
Έκδοση: (2006)

Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /
Έκδοση: (2007)

Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers /
Έκδοση: (2011)

Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
ανά: PΔun, Gheorghe
Έκδοση: (2010)

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers /
Έκδοση: (2012)

Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers /
Έκδοση: (2009)

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
Έκδοση: (2014)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings /
Έκδοση: (2005)

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Έκδοση: (2013)

DNA Computing 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers /
Έκδοση: (2004)

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /
Έκδοση: (2016)

Applications of Membrane Computing
Έκδοση: (2006)

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Έκδοση: (2009)

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Έκδοση: (2017)

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers /
Έκδοση: (2012)

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
Έκδοση: (2016)

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Έκδοση: (2013)

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Έκδοση: (2014)

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Έκδοση: (2012)

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /
Έκδοση: (2011)

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
Έκδοση: (2009)

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings /
Έκδοση: (2005)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Έκδοση: (2014)

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
Έκδοση: (2015)

Modeling Decisions for Artificial Intelligence Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings /
Έκδοση: (2006)

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
Έκδοση: (2016)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
Έκδοση: (2016)

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /
Έκδοση: (2017)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
Έκδοση: (2007)

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Έκδοση: (2014)

Logic for Computer Scientists
ανά: Schöning, Uwe
Έκδοση: (2008)

Using Event-B for Critical Device Software Systems
ανά: Singh, Neeraj Kumar
Έκδοση: (2013)

Mathematical Logic for Computer Science
ανά: Ben-Ari, Mordechai
Έκδοση: (2012)

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Έκδοση: (2006)

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Έκδοση: (2017)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
Έκδοση: (2006)

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών