02916nam 2200553 450 991047890660332120170918214658.00-8218-7694-5(CKB)3240000000069633(EBL)3112895(SSID)ssj0001339697(PQKBManifestationID)11915155(PQKBTitleCode)TC0001339697(PQKBWorkID)11355598(PQKB)10878862(MiAaPQ)EBC3112895(WaSeSS)Ind00039247(PPN)197104290(EXLCZ)99324000000006963319900111h19901990 uy| 0engur|n|---|||||txtccrLogic and computation proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /Wilfried Sieg, editorProvidence, Rhode Island :American Mathematical Society,[1990]©19901 online resource (314 p.)Contemporary mathematics,0271-4132 ;volume 106"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.0-8218-5110-1 Includes bibliographical references.""Contents""; ""Preface""; ""Some theories conservative over intuitionistic arithmetic""; ""Ramsey interpreted: A parametric version of Ramsey's theorem""; ""Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic""; ""A note on polynomial time computable arithmetic""; ""Axiomatizations and conservation results for fragments of bounded arithmetic""; ""A smash-based hierarchy between PTIME and PSPACE""; ""Polymorphic typed lambda-calculi in a type-free axiomatic framework""; ""Polynomial time computable arithmetic""""Metaprogramming in SIL""""W K Lo and orderings of countable abelian groups""; ""Marriage theorems and reverse mathematics""; ""Computationally based set existence principles""; ""Hierarchy results for mixed-time""; ""Polynomial time equivalence types""; ""Program development through proof transformation""; ""Some models of Scott's theory LC F based on a notion of rate of convergence""; ""Sharply bounded arithmetic and the function a -1""; ""Radon-nikodym theorem is equivalent to arithmetical comprehension""Contemporary mathematics (American Mathematical Society) ;106.Computable functionsData processingCongressesElectronic books.Computable functionsData processing511.3Sieg Wilfried1945-Workshop on Logic and ComputationMiAaPQMiAaPQMiAaPQBOOK9910478906603321Logic and Computation376364UNINA04515nam 2200517Ia 450 991100683800332120200520144314.00-7844-7102-9(CKB)2670000000078791(EBL)3115459(SSID)ssj0000485743(PQKBManifestationID)12168152(PQKBTitleCode)TC0000485743(PQKBWorkID)10610345(PQKB)11508636(OCoLC)708569229(MiAaPQ)EBC3115459(ASCE)10.1061/9780784406755(EXLCZ)99267000000007879120030827d2004 uy 0engur|n|---|||||txtccrManaging and leading 52 lessons learned for engineers /Stuart G. WaleshReston, VA American Society of Civil Engineersc20041 online resource (300 p.)Description based upon print version of record.0-7844-0675-8 Includes bibliographical references and index.Leading, Managing, and Producing; Roles—Then Goals; Smart Goals; Too Much of a Good Thing; DWYSYWD; Defining Moments; Courage: Real and Counterfeit; Thank Our 50 Stars; Go Out on a Limb; Keeping Our Personal Financial Score; Job Security Is an Oxymoron, Career Security Doesn't Have to Be; Are You Unemployable?; Afraid of Dying, or Not Having Lived?; Communicating Five Ways; So, What Do You Know About Bluebirds?; Talk to Strangers; You're Tall and That's All; Balance High Tech and High Touch; Trimming Our Hedges; Write to Find Out What We Think; Start Writing on Day 1; P; Practice Out Loud; DAD Is Out, POP Is In; Professional Students; Garage Sale Wisdom; Read and You Won't Need a Management Consultant; Caring Isn't Coddling; More Coaching, Less Osmosis; Education and Training: From Ad Hoc to Bottom Line; We Don't Make Whitewalls: Work Smarter, Not Harder; The Power of Our Subconscious; Delegation: Why Put Off Until Tomorrow What Someone Else Can Do Today?; TEAM: Together Everyone Achieves More; Virtual Teams; Fruits of Effective Project Management; Every Project Is Done Twice; Limiting Liability; An Unhidden Agenda; Agenda Item: Good News; Minutes: Earning a Return on the Hours Invested in Meetings; A Simple Professional Services Marketing Model; Speed as a Competitive Edge; The Chimney Sweep and the Sewer Cleaner: The Importance of Style; Our Most Important Asset; Interviewing So Who You Get Is Who You Want; Eagles and Turkeys; AH HA! A Process for Effecting Change; Giving to Our Profession and Our Community; F = ma and You Can't Push a Rope; The Two Cultures: Bridging The Gap; Looking Ahead: Can You Spare a Paradigm; Sources of Quotations; Back Matter; IndexThis book offers useful ideas on ways in which engineers can more effectively approach the nontechnical or soft-side aspects of working with colleagues, clients, customers, the public, and other stakeholders. Reflecting upon 40 years of engineering and management experience, Walesh shares in his often-humorous style lessons learned that will advance your management and leadership skills. Each of the 52 quick essays offers an idea or principle for engineers to improve their managing and leading skills. Each essay is followed by pragmatic suggestions for ways to immediately apply and test the ideas using application tools such as action items, guidelines, dos and don'ts, checklists, forms, and resource materials such as articles, papers, and books. Plus, more than 60 e-newsletters and websites are referenced. Examples of managing and leading topics treated in this book are distinctions between managing and leading, goal formulation and achievement, improving personal and organizational productivity, courage, asking and listening, presenting papers, coaching, power of the subconscious mind, meetings, delegation, teamwork, project management, marketing, style, and effecting change. Anyone interested in advancing management and leadership skills will gain from the experience of the author and the valuable tools offered in this book.EngineeringManagementLeadershipEngineeringManagement.Leadership.620/.0068Walesh S. G893572MiAaPQMiAaPQMiAaPQBOOK9911006838003321Managing and leading4389275UNINA