Αποτελέσματα για "CTL*"

Αποτελέσματα για "CTL*" Εμφανίζονται 1 - 50 Αποτελέσματα από 70 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22CTL%2A%22&type=AllFields&lng=el 70 0 50 Resistance of Cancer Cells to CTL-Mediated Immunotherapy Thu, 01 Jan 2015 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-319-17807-3 https://find.library.upatras.gr/Record/978-3-319-17807-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Thu, 01 Jan 2015 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / Wed, 01 Jan 1997 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-69065-8 https://find.library.upatras.gr/Record/978-3-540-69065-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / Tue, 01 Jan 2002 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-45657-5 https://find.library.upatras.gr/Record/978-3-540-45657-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / Wed, 01 Jan 2003 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-45061-0 https://find.library.upatras.gr/Record/978-3-540-45061-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Foundations of Software Technology and Theoretical Computer Science 19th Conference, Chennai, India, December 13-15, 1999 Proceedings / Fri, 01 Jan 1999 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-46691-8 https://find.library.upatras.gr/Record/978-3-540-46691-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / Wed, 01 Jan 2003 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-45220-1 https://find.library.upatras.gr/Record/978-3-540-45220-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings / Fri, 01 Jan 1999 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-48340-3 https://find.library.upatras.gr/Record/978-3-540-48340-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings / Tue, 01 Jan 2002 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-45694-0 https://find.library.upatras.gr/Record/978-3-540-45694-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings / Mon, 01 Jan 2001 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-45315-4 https://find.library.upatras.gr/Record/978-3-540-45315-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings / Thu, 01 Jan 1998 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-49382-2 https://find.library.upatras.gr/Record/978-3-540-49382-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings / Sat, 01 Jan 2000 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-44450-3 https://find.library.upatras.gr/Record/978-3-540-44450-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / Fri, 01 Jan 2016 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-662-49674-9 https://find.library.upatras.gr/Record/978-3-662-49674-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / Fri, 01 Jan 1999 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-48683-1 https://find.library.upatras.gr/Record/978-3-540-48683-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Wed, 01 Jan 2003 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-45069-6 https://find.library.upatras.gr/Record/978-3-540-45069-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Mon, 01 Jan 2001 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-45319-2 https://find.library.upatras.gr/Record/978-3-540-45319-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Η τροποποίηση της αλληλουχίας πεπτιδίων νεοπλασιών επηρεάζει την ανοσογονικότητά τους Sun, 01 Jan 2012 02:52:38 +0200 https://find.library.upatras.gr/Record/nemertes-10889-5151 https://find.library.upatras.gr/Record/nemertes-10889-5151 Σιαστάθη, Βασιλική Thesis 2012 Σιαστάθη, Βασιλική 0 Inflammation and Immunity in Cancer Thu, 01 Jan 2015 02:52:38 +0200 https://find.library.upatras.gr/Record/978-4-431-55327-4 https://find.library.upatras.gr/Record/978-4-431-55327-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / Thu, 01 Jan 2004 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-24730-2 https://find.library.upatras.gr/Record/978-3-540-24730-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 CTL for Test Information of Digital ICS Tue, 01 Jan 2002 02:52:38 +0200 https://find.library.upatras.gr/Record/978-0-306-47826-0 https://find.library.upatras.gr/Record/978-0-306-47826-0 Kapur, Rohit Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 Kapur, Rohit 0 Mathematical Models for Therapeutic Approaches to Control HIV Disease Transmission Thu, 01 Jan 2015 02:52:38 +0200 https://find.library.upatras.gr/Record/978-981-287-852-6 https://find.library.upatras.gr/Record/978-981-287-852-6 Roy, Priti Kumar Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Roy, Priti Kumar 0 Trends in Biomathematics: Mathematical Modeling for Health, Harvesting, and Population Dynamics Selected works presented at the BIOMAT Consortium Lectures, Morocco 2018 / Tue, 01 Jan 2019 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-030-23433-1 https://find.library.upatras.gr/Record/978-3-030-23433-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / Tue, 01 Jan 2008 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-69937-8 https://find.library.upatras.gr/Record/978-3-540-69937-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Scientific Computing in Electrical Engineering Mon, 01 Jan 2007 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-71980-9 https://find.library.upatras.gr/Record/978-3-540-71980-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / Tue, 01 Jan 2008 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-78163-9 https://find.library.upatras.gr/Record/978-3-540-78163-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Wed, 01 Jan 2014 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-319-08970-6 https://find.library.upatras.gr/Record/978-3-319-08970-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / Sat, 01 Jan 2005 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-32419-5 https://find.library.upatras.gr/Record/978-3-540-32419-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Knowledge Science, Engineering and Management First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006. Proceedings / Sun, 01 Jan 2006 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-37035-2 https://find.library.upatras.gr/Record/978-3-540-37035-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / Tue, 01 Jan 2008 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-88387-6 https://find.library.upatras.gr/Record/978-3-540-88387-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Killer Lymphocytes Sat, 01 Jan 2005 02:52:38 +0200 https://find.library.upatras.gr/Record/978-1-4020-3270-7 https://find.library.upatras.gr/Record/978-1-4020-3270-7 Berke, Gideon Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 Berke, Gideon 0 Handbook of multi-commodity markets and products : structuring, trading and risk management / Thu, 01 Jan 2015 02:52:38 +0200 https://find.library.upatras.gr/Record/ocn903900628 https://find.library.upatras.gr/Record/ocn903900628 Ηλ. βιβλίο 2015 0 Tumor Immune Microenvironment in Cancer Progression and Cancer Therapy Sun, 01 Jan 2017 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-319-67577-0 https://find.library.upatras.gr/Record/978-3-319-67577-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / Mon, 01 Jan 2018 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-030-03421-4 https://find.library.upatras.gr/Record/978-3-030-03421-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / Thu, 01 Jan 2009 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-02734-5 https://find.library.upatras.gr/Record/978-3-642-02734-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / Thu, 01 Jan 2009 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-02959-2 https://find.library.upatras.gr/Record/978-3-642-02959-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / Thu, 01 Jan 2009 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-92687-0 https://find.library.upatras.gr/Record/978-3-540-92687-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever / Fri, 01 Jan 2010 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-11512-7 https://find.library.upatras.gr/Record/978-3-642-11512-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / Fri, 01 Jan 2010 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-12032-9 https://find.library.upatras.gr/Record/978-3-642-12032-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers / Fri, 01 Jan 2010 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-12186-9 https://find.library.upatras.gr/Record/978-3-642-12186-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / Fri, 01 Jan 2010 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-13824-9 https://find.library.upatras.gr/Record/978-3-642-13824-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / Fri, 01 Jan 2010 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-14203-1 https://find.library.upatras.gr/Record/978-3-642-14203-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / Fri, 01 Jan 2010 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-14295-6 https://find.library.upatras.gr/Record/978-3-642-14295-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 PRICAI 2010: Trends in Artificial Intelligence 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / Fri, 01 Jan 2010 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-642-15246-7 https://find.library.upatras.gr/Record/978-3-642-15246-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Analyzing T Cell Responses How to Analyze Cellular Immune Responses against Tumor Associated Antigens / Sat, 01 Jan 2005 02:52:38 +0200 https://find.library.upatras.gr/Record/978-1-4020-3623-1 https://find.library.upatras.gr/Record/978-1-4020-3623-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / Wed, 01 Jan 2014 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-319-08587-6 https://find.library.upatras.gr/Record/978-3-319-08587-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / Wed, 01 Jan 2014 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-319-11245-9 https://find.library.upatras.gr/Record/978-3-319-11245-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Immunobiology of Natural Killer Cell Receptors Sun, 01 Jan 2006 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-27743-9 https://find.library.upatras.gr/Record/978-3-540-27743-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / Sat, 01 Jan 2005 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-540-31980-1 https://find.library.upatras.gr/Record/978-3-540-31980-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II / Tue, 01 Jan 2019 02:52:38 +0200 https://find.library.upatras.gr/Record/978-3-030-24265-7 https://find.library.upatras.gr/Record/978-3-030-24265-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0