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

 » książki  » Computers - Programming - Compilers

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
 [2946350]
• Literatura piękna
 [1816154]

  więcej...
• Turystyka
 [70666]
• Informatyka
 [151172]
• Komiksy
 [35576]
• Encyklopedie
 [23172]
• Dziecięca
 [611458]
• Hobby
 [135995]
• AudioBooki
 [1726]
• Literatura faktu
 [225763]
• Muzyka CD
 [378]
• Słowniki
 [2917]
• Inne
 [444280]
• Kalendarze
 [1179]
• Podręczniki
 [166508]
• Poradniki
 [469467]
• Religia
 [507199]
• Czasopisma
 [496]
• Sport
 [61352]
• Sztuka
 [242330]
• CD, DVD, Video
 [3348]
• Technologie
 [219391]
• Zdrowie
 [98638]
• Książkowe Klimaty
 [124]
• Zabawki
 [2382]
• Puzzle, gry
 [3525]
• Literatura w języku ukraińskim
 [259]
• Art. papiernicze i szkolne
 [7107]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Programming - Compilers

ilość książek w kategorii: 1354

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


 Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings Bae, Kyungmin 9783030021450 Springer
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

ISBN: 9783030021450 / Angielski / Miękka / 297 str.

ISBN: 9783030021450/Angielski/Miękka/297 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 201,24

 Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures Bowen, Jonathan P. 9783030029272 Springer
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

ISBN: 9783030029272 / Angielski / Miękka / 219 str.

ISBN: 9783030029272/Angielski/Miękka/219 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jonathan P. Bowen; Zhiming Liu; Zili Zhang
cena: 201,24

 Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November Margaria, Tiziana 9783030034177 Springer
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November

ISBN: 9783030034177 / Angielski / Miękka / 588 str.

ISBN: 9783030034177/Angielski/Miękka/588 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Tiziana Margaria; Bernhard Steffen
cena: 201,24

 Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem Margaria, Tiziana 9783030034207 Springer
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem

ISBN: 9783030034207 / Angielski / Miękka / 496 str.

ISBN: 9783030034207/Angielski/Miękka/496 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Tiziana Margaria; Bernhard Steffen
cena: 201,24

 Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus Margaria, Tiziana 9783030034238 Springer
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus

ISBN: 9783030034238 / Angielski / Miękka / 522 str.

ISBN: 9783030034238/Angielski/Miękka/522 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Tiziana Margaria; Bernhard Steffen
cena: 201,24

 Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus Margaria, Tiziana 9783030034269 Springer
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

ISBN: 9783030034269 / Angielski / Miękka / 530 str.

ISBN: 9783030034269/Angielski/Miękka/530 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Tiziana Margaria; Bernhard Steffen
cena: 201,24

 Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers Piskac, Ruzica 9783030035914 Springer
Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

ISBN: 9783030035914 / Angielski / Miękka / 345 str.

ISBN: 9783030035914/Angielski/Miękka/345 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ruzica Piskac; Philipp Rummer
cena: 201,24

 Product-Focused Software Process Improvement: 19th International Conference, Profes 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings Kuhrmann, Marco 9783030036720 Springer
Product-Focused Software Process Improvement: 19th International Conference, Profes 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings

ISBN: 9783030036720 / Angielski / Miękka / 458 str.

ISBN: 9783030036720/Angielski/Miękka/458 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Marco Kuhrmann; Kurt Schneider; Dietmar Pfahl
cena: 201,24

 Service-Oriented Computing - Icsoc 2017 Workshops: Asoca, Isycc, Wesoacs, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected Braubach, Lars 9783319917634 Springer
Service-Oriented Computing - Icsoc 2017 Workshops: Asoca, Isycc, Wesoacs, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected

ISBN: 9783319917634 / Angielski / Miękka / 410 str.

ISBN: 9783319917634/Angielski/Miękka/410 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 201,24

 Multi-Agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers Slavkovik, Marija 9783030141738 Springer
Multi-Agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

ISBN: 9783030141738 / Angielski / Miękka / 267 str.

ISBN: 9783030141738/Angielski/Miękka/267 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Marija Slavkovik
cena: 201,24

 Fundamental Approaches to Software Engineering: 22nd International Conference, Fase 2019, Held as Part of the European Joint Conferences on Theory and Hähnle, Reiner 9783030167219 Springer
Fundamental Approaches to Software Engineering: 22nd International Conference, Fase 2019, Held as Part of the European Joint Conferences on Theory and

ISBN: 9783030167219 / Angielski / Miękka / 446 str.

ISBN: 9783030167219/Angielski/Miękka/446 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Reiner Haehnle; Wil M. P. Van Der Aalst
cena: 201,24

 Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Pra Caires, Luís 9783030171834 Springer
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Pra

ISBN: 9783030171834 / Angielski / Miękka / 816 str.

ISBN: 9783030171834/Angielski/Miękka/816 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Luis Caires
cena: 201,24

 Coordination Models and Languages: 21st Ifip Wg 6.1 International Conference, Coordination 2019, Held as Part of the 14th International Federated Conf Riis Nielson, Hanne 9783030223960 Springer
Coordination Models and Languages: 21st Ifip Wg 6.1 International Conference, Coordination 2019, Held as Part of the 14th International Federated Conf

ISBN: 9783030223960 / Angielski / Miękka / 267 str.

ISBN: 9783030223960/Angielski/Miękka/267 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Hanne Riis Nielson; Emilio Tuosto
cena: 201,24

 Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I Dillig, Isil 9783030255398 Springer
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I

ISBN: 9783030255398 / Angielski / Miękka / 673 str.

ISBN: 9783030255398/Angielski/Miękka/673 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Isil Dillig; Serdar Tasiran
cena: 201,24

 Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings Ölveczky, Peter Csaba 9783030304454 Springer
Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings

ISBN: 9783030304454 / Angielski / Miękka / 550 str.

ISBN: 9783030304454/Angielski/Miękka/550 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Peter Csaba Olveczky; Gwen Salaun
cena: 201,24

 System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-1 Fonseca I. Casas, Pau 9783030306892 Springer
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-1

ISBN: 9783030306892 / Angielski / Miękka / 267 str.

ISBN: 9783030306892/Angielski/Miękka/267 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Pau Fonseca I. Casas; Maria-Ribera Sancho; Edel Sherratt
cena: 201,24

 Logic, Rationality, and Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings Blackburn, Patrick 9783662602911 Springer
Logic, Rationality, and Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings

ISBN: 9783662602911 / Angielski / Miękka / 441 str.

ISBN: 9783662602911/Angielski/Miękka/441 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Patrick Blackburn; Emiliano Lorini; Meiyun Guo
cena: 201,24

 Tests and Proofs: 13th International Conference, Tap 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portu Beyer, Dirk 9783030311568 Springer
Tests and Proofs: 13th International Conference, Tap 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portu

ISBN: 9783030311568 / Angielski / Miękka / 207 str.

ISBN: 9783030311568/Angielski/Miękka/207 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Dirk Beyer; Chantal Keller
cena: 201,24

 Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers Hojjat, Hossein 9783030315160 Springer
Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

ISBN: 9783030315160 / Angielski / Miękka / 261 str.

ISBN: 9783030315160/Angielski/Miękka/261 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Hossein Hojjat; Mieke Massink
cena: 201,24

 Testing Software and Systems: 30th Ifip Wg 6.1 International Conference, Ictss 2018, Cádiz, Spain, October 1-3, 2018, Proceedings Medina-Bulo, Inmaculada 9783319999265 Springer International Publishing AG
Testing Software and Systems: 30th Ifip Wg 6.1 International Conference, Ictss 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

ISBN: 9783319999265 / Angielski / Miękka / 171 str.

ISBN: 9783319999265/Angielski/Miękka/171 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 201,24

Pierwsza Podprzednia  34  35  36  Następna Ostatnia

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-2026 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