Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Business-to-Business Marketing
This comprehensive yet concise text covers both the theory and practice of business-to-business (B2B) marketing from a European perspective in a globalised world. New to this edition: More coverage of digital marketing and social media in relation to B2B More coverage of issues relating to sustainability and corporate social responsibility More visual features and an update of the ‘B2B Snapshots’ New international examples and case studies including Zara, eBay, DHL, LinkedIn, and the horsemeat scandal This new edition also includes more extensive online resources including full lecturer materials with new exam questions and further materials for students including video links, further case studies, a quiz and open access links to relevant SAGE journal articles per chapter. The text is relevant to all students taking a university module in B2B marketing at undergraduate or postgraduate levels. It will also be relevant to researchers and practitioners in the area of B2B marketing. Electronic inspection copies are available for instructors.
Linear Logic in Computer Science
This book illustrates linear logic in the application of proof theory to computer science.
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2002, held in Kanpur, India in December 2002. The 26 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 108 submissions. A broad variety of topics from the theory of computing are addressed, from algorithmics and discrete mathematics as well as from logics and programming theory.
Business-to-Business Marketing
The Second Edition of this bestselling B2B marketing textbook offers the same accessible clarity of insight, combined with updated and engaging examples. Each chapter contains a detailed case study to further engage the reader with the topics examined. - Featuring updated case studies and a range of new examples. - Incorporating additional coverage of B2B branding and the B2B strategic marketing process, and issues of sustainability. - Extended coverage of Key Account Management - Online lecturer support including PowerPoint slides and key web links Drawing on their substantial experience of business-to-business marketing as practitioners, researchers and educators, the authors make this exc...
Automated Deduction - CADE-15
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.
Programming with Higher-Order Logic
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
Telephone Directory
Each issue includes a classified section on the organization of the Dept.
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000. The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.
