Przejdź do wyników wyszukiwania
Sortuj:
Zainstaluj wyszukiwarkę
  • []

    Kategoria: Książki & Multimedia > KsiążkiWysyłka: do 3 dni

    inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych. Nazwa - Metody formalne w inżynierii oprogramowania systemów czasu... Pełen opis produktu 'Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz, Szpyrka Marcin' »

    Opis - Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską.Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych. Nazwa - Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego Oryginalny tytuł - 8 Minute Meditation: Quiet Your Mind. Change Your Life Autor - Szmuc Tomasz, Szpyrka Marcin Oprawa - Miękka Wydawca - Helion Kod ISBN - 9788320436693 Kod EAN - 9788320436693 Wydanie - 1 Rok wydania - 2010 Język - PL Tłumacz - Engel Marcin Format - 16.5x23.9cm Ilość stron - 466 Typ podręcznika - Podręcznik Przedmiot - Informatyka - Zajęcia komputerowe Podatek VAT - 5% Premiera - 2010-07-15
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego - Szmuc Tomasz, Szpyrka Marcin

  • Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego w sklepie internetowym Prolibri.pl

    Powiększ zdjęcie

    74,66 zł
    82,95 zł

    [wnt]

    Kategoria: Nauki ścisłe >InformatykaWysyłka: do 3 dni

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu... Pełen opis produktu 'Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego' »

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską.Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych....
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

  • [WNT]

    Kategoria: Szkoły policealne. Szkoły wyższeWysyłka: od ręki

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu... Pełen opis produktu 'Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego' »

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską. Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych.
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

  • [WNT]

    Kategoria: Książki > Technika. Informatyka. Przemysł. Rzemiosło. Rolnictwo > Informatyka. Cybernetyka. Komputery > Oprogramowanie > Programowanie. Języki programowania

    "Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu... Pełen opis produktu 'Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego' »

    "Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską. Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych."
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

  • [Wydawnictwa Naukowo-Techniczne]

    Kategoria: Książki>Technika. Informatyka. Przemysł. Rolnictwo.>Informatyka. Cybernetyka. Komputery>Oprogramowanie>ProgramowanieWysyłka: do 3 dni

    0x0036bab000000000

    Ranking sklepy24.pl : 0

    Więcej o Metody Formalne W Inżynierii Oprogramowania Systemów Czasu Rzeczywistego

  • [wnt]

    Kategoria: Książki techniczne>Informatyka. Cybernetyka. KomputeryWysyłka: od ręki

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu... Pełen opis produktu 'Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego' »

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską.Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych....
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

  • [WNT]

    Kategoria: Książki/Informatyka/InformatykaWysyłka: do 3 dni
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

  • Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego w sklepie internetowym Madbooks.pl

    Powiększ zdjęcie

    65,56 zł
    70,61 zł

    [wnt]

    Kategoria: Podręczniki szkolneWysyłka: od ręki

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu... Pełen opis produktu 'Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego' »

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską.Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych....
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

  • [WNT]

    Kategoria: Nauka / Informatyka

    Rozwijający się rynek zastosowań systemĂłw informatycznych powoduje wzrost zapotrzebowania na systemy, ktĂłre powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości... Pełen opis produktu 'Metody formalne w inĹźynierii oprogramowania systemĂłw czasu rzeczywistego' »

    Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż oczekiwania te wzajemnie się wykluczają, wciąż podejmowane są próby opracowania metod, które by je spełniły. W ostatnich latach obserwuje się wzrost zainteresowania zastosowaniem metod formalnych przy realizacji systemów informatycznych. Książka składa się z dwóch powiązanych części: teoretycznej i teoretyczno-aplikacyjnej. W pierwszej przedstawiono elementy wykładu z logiki matematycznej, teorii sieci Petriego i algebry procesów. Druga część ma charakter bardziej przystępny, ukierunkowany na praktykę inżynierską. Książka jest przeznaczona jest dla tych, którzy metody formalne chcą wykorzystać w badaniach naukowych lub w praktyce inżynierskiej, dla wykładowców takich przedmiotów, które przynajmniej częściowo dotyczą tych metod, a także dla studentów studiów inżynierskich, magisterskich i doktoranckich, na których wykładane są zagadnienia dotyczące metod formalnych.
    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inĹźynierii oprogramowania systemĂłw czasu rzeczywistego

  • [WNT]

    Kategoria: Książki / Technika. Informatyka. Przemysł. Rzemiosło. Rolnictwo / Informatyka. Cybernetyka. Komputery

    .

    Ranking sklepy24.pl : 0

    Więcej o Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego.


Kumiko.pl

Książki.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 12.10.2009
wydawnictwo naukowe pwn, cambridge university press, olesiejuk, zielona sowa, helion, egmont, pzwl, clementoni, wydawnictwo uniwersytetu warszawskiego, trefl
Produkty w ofercie: 78500
Promocje: b/d
Wysyłka do 3 dni: b/d
Opinie pozytywne: 0
Opinie neutralne: 0
Opinie negatywne: 0

Prolibri.pl

Książki i audiobooki.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 27.05.2011
wydawnictwo naukowe pwn, wolters kluwer, cambridge university press, olesiejuk, helion, zielona sowa, egmont, umcs, zysk i s-ka, pzwl
Produkty w ofercie: 91751
Promocje: 90639
Wysyłka do 3 dni: 91750
Opinie pozytywne: 0
Opinie neutralne: 0
Opinie negatywne: 0

ksiazki-naukowe.pl

Książki naukowe
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 22.03.2017
wydawnictwo naukowe pwn, pzwl, zielona sowa, cambridge university press, edra urban & partner, pascal, wydawnictwo uniwersytetu warszawskiego, wydawnictwo szkolne pwn, literat, helion
Produkty w ofercie: 10393
Promocje: b/d
Wysyłka do 3 dni: b/d
Opinie pozytywne: 0
Opinie neutralne: 0
Opinie negatywne: 0

Gigant.pl

Książki, muzyka oraz filmy.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 18.06.2008
cd baby, universal music, warner music, naxos classical, imports, sony music entertainment, sony music, bis records, chandos, essential media afw
Produkty w ofercie: 2183576
Promocje: b/d
Wysyłka do 3 dni: 163230
Opinie pozytywne: 22
Opinie neutralne: 1
Opinie negatywne: 5

Selkar.pl

Literatura popluarnonaukowa oraz książki wielogatunkowe.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 06.03.2007
pwn wydawnictwo naukowe, egmont, helion, Świat książki, wolters kluwer polska, albatros, c.h. beck, bellona, w.a.b., olesiejuk sp. z o.o.
Produkty w ofercie: 74490
Promocje: b/d
Wysyłka do 3 dni: 72862
Opinie pozytywne: 5
Opinie neutralne: 0
Opinie negatywne: 1

InBook.pl

Książki , płyty CD, DVD, multimedia, zegarki, zabawki
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 19.04.2008
Produkty w ofercie: 163450
Promocje: b/d
Wysyłka do 3 dni: 163450
Opinie pozytywne: 9
Opinie neutralne: 1
Opinie negatywne: 6

Booknet.net.pl

Książki oraz podręczniki.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 09.03.2011
pwn wydawnictwo naukowe, wydawnictwo olesiejuk, egmont, helion, c.h. beck, cambridge university press, wsip wydawnictwo szkolne i pedagogiczne, zielona sowa, bellona, wolters kluwer
Produkty w ofercie: 329777
Promocje: b/d
Wysyłka do 3 dni: 329777
Opinie pozytywne: 0
Opinie neutralne: 0
Opinie negatywne: 0

Madbooks.pl

Książki i komiksy oraz podręczniki.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 15.04.2009
wydawnictwo naukowe pwn, helion, wolters kluwer, olesiejuk, c.h. beck, zielona sowa, prószyński media, egmont, wam, difin
Produkty w ofercie: 83659
Promocje: 48532
Wysyłka do 3 dni: 83659
Opinie pozytywne: 4
Opinie neutralne: 0
Opinie negatywne: 0

Literacka.pl

Książki.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 25.05.2009
wydawnictwo naukowe pwn, wydawnictwo olesiejuk, egmont, wolters kluwer polska, helion, cambridge university press, olesiejuk, zielona sowa, muza, c.h. beck
Produkty w ofercie: 171485
Promocje: b/d
Wysyłka do 3 dni: b/d
Opinie pozytywne: 113
Opinie neutralne: 1
Opinie negatywne: 1

Bonusmedia

Książki, audiobooki, filmy oraz nagrania muzyczne.
Sklepy24.pl - przewodnik kupujących online Sklep wpisany: 17.01.2013
wydawnictwo naukowe pwn, wolters kluwer, helion, c.h. beck, bellona, zysk i s-ka, egmont, lexisnexis, literackie, rebis
Produkty w ofercie: 51304
Promocje: b/d
Wysyłka do 3 dni: 51299
Opinie pozytywne: 0
Opinie neutralne: 0
Opinie negatywne: 0