1035,81 zł

Petri Nets Springer, Berlin

Książki / Literatura obcojęzyczna

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.

Sklep: Libristo.pl

94,89 zł

WPROWADZENIE DO UCZENIA MASZYNOWEGO ESPOSITO DINO WYDAWCA

Podręczniki, artykuły szkolne > Podręczniki do szkół podst. i średnich

Wprowadzenie do uczenia maszynowego według Esposito   Opanuj koncepcje uczenia maszynowego i rozwiązuj rzeczywiste problemy Uczenie maszynowe stwarza niesamowite możliwości, a książka Wprowadzenie do uczenia maszynowego zawiera praktyczną wiedzę o ich wykorzystaniu. Dino i Francesco Esposito zaczynają od krótkiego omówienia podstawowych zagadnień sztucznej inteligencji oraz zasad każdego projektu uczenia maszynowego. Następ-nie wprowadzają do potężnej biblioteki ML.NET opracowanej przez firmę Microsoft. Omawiają między innymi przetwarzanie danych, uczenie i weryfikację. Prezentują rodziny algorytmów, które można uczyć w celu rozwią-zywania rzeczywistych problemów, a także techniki uczenia głębokiego wykorzystujące sieci neuronowe. Na koniec autorzy omawiają wartościowe usługi czasu wykonywania, dostępne za pośrednictwem chmury obli-czeniowej Azure, a także rozważają długoterminowe perspektywy biznesowe związane z uczeniem maszyno-wym. Dino Esposito, 14-krotnie wyróżniony tytułem Microsoft MVP, oraz Francesco Esposito ułatwią nam: ?Zgłębianie poznanych zasad uczenia się ludzi oraz budowy inteligentnego oprogramowania ?Odkrycie problemów, które można rozwiązać z wykorzystaniem uczenia maszynowego ?Zrozumienie potoku uczenia maszynowego, czyli kroków prowadzących do uzyskania gotowego modelu ?Użycie AutoML w celu automatycznego wybrania najlepszego potoku dla dowolnego problemu i zbioru danych ?Opanowanie biblioteki ML.NET, zaimplementowanie jej potoku oraz wykorzystanie zadań i algorytmów ?Zgłębianie matematycznych podstaw uczenia maszynowego ?Prognozowanie, ulepszanie sposobów podejmowania decyzji i stosowanie metod probabilistycznych ?Grupowanie danych poprzez klasyfikację i klasteryzację ?Poznanie podstaw uczenia głębokiego, włącznie z projektowaniem sieci neuronowych ?Wykorzystanie usług w chmurze AI w celu szybszego tworzenia lepszych rzeczywistych rozwiązań O książce ?Dla profesjonalistów zamierzających tworzyć aplikacje wykorzystujące uczenie maszynowe: zarówno dla programistów chcących zdobyć umiejętności z zakresu analizy danych, jak i dla analityków danych, którzy chcą zdobyć odpowiednie umiejętności programistyczne ?Zawiera przykładowe scenariusze kodu uczenia maszynowego wykorzystujące bibliotekę ML.NET O autorach Dino Esposito, 14-krotnie wyróżniony tytułem Microsoft MVP, jest autorem ponad 20 książek, włącznie z best-sellerem wydawnictwa Microsoft Press, zatytułowanym Microsoft .NET: Architecting Applications for the Enter-prise. Od 22 lat jest autorem kolumny ?Cutting Edge?, a także prowadzi regularne wykłady w firmie Microsoft i na niezależnych wydarzeniach branżowych na całym świecie. Od ponad 25 lat jest programistą, a obecnie kon-centruje się na sztucznej inteligencji w kontekście inteligentnych rozwiązań dla miast i energetyki, pracując na stanowisku stratega do spraw korporacyjnych rozwiązań cyfrowych w BaxEnergy. Francesco Esposito jest 21-letnim programistą zawieszonym między zagadnieniami zaawansowanej matema-tyki i tajnikami nauk o danych. Interesuje się przede wszystkim hydrologią i służbą zdrowia. Francesco założył Youbiquitous, firmę zajmującą się oprogramowaniem i sztuczną inteligencją, a także prowadzi małą firmę in-westycyjną. Cały przykładowy kod, włącznie z kompletnymi aplikacjami, jest dostępny pod adresem MicrosoftPressStore.com/IntroMachineLearning/downloads Obraz na okładce autorstwa Andrey?a Pronin/aAlamy Stock Vector

Sklep: ksiazkitanie.pl

399,90 zł

CorelDRAW Home&Student Suite 2019 Corel

oprogramowanie > obróbka grafiki

Licencja wieczysta, nie do użytku komercyjnego. Obszerny zestaw narzędzi Daj wyraz swojej kreatywności dzięki szerokiemu zestawowi narzędzi do projektowania graficznego zawartemu w pakiecie CorelDRAW Home & Student Suite 2019. Ten wszechstronny pakiet spełni Twoje potrzeby projektowe między innymi w zakresie opracowywania ilustracji, układów stron, edycji zdjęć, trasowania czy przygotowywania obrazów do publikacji w Internecie zarówno w ramach zadań szkolnych, jak i własnych projektów. Pakiet CorelDRAW Home & Student 2019, z funkcjami udoskonalonymi dzięki inspiracji od użytkowników, ulepszonym interfejsem i nowymi gotowymi szablonami, to przyjazne dla użytkownika, wszechstronne i przystępne cenowo rozwiązanie pozwalające na uzyskanie wyjątkowych rezultatów za każdym razem. Środowisko przyjazne dla użytkownika Pakiet CorelDRAW Home & Student Suite jest oferuje mnóstwo wbudowanych narzędzi, materiałów szkoleniowych i przykładowych projektów, które umożliwią Ci szybką naukę i uzyskanie od razu odpowiednich efektów. Ponadto rozwinięta społeczność CorelDRAW zawsze chętnie udzieli Ci pomocy. Korzystaj z przydatnego okna dokowanego Podpowiedzi, które przedstawia, jak posłużyć się narzędziem, które właśnie zostało wybrane. Możesz też wypróbować jeden z nowych szablonów umożliwiających, między innymi, tworzenie broszur, plakatów, kartek i obrazków do publikacji w serwisach społecznościowych, bez konieczności rozpoczynania pracy od podstaw. Wszechstronność projektowania i układu Projektuj z łatwością dzięki w pełni zintegrowanemu pakietowi aplikacji. Program CorelDRAW łączy najważniejsze funkcje umożliwiające projektowanie grafiki i układów stron w jednej aplikacji. Program PHOTO-PAINT włącza profesjonalne narzędzia obróbki zdjęć bezpośrednio do toku pracy miłośników fotografii bez konieczności używania trzech oddzielnych aplikacji. Wygodnie zarządzaj projektami zawierającymi jedną lub wiele stron. Zrobisz to szybciej i sprawniej dzięki nowemu oknu dokowanemu Obiekty, które daje Ci całkowitą kontrolę nad dokumentem i jego strukturą. Znakomite narzędzia do edycji zdjęć Retuszuj i udoskonalaj zdjęcia dzięki wszechstronnym narzędziom programu PHOTO-PAINT do edycji zdjęć, których działanie bazuje na warstwach. Odkrywaj łatwe w użyciu narzędzia, usuwając niedoskonałości, poprawiając perspektywę czy stosując efekty specjalne. Przekonasz się, że te przyjazne dla użytkownika funkcje zapewniają kontrolę i precyzję, dzięki którym opracujesz profesjonalnej jakości obrazy nawet przy dużych rozdzielczościach. Nowoczesne możliwości w zakresie obsługi plików i sprzętu Zgodność z wieloma formatami plików i ich obsługa pozwalają z łatwością zapisywać, drukować i udostępniać pliki w najpopularniejszych formatach. Wykonuj zadania szybciej, korzystając z najnowszych aktualizacji systemu Windows, udoskonalonej obsługi rysików czy wyświetlania na kilku monitorach, także w jakości Ultra HD 4K. Zoptymalizowany pod kątem obsługi dotykowej interfejs usprawnia realizację projektów za pomocą dotyku lub rysika. Zawartość zestawu CorelDRAW 2019 Home & Student - Vector illustration and page layout Corel PHOTO-PAINT 2019 Home & Student - Image editing PowerTRACE - Bitmap-to-vector tracing (included as part of CorelDRAW application) CONNECT Content - Content finder (included as part of CorelDRAW application) CAPTURE - Screen capture tool Wymagania systemowe Windows 10, 8.1 lub Windows 7, wersje 32-bit lub 64-bit, z najnowszymi aktualizacjami i Service Pack'ami. Intel Core i3/5/7/9 lub AMD Athlon 64 2 GB RAM 2,5 GB wolnego miejsca na dysku twardym mysz, touchpad lub tablet rozdzielczość ekranu 1280 x 720 przy 100% (96 dpi) Microsoft Internet Explorer 11 lub wyzszy Microsoft .NET Framework 4.7.2

Sklep: SklepWideo.pl

4,14 zł

Kolorowe historie nr 01 - Praca zbiorowa

Książki & Multimedia > Książki

Opis - "Kolorowe historie nr 1" - kolorowanki dla dzieci z naklejkami! Kształt z wykrojnika oraz fluorescencyjny kolor na okładce. Nazwa - Kolorowe historie nr 01 Autor - Praca zbiorowa Oprawa - Miękka Wydawca - MD Kod ISBN - 9788378601616 Kod EAN - 9788378601616 Rok wydania - 2013 Format - 205 / 275 / x Ilość stron - 32 Podatek VAT - 5% Premiera - 2013-11-12

Sklep: InBook.pl

Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice

1. Sklepy z net szop pl vector

2. Szukaj na wszystkich stronach serwisu

t1=0.011, t2=0, t3=0, t4=0.011, t=0.011