Transactions on Computational Systems Biology VIII

Transactions on Computational Systems Biology VIII

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Priami, Corrado (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Σειρά:	Lecture Notes in Computer Science, 4780
Θέματα:	Computer science. Computers. Algorithms. Mathematical logic. Bioinformatics. Computer Science. Computation by Abstract Devices. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Transactions on Computational Systems Biology VII
Έκδοση: (2006)

Transactions on Computational Systems Biology VI
Έκδοση: (2006)

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
Έκδοση: (2015)

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
Έκδοση: (2016)

Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings /
Έκδοση: (2012)

Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings /
Έκδοση: (2011)

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

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
Έκδοση: (2005)

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Έκδοση: (2014)

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
Έκδοση: (2016)

The Pillars of Computation Theory State, Encoding, Nondeterminism /
ανά: Rosenberg, Arnold L.
Έκδοση: (2010)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Έκδοση: (2015)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /
Έκδοση: (2014)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Έκδοση: (2013)

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /
Έκδοση: (2009)

Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings /
Έκδοση: (2015)

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings /
Έκδοση: (2014)

Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings /
Έκδοση: (2012)

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /
Έκδοση: (2013)

Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings /
Έκδοση: (2011)

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /
Έκδοση: (2011)

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
Έκδοση: (2015)

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings /
Έκδοση: (2014)

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Έκδοση: (2013)

Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Έκδοση: (2010)

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
Έκδοση: (2014)

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /
Έκδοση: (2012)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Έκδοση: (2010)

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings /
Έκδοση: (2005)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
Έκδοση: (2007)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
Έκδοση: (2005)

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Έκδοση: (2013)

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
Έκδοση: (2015)

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers /
Έκδοση: (2012)

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
Έκδοση: (2016)

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
Έκδοση: (2007)

STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings /
Έκδοση: (2004)

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

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Έκδοση: (2017)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
ανά: Bollig, Benedikt
Έκδοση: (2006)

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

Cannot write session to /tmp/vufind_sessions/sess_04rqddltmq8hn4iqocjlt7s21u