- Table View
- List View
Languages and Compilers for Parallel Computing
by Xipeng Shen Frank Mueller James TuckThisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015. The19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizingframework, parallelizing compiler, communication and locality, parallelapplications and data structures, and correctness and reliability.
Languages, Applications and Technologies
by Alberto Simões José-Paulo Leal José-Luis Sierra-RodríguezThis bookconstitutes the refereed proceedings of the 4th International Symposium onLanguages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, inJune 2015. The 17 revised full papers presented werecarefully reviewed and selected from 57 submissions. The papers are organizedin topical sections on human-human languages; human-computer languages; computer-computer languages.
Languages, Design Methods, and Tools for Electronic System Design
by Rolf Drechsler Robert WilleThisbook brings together a selection of the best papers from the eighteenth editionof the Forum on specification and Design Languages Conference (FDL), which tookplace on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forumdevoted to dissemination of research results, practical experiences and newideas in the application of specification, design and verification languages tothe design, modeling and verification of integrated circuits, complexhardware/software embedded systems, and mixed-technology systems.
Languages, Design Methods, and Tools for Electronic System Design
by Franco Fummi Robert WilleThis book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 (Lecture Notes in Electrical Engineering #530)
by Daniel Große Sara Vinco Hiren PatelThis book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Covers modeling and verification methodologies targeting digital and analog systems;Addresses firmware development and validation;Targets both functional and non-functional properties;Includes descriptions of methods for reliable system design.
Languages, Design Methods, and Tools for Electronic System Design
by Julio Luis Medina Pasaje Frank OppenheimerThis book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 (Lecture Notes in Electrical Engineering #611)
by Tom J. Kazmierski Sebastian Steinhorst Daniel GroßeThis book brings together a selection of the best papers from the twenty-first edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Covers Assertion Based Design, Verification & Debug;Includes language-based modeling and design techniques for embedded systems;Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains;Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).
Languages, Design Methods, and Tools for Electronic System Design
by Marie-Minerve Louërat Torsten MaehneThis book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems and mixed-technology systems.
Languages for Specific Purposes in the Digital Era
by Elena Bárcena Timothy Read Jorge ArúsExplores the direct relation of modern CALL (Computer-Assisted Language Learning) to aspects of natural language processing for theoretical and practical applications, and worldwide demand for formal language education and training that focuses on restricted or specialized professional domains. Unique in its broad-based, state-of-the-art, coverage of current knowledge and research in the interrelated fields of computer-based learning and teaching and processing of specialized linguistic domains. The articles in this book offer insights on or analyses of the current state and future directions of many recent key concepts regarding the application of computers to natural languages, such as: authenticity, personalization, normalization, evaluation. Other articles present fundamental research on major techniques, strategies and methodologies that are currently the focus of international language research projects, both of a theoretical and an applied nature.
The Languages of Western Tonality
by Eytan AgmonTonal music, from a historical perspective, is far from homogenous; yet an enduring feature is a background "diatonic" system of exactly seven notes orderable cyclically by fifth. What is the source of the durability of the diatonic system, the octave of which is representable in terms of two particular integers, namely 12 and 7? And how is this durability consistent with the equally remarkable variety of musical styles -- or languages -- that the history of Western tonal music has taught us exist? This book is an attempt to answer these questions. Using mathematical tools to describe and explain the Western musical system as a highly sophisticated communication system, this theoretical, historical, and cognitive study is unprecedented in scope and depth. The author engages in intense dialogue with 1000 years of music-theoretical thinking, offering answers to some of the most enduring questions concerning Western tonality. The book is divided into two main parts, both governed by the communicative premise. Part I studies proto-tonality, the background system of notes prior to the selection of a privileged note known as "final. " After some preliminaries that concern consonance and chromaticism, Part II begins with the notion "mode. " A mode is "dyadic" or "triadic," depending on its "nucleus. " Further, a "key" is a special type of "semi-key" which is a special type of mode. Different combinations of these categories account for tonal variety. Ninth-century music, for example, is a tonal language of dyadic modes, while seventeenth-century music is a language of triadic semi-keys. While portions of the book are characterized by abstraction and formal rigor, more suitable for expert readers, it will also be of value to anyone intrigued by the tonal phenomenon at large, including music theorists, musicologists, and music-cognition researchers. The content is supported by a general index, a list of definitions, a list of notation used, and two appendices providing the basic mathematical background.
Laptop Repair Complete Guide; Including Motherboard Component Level Repair!
by Garry RomaneoThis book will educate you on the Correct Process of Repairing The Entire Laptop, Including and concentrating more on Motherboard Repair Instruction, Screen Repairing, Component Level Diagnosing and Repairing. This is the 3rd Book Released By Author Garry Romaneo, The Worlds Leading Laptop Repair Technician, Author, and Consultant. The book will take you through the laptops disassembly process, Explaining in detail how to disassemble all laptops. You will then be taught all about Liquid Spills to Laptops. What to do, What not to do, How to Remove Liquid and How To Repair Any Damage from Liquid to parts or components. You will be shown all the various tools to be used in laptop repair both hand tools and electronic tools explained. This book will then explain the entire upper end repairing techniques. Replacing screens - how to- then it will show you in great detail how to disassembly the screen and repair or replace the LCD ccfl Bulb, the book will also discuss LED screens. You will be taught step by step how to solder a motherboard whether it is the components or the dc jack. The DC Jack Repair/Desoldering instructions are included. Most importantly, this book will teach you laptop motherboard repairing techniques. Learn to identify the parts and components on the motherboard, learn component replacement, motherboard testing techniques and more. This book also includes the authors Patented/Copyrighted and Trademarked Laptop Video Chip/GPU Motherboard Online Repair instruction. There is alot more included (Part Identification, Hard Drive Failure Issues etc. . . )so check it out now. Going Above And Beyond CompTia A+ Certification !!!
Laptops All-in-One For Dummies, 2nd Edition
by Corey SandlerThe all-in-one guide to buying, using, securing, and transporting a laptop-it's ten books in one! If you want to take a computer with you on a trip, to a coffee shop, or into the kitchen when you're cooking, laptops are just the ticket. They're portable, powerful, and popular-but they're not desktops, so you'll want to know what you're doing from the get-go. This terrific, ten-minibooks-in-one book covers all the bases: how to choose the best laptop for you, what you need to know when you're on the road, how to get more productive and more. Shows you how to keep your laptop running smoothly and safely at home, at work, in the classroom, and on the road Includes ten books in one: Choosing the Best Laptop, Setting Up Your Laptop, Running Basic Windows Operations, Using Common Applications, Playing with Multimedia, Managing Your Power Supply, Upgrading Your Laptop, Networking and Linking to the Internet, Protecting Your Laptop, and Troubleshooting Common Problems Offers advice and tips on using your laptop safely and efficiently, including what accessories you need Reflects the very latest technologies, including Windows 7 and the new Microsoft Office 2010 This easy-to-follow For Dummies guide tells you everything you need to know about laptops!
Laptops For Dummies
by Dan GookinLaptops For Dummies, 3rd Edition shows you how to use your laptop to its fullest potential, from how to purchase a laptop and what to do when you first open the box to how to keep your laptop safe and running smoothly.You will discover how to choose and purchase the right laptop for you, how to set up and maintain your laptop, customize user accounts, adding your laptop to networks, printing, and connecting to the Internet. In this updated and revised edition, find information about synchronizing with the desktop, coordinating email pickup between two machines, remote access to the desktop, networking, power management, storage, and especially laptop security. You'll find out how to:Navigate all your laptop's componentsUse keyboard shortcuts and a mouseOrganize and manage files and accountsPrint files and add your laptop to a networkProperly equip your laptop carrying case with tools and resourcesManage the power supplyAdd software tools to synchronize and update files between a laptop, a PDA, and a desktop or office serverIn addition to the basics, find lists of ten battery tips and tricks, ten handy laptop accessories, and ten things you should keep in your laptop carrying case in Laptops for Dummies, 3rd Edition, a convenient and handy guide!
Laptops For Dummies
by Dan GookinThe latest on getting the most from laptops and tablets Not that long ago, laptops were seen as luxuries. Now they’re practically an essential for many people, and—as faster computing power and super-sharp displays make many of them the equal of a desktop—the new wave of lightweight laptops is increasingly replacing the home PC with its bulky tower and multiple cords. Plus, you can use your laptop when chilling on the couch or venturing out for a quick coffee! In this fully updated edition of Laptops For Dummies, bestselling tech writer Dan Gookin takes a friendly walk through everything you need to know, from the basics (if you’re new to laptops) all the way up to the latest hardware and tech updates—including the recent release of Windows 10. Along the way you’ll learn how to synchronize your laptop with other machines, coordinate email pickup across devices, and beef up your security. You’ll also learn how to Choose the right laptop Check out tablet options Troubleshoot problems Maintain and upgrade Whether you’re choosing a new laptop or want to maximize what you’re getting from the one you have, Laptops For Dummies has you covered, wherever you want to work—or play!
Laptops For Dummies, 5th Edition
by Dan GookinHit the road with your laptop and this must-have For Dummies guide If you're like most people, your laptop is taking the place of your PC. Whether you're on the road, working at home, or multitasking, your laptop is now an essential, trusted tool. Just in time, beloved and popular author Dan Gookin returns with a new edition that covers the very latest in laptops. From synchronizing with your desktop and coordinating e-mail to maintaining security, networking, working in Windows 8, adding your smartphone to the mix, and more, this book makes understanding laptops simpler than you ever thought possible. Shares the latest basics about laptops, such as new technologies, current processors available, and steps to update memory and hard drive capabilities Covers the new Windows 8 operating system and other popular laptop operating systems, as well as netbooks, wireless networking, and smartphone tethering Explores remote access to the desktop, power management, storage, security, and much more Examines the benefits of mobility for students, employees, and anyone who needs to work on the go Helps you work on the road, employ and enjoy multimedia, and use your laptop professionally Laptops For Dummies, 5th Edition is the fun and friendly guide that will get you going and on the go with your laptop in no time!
Laptops For Seniors For Dummies
by Nancy C. MuirIt's never too late to get up and running on a laptopJust bought your first laptop and not sure where to start? Here's the book you need. Easy-to-follow instructions (plus really easy-to-read fonts!) help you unlock the most convenient and fun aspects to using a laptop. Get advice on selecting the right laptop for you, learn to navigate the operating system without hassle, and get comfortable with files and folders, wireless printing, downloading apps, syncing to mobile phones, and maintaining security. You'll soon be using your trusty laptop for shopping, social networking, instant messaging, e-mailing, playing games, and more.Helps the growing number of seniors who are embracing technology and often using a laptop for the first time get quickly up to speedCovers basics such as how to use the keyboard and mouse, access the Internet, get familiar with Windows 8, and moreGuides you through staying safe online, using various Office applications, connecting to a ?wireless network, working with files and folders, playing games, and, of course, having funFeatures clear, easy-to-follow instructions and a large font and helpful images for easy readingLaptops For Seniors For Dummies, 3rd Edition is specially designed and written to help you become a tech-savvy senior in no time at all.
Laptops For Seniors For Dummies
by Nancy C. MuirGet the most out of your laptop or tablet PC Laptops For Seniors For Dummies makes it easier than ever for the 50+ set to enjoy a laptop or tablet PC by taking the intimidation out of working with a new device. Featuring larger text and images, this bestseller empowers you to keep up with your kids or grandkids with all the latest and greatest that technology has to offer. Assuming no prior knowledge, this accessible guide starts from the beginning by helping you select the right laptop or tablet for your needs, shows how the various parts connect together, and illustrates how to use the keyboard and mouse. Once you've chosen your device and mastered the basics, this book will help you navigate your way around the Windows 10 operating system, show you how to use the touchscreen capabilities, and so much more. In no time at all, you'll wonder why you hadn't bought a laptop sooner! Keep in touch with family and friends through email and social networking sites Get on the internet to shop and browse your favorite sites Ensure your information is safe online Use the latest applications for work and play Everything you love about your desktop computer can be conveniently taken on the go with a laptop. Laptops For Seniors For Dummies will help you have fun and feel successful with your new device.
Laptops For Seniors For Dummies
by Faithe WempenThe basics you need to get more comfortable with laptops, without any of the fluff Laptops For Seniors For Dummies is just for you. We help readers in the 55+ club get the most out of their laptops. You&’ll discover how to choose the best laptop for your needs and how to use Microsoft Windows, to share photos, surf the web, use e-mail, and much more. With large text, clear graphics, and easy-to-follow instructions, this For Seniors For Dummies guide will get you up to speed on your new device in no time. Even if you&’re upgrading from a typewriter, we can help you choose the right laptop to buy, understand your operating system, use files and folders, download and install software, and stay safe online. It&’s all the stuff you need to know to make your laptop work for you. Choose and purchase the right laptop for your needs Navigate your Windows 10 or 11 operating system with confidence and discover useful programs Connect to Wi-Fi, go online, send e-mails, and get started with social media Protect and secure your laptop and your personal dataWhether you&’re purchasing your first laptop or upgrading from older technology, this Dummies guide will take you step by step through everything you need to know to get laptop savvy.
Laptops for the Older and Wiser
by Bud E. SmithHelpful, easy-to-follow guide for new laptop users over the age of 50Laptops are fun and more popular than ever, but they are still computers and come with their own set of issues: easier to steal, more likely to be dropped, often dependent on wireless Internet access, and other concerns. If you're entering the computer world as an older adult--and wondering about laptops--this straightforward, helpful book is for you.Written in full color with lots of screenshots and clear, easy-to-read type, this friendly guide walks you through the process from start to finish: selecting which type of laptop is right for you (PC or Mac?), handling setup, safely adding wireless Internet access, staying secure online, and much more.Provides guidance for purchasing your laptop, bringing it home, and setting upWalks you through all the various connections, buttons and switchesShows you how to connect wirelessly at home and abroad, safelyDelves into laptop accessories, whether you need them, and how to get the most out of themAddresses online security issues and how to stay safeExplores troubleshooting problems and how to save your precious dataPrepare properly, enjoy the freedom, and maybe even show the kids a thing or two with this fun and practical guide!
Laptops Simplified
by Sherry Kinkoph GunterStep-by-step guidance on all things laptop-related, aimed at visual learnersA little overwhelmed by the selection of laptops out there and how to get started using one? Laptops Simplified, Second Edition is here to help! Boasting a straightforward, jargon-free approach, this easy-to-navigate guide takes the fear out of exploring the subject of laptops and breaks it down to the basics. Veteran author Sherry Kinkoph Gunter demystifies common laptop issues such as finding the laptop that is right for you, setting it up, troubleshooting it, and maintaining it. Covers the very basics of connecting to wireless networks while away from home; working with a variety of devices such as cameras, cell phones, and extra monitors; and making sure all security precautions are in place for safe online experiencesFeatures full-color screen shots and numbered, step-by-step instructions on how to get up and running with your laptopIncludes coverage of the new Windows 8 operating systemShares helpful advice from a veteran author on getting the most out of your laptopLaptops Simplified, Second Edition puts you on your way to becoming a confident and savvy laptop user!
Laptops Simplified
by Kate ShoupA step-by-step visual guide to choosing and using a laptopLaptops continue to outsell desktop computers. Whether you're thinking of purchasing a laptop or already own one, this colorful, visual guide is packed with information you need to know. Large, full-color screen shots and step-by-step instructions show you how to choose the right laptop for your needs and how to use Windows 7 and Office 2010, connect to wireless networks, stay safe online, extend battery life, connect mobile devices, and so much more.Laptops are rapidly becoming the computer of choice; this easy-to-follow visual guide covers everything new laptop users need to knowVisual learners will quickly grasp the "read less-learn more" approach, with large, full-color screen shots and numbered, step-by-step instructions for dozens of common tasksCovers various types of laptops and points to consider when choosing one, how to use Windows 7 and Office 2010, and connecting to 3G and Wi-Fi networksExplores maintenance and battery life issues, security, working with cameras and mobile devices, and troubleshootingIf you appreciate visual learning, you'll find Laptops Simplified is the quickest and easiest way yet to start being productive with your laptop.
Laravel: A Framework for Building Modern PHP Apps
by Matt StaufferWhat sets Laravel apart from other PHP web frameworks? Speed and simplicity, for starters. This rapid application development framework and its vast ecosystem of tools let you quickly build new sites and applications with clean, readable code. With this practical guide, Matt Stauffer--a leading teacher and developer in the Laravel community--provides the definitive introduction to one of today's most popular web frameworks.The book's high-level overview and concrete examples will help experienced PHP web developers get started with Laravel right away. By the time you reach the last page, you should feel comfortable writing an entire application in Laravel from scratch.Dive into several features of this framework, including:Blade, Laravel's powerful, custom templating toolTools for gathering, validating, normalizing, and filtering user-provided dataLaravel's Eloquent ORM for working with the application's databasesThe Illuminate request object, and its role in the application lifecyclePHPUnit, Mockery, and PHPSpec for testing your PHP codeLaravel's tools for writing JSON and RESTful APIsInterfaces for file system access, sessions, cookies, caches, and searchTools for implementing queues, jobs, events, and WebSocket event publishingLaravel's specialty packages: Scout, Passport, Cashier, Echo, Elixir, Valet, and Socialite
Laravel: A Framework for Building Modern PHP Apps
by Matt StaufferWhat sets Laravel apart from other PHP web frameworks? Speed and simplicity, for starters. This rapid application development framework and its vast ecosystem of tools let you quickly build new sites and applications with clean, readable code. Fully updated to cover Laravel 5.8, the latest release, the second edition of this practical guide provides the definitive introduction to one of today’s most popular web frameworks.Matt Stauffer—a leading teacher and developer in the Laravel community—delivers a high-level overview and concrete examples to help experienced PHP web developers get started with Laravel right away. By the time you reach the last page, you should feel comfortable writing an entire application in Laravel from scratch.
Laravel 5 Essentials
by Martin BeanThis book is intended for PHP web developers who have an interest in Laravel and who know the basics of the framework in theory, but don't really know how to use it in practice. No experience of using frameworks is required, but it is assumed you are at least familiar with building dynamic websites in PHP already.
Laravel 5 Essentials
by Martin Bean<P><P>Explore the fundamentals of Laravel, one of the most expressive and robust PHP frameworks available <P><P>About This Book <P><P>Create a dynamic web application that can read and write data to a database <P><P>Improve your PHP skills and develop a new outlook on solving programming issues <P><P>A step-by-step guide that covers the different steps involved in creating a complete Laravel application in an easy-to-understand manner <P><P>Who This Book Is For <P><P>This book is intended for PHP web developers who have an interest in Laravel and who know the basics of the framework in theory, but don't really know how to use it in practice. No experience of using frameworks is required, but it is assumed you are at least familiar with building dynamic websites in PHP already. <P><P>What You Will Learn <P><P>Set up a development environment for working with Laravel apps <P><P>Create a working Laravel application from start to finish <P><P>Interact with data and discover Eloquent, Laravel's own ORM <P><P>Create and run migrations and seeds <P><P>Simplify command-line tasks by building Artisan commands <P><P>Protect your app by securing it from common security vulnerabilities <P><P>Perform end-to-end testing after learning the basics of testing in Laravel <P><P>Learn about Laravel's other features including service providers, packages, queue workers, and helpers for working with strings and arrays <P><P>In Detail <P><P>Laravel has established itself as one of the most popular PHP frameworks over the past couple of years. Its popularity comes due to its ease of use, expressive syntax, and the number of components it has, allowing you to achieve practically any task in a modern PHP application. <P><P>If you've not had the opportunity to dive into Laravel yet, then this book will be the perfect companion, as it covers the fundamentals Laravel is built on in a thorough yet easy-to-follow manner. To make this book your best learning source, we have covered integral topics such as preparing an environment for working with Laravel applications, creating your first Laravel application from start to finish, a tour of Laravel's ORM Eloquent, and more advanced topics such as testing, user authentication, and security. Being one of the most interesting features in Laravel, we also cover an overview of Artisan, including descriptions of some of its tasks. Post this, we talk about testing and security. By the end of this book, you will be able to create robust PHP websites and web applications quickly and efficiently.