Visar resultat för..."TLA"
411 kr
Skickas inom 3-6 vardagar
528 kr
Skickas inom 3-6 vardagar
459 kr
Skickas inom 10-15 vardagar
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
556 kr
Skickas inom 10-15 vardagar
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
556 kr
Skickas inom 10-15 vardagar
555 kr
Skickas inom 10-15 vardagar
400 kr
Skickas inom 3-6 vardagar
379 kr
Skickas inom 3-6 vardagar
186 kr
Skickas inom 5-8 vardagar
270 kr
Skickas inom 5-8 vardagar
183 kr
Skickas inom 5-8 vardagar
273 kr
Skickas inom 5-8 vardagar
266 kr
Skickas inom 5-8 vardagar
243 kr
Skickas
122 kr
Skickas
Titta under flikarna på denna bok, då får du kanske veta om du vågar…En söt och vacker bok för de minsta med massor av överraskningar, stora flikar och olika saker att känna på. Vågar du kittla en tiger? Eller kanske ge krokodilen en kram? Eller...
Lyft på flikarna och känn på de vilda djuren!På slutet kommer en STOR överraskning!199 kr
Skickas
Är den lilla hunden kittlig? Klappa på de mjuka fläckarna för att se vad hunden säger. Byt sedan sida och upptäck om de andra djuren också är kittliga!
En söt bok med taktila ytor att klappa och känna på samt en integrerad ljudknapp på sista sidan.
679 kr
Skickas inom 10-15 vardagar
165 kr
Skickas inom 5-8 vardagar
898 kr
Skickas inom 5-8 vardagar
The 5th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC '98) was organized under the auspices of the IFAC Technical Committee. This Committee is concerned with the use of emerging software and hardware developments in real-time control.
The AARTC '98 Technical Programme consisted of seventeen sessions, covering major areas of software, hardware and applications for real-time control, namely robotics, modeling and control, software design tools and methodologies, industrial process control and manufacturing systems, parallel and distributed systems, non-linear control systems, neural networks, parallel and distributed algorithms for real-time signal processing and control, transport applications, algorithms, fault tolerant systems and fuzzy control.
The contributions were selected from a large number of high-quality full draft papers and late breaking paper contributions presenting very recent research work.
659 kr
Skickas inom 10-15 vardagar
Innovative technologies are changing the way research is performed, preserved, and communicated. Managing Scientific Information and Research Data explores how these technologies are used and provides detailed analysis of the approaches and tools developed to manage scientific information and data. Following an introduction, the book is then divided into 15 chapters discussing the changes in scientific communication; new models of publishing and peer review; ethics in scientific communication; preservation of data; discovery tools; discipline-specific practices of researchers for gathering and using scientific information; academic social networks; bibliographic management tools; information literacy and the information needs of students and researchers; the involvement of academic libraries in eScience and the new opportunities it presents to librarians; and interviews with experts in scientific information and publishing.
Promotes innovative technologies for creating, sharing and managing scientific content Presents new models of scientific publishing, peer review, and dissemination of information Serves as a practical guide for researchers, students, and librarians on how to discover, filter, and manage scientific information Advocates for the adoption of unique author identifiers such as ORCID and ResearcherID Looks into new tools that make scientific information easy to discover and manage Shows what eScience is and why it is becoming a priority for academic libraries Demonstrates how Electronic Laboratory Notebooks can be used to record, store, share, and manage research data Shows how social media and the new area of Altmetrics increase researchers' visibility and measure attention to their research Directs to sources for datasets Provides directions on choosing and using bibliographic management tools Critically examines the metrics used to evaluate research impact Aids strategic thinking and informs decision making1 534 kr
Kommande
741 kr
Skickas inom 10-15 vardagar
New digital technologies have transformed how scientific information is created, disseminated-and discovered. The emergence of new forms of scientific publishing based on open science and open access have caused a major shift in scientific communication and a restructuring of the flow of information. Specialized indexing services and search engines are trying to get into information seekers' minds to understand what users are actually looking for when typing all these keywords or drawing chemical structures. Using artificial intelligence (AI), machine learning, and semantic indexing, these "discovery agents" are trying to anticipate users' information needs. In this highly competitive environment, authors should not sit and rely only on publishers, search engines, and indexing services to make their works visible. They need to communicate about their research and reach out to a larger audience. Driving Science Information Discovery in the Digital Age looks through the "eyes" of the main "players" in this "game" and examines the discovery of scientific information from three different, but intertwined, perspectives:
Discovering, managing, and using information (Information seeker perspective) Publishing, disseminating, and making information discoverable (Publisher perspective) Creating, spreading, and promoting information (Author perspective). Presents an overview of the current scientific publishing landscape Shows how users can search for scientific information more efficiently Critically analyses the metrics used to measure the quality of journals and the impact of research Looks at the discovery of scientific information from the perspectives of information seekers, publishers, and authors Delves into the practices used by specialized indexing services and search engines to process scientific information and make it discoverable Recommends strategies that authors could use to promote their research300 kr
Skickas inom 5-8 vardagar
3 433 kr
Skickas inom 7-10 vardagar
1 591 kr
Skickas inom 5-8 vardagar
420 kr
Skickas inom 5-8 vardagar
510 kr
Skickas inom 5-8 vardagar
785 kr
Skickas inom 11-20 vardagar
690 kr
Skickas inom 5-8 vardagar
1 050 kr
Skickas inom 10-15 vardagar