LEADER 00822nam0-2200265---450- 001 990009565210403321 005 20120502160510.0 035 $a000956521 035 $aFED01000956521 035 $a(Aleph)000956521FED01 035 $a000956521 100 $a20120502d1929----km-y0itay50------ba 101 0 $ager 102 $aDE 200 1 $aHandbuch der Geflugelkrankheiten und der Geflugelzucht$fherausgegeben von T. v. Heelsbergen$gunter mitwirkung von E.A.R.F. Baudet ... [et al.] 210 $aStuttgart$cEnke$d1929 215 $aXXIII, 608 p.$d26 cm 702 1$aHeelsbergen,$bTeunis 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009565210403321 952 $aIV 5 3$b41$fDMVMI 959 $aDMVMI 996 $aHandbuch der Geflugelkrankheiten und der Geflugelzucht$9847291 997 $aUNINA LEADER 04728nam 22007815 450 001 9910483948403321 005 20251226204151.0 010 $a3-642-02138-7 024 7 $a10.1007/978-3-642-02138-1 035 $a(CKB)1000000000753972 035 $a(SSID)ssj0000317729 035 $a(PQKBManifestationID)11258696 035 $a(PQKBTitleCode)TC0000317729 035 $a(PQKBWorkID)10308060 035 $a(PQKB)10270705 035 $a(DE-He213)978-3-642-02138-1 035 $a(MiAaPQ)EBC3064307 035 $a(PPN)13630656X 035 $a(EXLCZ)991000000000753972 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques for Distributed Systems $eJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings /$fedited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 249 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5522 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-02137-9 320 $aIncludes bibliographical references and index. 327 $aInvited Contribution -- The Orc Programming Language -- Regular Contributions -- Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions -- Approximated Context-Sensitive Analysis for Parameterized Verification -- Verification of Parameterized Systems with Combinations of Abstract Domains -- On Model-Checking Optimistic Replication Algorithms -- Recursive Parametric Automata and ?-Removal -- A Software Platform for Timed Mobility and Timed Interaction -- Modeling, Validation, and Verification of PCEP Using the IF Language -- Distinguing Non-deterministic Timed Finite State Machines -- System Model-Based Definition of Modeling Language Semantics -- Typing Component-Based Communication Systems -- Epistemic Logic for the Applied Pi Calculus -- On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems -- Short Papers -- Using First-Order Logic to Reason about Submodule Construction -- A Model-Checking Approach for Service Component Architectures -- Dynamic Symbolic Execution of Distributed Concurrent Objects -- Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach -- A Type Graph Model for Java Programs -- Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. 330 $aThis book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5522 606 $aComputer networks 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.2422gerDNB 701 $aLee$b David$0481691 701 $aLopes$b Antonia$01368702 701 $aPoetzsch-Heffter$b Arnd$01752975 712 12$aInternational Conference on Formal Methods for Open Object-Based Distributed Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483948403321 996 $aFormal techniques for distributed systems$94188484 997 $aUNINA LEADER 03186nam 2200841uu 450 001 9910964909603321 005 20251116215217.0 010 $a9780197704714 010 $a0197704719 010 $a9781280527159 010 $a1280527153 010 $a9780198024712 010 $a0198024711 010 $a9781429406482 010 $a1429406488 024 7 $a2027/heb31903 035 $a(CKB)1000000000465827 035 $a(EBL)271621 035 $a(OCoLC)476007794 035 $a(SSID)ssj0000174121 035 $a(PQKBManifestationID)11156016 035 $a(PQKBTitleCode)TC0000174121 035 $a(PQKBWorkID)10174467 035 $a(PQKB)11112632 035 $a(Au-PeEL)EBL271621 035 $a(CaPaEBR)ebr10278549 035 $a(CaONFJC)MIL52715 035 $a(OCoLC)466425441 035 $a(dli)HEB31903 035 $a(MiU) MIU01100000000000000000707 035 $a(MiAaPQ)EBC271621 035 $a(OCoLC)1406782730 035 $a(StDuBDS)9780197704714 035 $a(MiU)MIU01100000000000000000707 035 $a(EXLCZ)991000000000465827 100 $a19960612e20231995 |y | 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHow to kill a dragon $easpects of Indo-European poetics /$fCalvert Watkins 205 $a1st ed. 210 1$aNew York ;$cOxford University Press,$d2023. 215 $a1 online resource (630 p.) 225 1 $aOxford scholarship online 300 $aPreviously issued in print: 1995. 311 08$a9780195144130 311 08$a0195144139 311 08$a9780195085952 311 08$a0195085957 320 $aIncludes bibliographical references and index. 327 $aContents; ASPECTS OF INDO-EUROPEAN POETICS; I. The Field of Comparative Poetics: Introduction and Background; II. Case Studies; III. The Strophic Style: An Indo-European Poetic Form; HOW TO KILL A DRAGON IN INDO-EUROPEAN: A CONTRIBUTION TO THE THEORY OF THE FORMULA; IV. The Basic Formula and Its Variants in the Narration of the Myth; V. Some Indo-European Dragons and Dragon-Slayers; VI. From Myth to Epic; VII. From Myth to Charm; Abbreviations; References; Indexes of names and subjects; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Y; Z; Index of passages 327 $aIndex of words 330 8 $aA demonstration of the continuity of poetic formulae in Indo-European languages from Old Hittite to medieval Irish. Using the comparative method, the traditional poetic formulae can be reconstructed back to the original common languages, thus revealing the tenacity of the poetic tradition. 410 0$aOxford scholarship online. 606 $aIndo-European philology 606 $aPoetics 606 $aComparative linguistics 615 0$aIndo-European philology. 615 0$aPoetics. 615 0$aComparative linguistics. 676 $a809 676 $a809.1 700 $aWatkins$b Calvert$0218666 801 0$bUk 801 1$bUk 801 2$bStDuBDSZ 801 2$bStDuBDSZ 906 $aBOOK 912 $a9910964909603321 996 $aHow to kill a dragon$9722715 997 $aUNINA LEADER 05221nam 22005653 450 001 9911018159403321 005 20250819110402.0 010 $a1-003-62356-5 010 $a1-04-042378-7 035 $a(MiAaPQ)EBC32077155 035 $a(Au-PeEL)EBL32077155 035 $a(CKB)39710582800041 035 $a(OCoLC)1530395443 035 $a(ODN)ODN0012149937 035 $a(EXLCZ)9939710582800041 100 $a20250727d2025 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPhilosophy and Management $eGreat Minds and Organizational Ideas 205 $a1st ed. 210 $d2025 210 1$aOxford :$cTaylor & Francis Group,$d2025. 210 4$dİ2025. 215 $a1 online resource (287 pages) 225 1 $aRoutledge Open Business and Economics Series 311 08$a1-04-042381-7 311 08$a1-04-103373-7 327 $aCover -- Half Title -- Series Page -- Title Page -- Copyright Page -- Table of Contents -- Introduction -- Chapter 1 Strategic Management -- 1.1 Conflict Resolution and Buddhism -- 1.2 Decision-Making and Stoicism -- 1.3 Change Management and Heraclitus Philosophy -- 1.4 Strategic Planning and Utilitarianism -- 1.5 Business Development and Dialectics -- 1.6 Corporate Strategy and Game Theory -- 1.7 Strategic Vision and Transcendentalism -- 1.8 Corporate Vision and Utopianism -- 1.9 Adaptive Management and Darwinian Theory -- References -- Chapter 2 Human Resources Management -- 2.1 Performance Management and Virtue Ethics -- 2.2 Human Resources and Feminist Ethics -- 2.3 Talent Management and Personalism -- 2.4 Employee Engagement and Humanism -- Chapter 3 Corporate Governance and Ethics -- 3.1 Corporate Governance and Deontology -- 3.2 Corporate Accountability and Libertarianism -- 3.3 Corporate Ethics and Existential Nihilism -- 3.4 Corporate Social Responsibility and Altruism -- 3.5 Organizational Power and Knowledge -- 3.6 Conclusion -- Chapter 4 Organizational Behaviour -- 4.1 Organizational Learning and the Socratic Method -- 4.2 Organizational Integrity and Ethical Relativism -- 4.3 Organizational Development and Systems Thinking -- 4.4 Organization as Communicative Action -- Chapter 5 Culture and Identity -- 5.1 Cultural Intelligence and Hermeneutics -- 5.2 Cultural Change and Postmodernism -- 5.3 Stakeholder Engagement and Ubuntu Philosophy -- 5.4 Cross-Cultural Management and Cultural Relativism -- Chapter 6 Innovation and Creativity -- 6.1 Innovation and the Philosophy of Science -- 6.2 Continuous Innovation and Pragmatism -- 6.3 Design Thinking and Structuralism -- 6.4 Disruptive Innovations and Deconstruction -- 6.5 Innovation and Rhizomatic Thinking -- Chapter 7 Knowledge Management and Technology. 327 $a7.1 Knowledge Management and Constructivism -- 7.2 Digital Transformation and Transhumanism -- 7.3 AI Governance and Taoism -- 7.4 Virtual Reality and Gamification as Simulacra -- Chapter 8 Risk and Crisis Management -- 8.1 Financial Management and Rationalism -- 8.2 Risk Management and Epicureanism -- 8.3 Crisis Management and Absurdism -- 8.4 Crisis Communication and Speech Act Theory -- Chapter 9 Marketing and Customer Relations -- 9.1 Customer Relationship Management and Empiricism -- 9.2 Brand Management and Semiotics -- 9.3 Superior Customer Service and Levinasian Ethics -- 9.4 Phenomenological Customer Experience -- 9.5 Surrealist Marketing -- Chapter 10 Process and Project Management -- 10.1 Agile Management and Post-Structuralism -- 10.2 Time Management and Heidegger's Being and Time -- 10.3 Project Management and Process Philosophy -- 10.4 Mergers and Acquisitions and Critical Theory -- Chapter 11 Sustainability and Diversity -- 11.1 Sustainable Production and Deep Ecology -- 11.2 Diversity Management and Pluralism -- 11.3 Green Logistics and Environmental Philosophy -- 11.4 Inclusion in Organization from Post-Colonial Philosophy -- Chapter 12 Leadership -- 12.1 Ethical Leadership and Confucianism -- 12.2 Leadership and Existentialism -- 12.3 Servant Leadership and Care Ethics -- 12.4 Management of Meaning and Post-Humanism -- 12.5 Conclusions -- Conclusions: The Emerging Frontiers of Philosophical Management -- Index. 330 $aWith classical and modern philosophical thought as its backbone, Philosophy and Management: Great Minds and Organizational Ideas demonstrates that the most renowned thinkers in human history, such as Aristotle, Confucius, and Nietzsche, provide timeless wisdom to navigate the complexity of today's business environments. 410 0$aRoutledge Open Business and Economics Series 606 $aNonfiction$2OverDrive 606 $aBusiness$2OverDrive 615 17$aNonfiction. 615 7$aBusiness. 676 $a658.001 686 $aBUS071000$aBUS085000$aBUS103000$2bisacsh 700 $aSu?kowski$b ?ukasz$01356419 701 $aDacko-Pikiewicz$b Zdzis?awa$01207748 701 $aSzczepan?ska-Woszczyna$b Katarzyna$01748083 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911018159403321 996 $aPhilosophy and Management$94413315 997 $aUNINA