• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Otmane Ait Mohamed » książki

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2949965]
• Literatura piękna
 [1857847]

  więcej...
• Turystyka
 [70818]
• Informatyka
 [151303]
• Komiksy
 [35733]
• Encyklopedie
 [23180]
• Dziecięca
 [617748]
• Hobby
 [139972]
• AudioBooki
 [1650]
• Literatura faktu
 [228361]
• Muzyka CD
 [398]
• Słowniki
 [2862]
• Inne
 [444732]
• Kalendarze
 [1620]
• Podręczniki
 [167233]
• Poradniki
 [482388]
• Religia
 [509867]
• Czasopisma
 [533]
• Sport
 [61361]
• Sztuka
 [243125]
• CD, DVD, Video
 [3451]
• Technologie
 [219309]
• Zdrowie
 [101347]
• Książkowe Klimaty
 [123]
• Zabawki
 [2362]
• Puzzle, gry
 [3791]
• Literatura w języku ukraińskim
 [253]
• Art. papiernicze i szkolne
 [7933]
Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 3

Dostępność:
Kategoria:
Dostępny język:
Cena:
od:
do:
ilość na stronie:


 Theorem Proving in Higher Order Logics Ait Mohamed, Otmane 9783540710653
Theorem Proving in Higher Order Logics

ISBN: 9783540710653 / Angielski / Miękka / 2008 / 338 str.

ISBN: 9783540710653/Angielski/Miękka/2008/338 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Otmane Ait Mohamed
This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference...
This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held d...
cena: 201,72 zł

 Modeling Approaches and Algorithms for Advanced Computer Applications Abdelmalek Amine Otmane Ait Mohamed Ladjel Bellatreche 9783319005591
Modeling Approaches and Algorithms for Advanced Computer Applications

ISBN: 9783319005591 / Angielski / Twarda / 2013 / 440 str.

ISBN: 9783319005591/Angielski/Twarda/2013/440 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Abdelmalek Amine; Otmane Ait Mohamed; Ladjel Bellatreche

"During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer science, engineering, finance, economic, decision making, etc.). This was done by proposing approaches and algorithms based either on turnkey techniques belonging to the large panoply of solutions offered by computational intelligence such as data mining, genetic algorithms, bio-inspired methods, Bayesian networks, machine learning, fuzzy logic, artificial neural networks, etc. or inspired by computational intelligence techniques to develop new...

"During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer scien...

cena: 403,47 zł

 Modeling Approaches and Algorithms for Advanced Computer Applications Abdelmalek Amine Ait Mohamed Otmane Ladjel Bellatreche 9783319033044
Modeling Approaches and Algorithms for Advanced Computer Applications

ISBN: 9783319033044 / Angielski / Miękka / 2015 / 440 str.

ISBN: 9783319033044/Angielski/Miękka/2015/440 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami)
Abdelmalek Amine; Ait Mohamed Otmane; Ladjel Bellatreche

"During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer science, engineering, finance, economic, decision making, etc.). This was done by proposing approaches and algorithms based either on turnkey techniques belonging to the large panoply of solutions offered by computational intelligence such as data mining, genetic algorithms, bio-inspired methods, Bayesian networks, machine learning, fuzzy logic, artificial neural networks, etc. or inspired by computational intelligence techniques to develop new...

"During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer scien...

cena: 403,47 zł


Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2025 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia