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

Αποτελέσματα για "existentialism" Εμφανίζονται 1 - 50 Αποτελέσματα από 552 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22existentialism%22&type=AllFields&lng=el 552 0 50 The Phenomenological Critique of Mathematisation and the Question of Responsibility Formalisation and the Life-World / Thu, 01 Jan 2015 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-09828-9 https://find.library.upatras.gr/Record/978-3-319-09828-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 The Phenomenon of Mental Disorder Perspectives of Heidegger’s Thought in Psychopathology / Thu, 01 Jan 2015 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-10323-5 https://find.library.upatras.gr/Record/978-3-319-10323-5 Kouba, Petr Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Kouba, Petr 0 Dag Prawitz on Proofs and Meaning Thu, 01 Jan 2015 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-11041-7 https://find.library.upatras.gr/Record/978-3-319-11041-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language Thu, 01 Jan 2015 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-18362-6 https://find.library.upatras.gr/Record/978-3-319-18362-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / Thu, 01 Jan 2015 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-21542-6 https://find.library.upatras.gr/Record/978-3-319-21542-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 A Philosophy of Israel Education A Relational Approach / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-30779-4 https://find.library.upatras.gr/Record/978-3-319-30779-4 Chazan, Barry Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Chazan, Barry 0 Logotherapy and Existential Analysis Proceedings of the Viktor Frankl Institute Vienna, Volume 1 / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-29424-7 https://find.library.upatras.gr/Record/978-3-319-29424-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Political Correctness and the Destruction of Social Order Chronicling the Rise of the Pristine Self / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-39805-1 https://find.library.upatras.gr/Record/978-3-319-39805-1 Schwartz, Howard S. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Schwartz, Howard S. 0 Interdisciplinary Handbook of Trauma and Culture Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-29404-9 https://find.library.upatras.gr/Record/978-3-319-29404-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-45856-4 https://find.library.upatras.gr/Record/978-3-319-45856-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Wed, 01 Jan 2003 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-36577-8 https://find.library.upatras.gr/Record/978-3-540-36577-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Conceptual Structures: Integration and Interfaces 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings / Tue, 01 Jan 2002 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-45483-0 https://find.library.upatras.gr/Record/978-3-540-45483-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Mathematical Foundations of Computer Science 2000 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings / Sat, 01 Jan 2000 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-44612-5 https://find.library.upatras.gr/Record/978-3-540-44612-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings / Fri, 01 Jan 1999 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-48659-6 https://find.library.upatras.gr/Record/978-3-540-48659-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / Wed, 01 Jan 1997 04:31:14 +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 Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / Thu, 01 Jan 1998 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-49816-2 https://find.library.upatras.gr/Record/978-3-540-49816-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings / Thu, 01 Jan 1998 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-68681-1 https://find.library.upatras.gr/Record/978-3-540-68681-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Thu, 01 Jan 1998 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-69353-6 https://find.library.upatras.gr/Record/978-3-540-69353-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / Wed, 01 Jan 1997 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-69555-4 https://find.library.upatras.gr/Record/978-3-540-69555-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 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 04:31:14 +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 1997 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings / Wed, 01 Jan 1997 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-69547-9 https://find.library.upatras.gr/Record/978-3-540-69547-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / Fri, 01 Jan 1999 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-48685-5 https://find.library.upatras.gr/Record/978-3-540-48685-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 / Thu, 01 Jan 1998 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-68532-6 https://find.library.upatras.gr/Record/978-3-540-68532-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Google It Total Information Awareness / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-1-4939-6415-4 https://find.library.upatras.gr/Record/978-1-4939-6415-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Clarifying and Furthering Existential Psychotherapy Theories, Methods, and Practices / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-31086-2 https://find.library.upatras.gr/Record/978-3-319-31086-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Future Viability, Business Models, and Values Strategy, Business Management and Economy in Disruptive Markets / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-34030-2 https://find.library.upatras.gr/Record/978-3-319-34030-2 Glauner, Friedrich Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Glauner, Friedrich 0 Hybrid Intelligent Systems 15th International Conference HIS 2015 on Hybrid Intelligent Systems, Seoul, South Korea, November 16-18, 2015 / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-27221-4 https://find.library.upatras.gr/Record/978-3-319-27221-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings / Mon, 01 Jan 2001 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-45422-9 https://find.library.upatras.gr/Record/978-3-540-45422-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-45927-9 https://find.library.upatras.gr/Record/978-3-540-45927-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Wed, 01 Jan 2003 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-44898-3 https://find.library.upatras.gr/Record/978-3-540-44898-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 STACS 2002 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings / Tue, 01 Jan 2002 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-45841-8 https://find.library.upatras.gr/Record/978-3-540-45841-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Programming Languages and Systems 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings / Sat, 01 Jan 2000 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-46425-9 https://find.library.upatras.gr/Record/978-3-540-46425-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Database Programming Languages 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 / Thu, 01 Jan 1998 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-68534-0 https://find.library.upatras.gr/Record/978-3-540-68534-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic / Wed, 01 Jan 2003 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-40062-2 https://find.library.upatras.gr/Record/978-3-540-40062-2 Dau, Frithjof Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 Dau, Frithjof 0 STACS 2001 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings / Mon, 01 Jan 2001 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-44693-4 https://find.library.upatras.gr/Record/978-3-540-44693-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / Fri, 01 Jan 1999 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-48959-7 https://find.library.upatras.gr/Record/978-3-540-48959-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / Mon, 01 Jan 2001 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-540-44802-0 https://find.library.upatras.gr/Record/978-3-540-44802-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Biopoetics Towards an Existential Ecology / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-94-024-0832-4 https://find.library.upatras.gr/Record/978-94-024-0832-4 Weber, Andreas Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Weber, Andreas 0 Personal Injury and Damage Ascertainment under Civil Law State-of-the-Art International Guidelines / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-29812-2 https://find.library.upatras.gr/Record/978-3-319-29812-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Clinical Perspectives on Meaning Positive and Existential Psychotherapy / Fri, 01 Jan 2016 04:31:14 +0200 https://find.library.upatras.gr/Record/978-3-319-41397-6 https://find.library.upatras.gr/Record/978-3-319-41397-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements Wed, 01 Jan 2020 04:31:14 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13518 https://find.library.upatras.gr/Record/nemertes-10889-13518 Ioakimidis, Nikolaos 2020 Ioakimidis, Nikolaos 0 Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination Mon, 01 Jan 2018 04:31:14 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11505 https://find.library.upatras.gr/Record/nemertes-10889-11505 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Redlog-based derivation of feasibility conditions for singular integral equations of crack problems under parametric inequality constraints Mon, 01 Jan 2018 04:31:14 +0200 https://find.library.upatras.gr/Record/nemertes-10889-11217 https://find.library.upatras.gr/Record/nemertes-10889-11217 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination Wed, 01 Jan 2020 04:31:14 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13205 https://find.library.upatras.gr/Record/nemertes-10889-13205 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination Tue, 01 Jan 2019 04:31:14 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12153 https://find.library.upatras.gr/Record/nemertes-10889-12153 Ioakimidis, Nikolaos Technical Report 2019 Ioakimidis, Nikolaos 0 Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination Wed, 01 Jan 2020 04:31:14 +0200 https://find.library.upatras.gr/Record/nemertes-10889-13204 https://find.library.upatras.gr/Record/nemertes-10889-13204 Ioakimidis, Nikolaos Technical Report 2020 Ioakimidis, Nikolaos 0 An application of Ben-Haim's info-gap decision theory (IGDT) to Todinov's method of algebraic inequalities by employing the method of quantifier elimination Sat, 01 Jan 2022 04:31:14 +0200 https://find.library.upatras.gr/Record/nemertes-10889-23351 https://find.library.upatras.gr/Record/nemertes-10889-23351 Ioakimidis, Nikolaos Technical Report 2022 Ioakimidis, Nikolaos 0 9781000473841.pdf Fri, 01 Jan 2021 04:31:14 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-51190 https://find.library.upatras.gr/Record/oapen-20.500.12657-51190 2021 0 340101.pdf Fri, 01 Jan 2010 04:31:14 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-35229 https://find.library.upatras.gr/Record/oapen-20.500.12657-35229 2010 0 9781760464417.pdf Fri, 01 Jan 2021 04:31:14 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-50014 https://find.library.upatras.gr/Record/oapen-20.500.12657-50014 2021 0