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

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se » książka

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
 [2949524]
• Literatura piękna
 [1817948]

  więcej...
• Turystyka
 [70715]
• Informatyka
 [151291]
• Komiksy
 [35671]
• Encyklopedie
 [23176]
• Dziecięca
 [612440]
• Hobby
 [136066]
• AudioBooki
 [1740]
• Literatura faktu
 [226030]
• Muzyka CD
 [378]
• Słowniki
 [2918]
• Inne
 [445441]
• Kalendarze
 [1181]
• Podręczniki
 [166545]
• Poradniki
 [469898]
• Religia
 [508035]
• Czasopisma
 [502]
• Sport
 [61392]
• Sztuka
 [242759]
• CD, DVD, Video
 [3348]
• Technologie
 [219537]
• Zdrowie
 [98738]
• Książkowe Klimaty
 [124]
• Zabawki
 [2382]
• Puzzle, gry
 [3543]
• Literatura w języku ukraińskim
 [259]
• Art. papiernicze i szkolne
 [7107]
Kategorie szczegółowe BISAC

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se

ISBN-13: 9783319743127 / Angielski / Miękka / 2018 / 432 str.

Alexander K. Petrenko; Andrei Voronkov
Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se Petrenko, Alexander K. 9783319743127 Springer - książkaWidoczna okładka, to zdjęcie poglądowe, a rzeczywista szata graficzna może różnić się od prezentowanej.

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se

ISBN-13: 9783319743127 / Angielski / Miękka / 2018 / 432 str.

Alexander K. Petrenko; Andrei Voronkov
cena 201,24
(netto: 191,66 VAT:  5%)

Najniższa cena z 30 dni: 192,74
Termin realizacji zamówienia:
ok. 16-18 dni roboczych.

Darmowa dostawa!

Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions.

Kategorie:
Informatyka, Bazy danych
Kategorie BISAC:
Computers > Programming - Compilers
Computers > Software Development & Engineering - General
Computers > Languages - General
Wydawca:
Springer
Seria wydawnicza:
Lecture Notes in Computer Science
Język:
Angielski
ISBN-13:
9783319743127
Rok wydania:
2018
Wydanie:
2018
Numer serii:
000013115
Ilość stron:
432
Waga:
0.68 kg
Wymiary:
23.5 x 15.5
Oprawa:
Miękka
Wolumenów:
01

An Architecture for Non-invasive Software Measurement.- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications.- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code.- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method.- Multi-cloud Applications Security Monitoring.- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach.- PosDB: A Distributed Column-store Engine.- Microservices: How To Make Your Application Scale.- Static Binary Code Instrumentation for ARM Architecture.- A Behavioural Theory for Reactive Sequential Algorithms.- Lightweight Non-Intrusive Virtual Machine Introspection.- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population.- A Framework for Dynamical Construction of Software Components.- A Transformation-Based Approach for Developing High-Performance GPU Programs.- Domain Engineering the Magnolia Way.- Approximating Event System Abstractions by Covering Their States and Transitions.- Implementing the Symbolic Method of Verification in the C-light Project.- Highlights of the Rice-Shapiro Theorem in Computable Topology.- A Memory Model for Deductively Verifying Linux Kernel Modules.- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees.- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language.- Compositional Relational Programming with Nominal Projection and Compositional Synthesis.- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method.- Distributed In Situ Processing of Big Raster Data in the Cloud.- Statistical Approach to Increase Source Code Completion Accuracy.- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation.- Runtime Specialization of PostgreSQL Query Executor.- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors.- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor.- Towards Automated Static Verification of GNU C Programs.- Domain Specific Semantic Validation of Schema.org Annotations. 

Voronkov, Andrei Andrei Voronkov is Professor of Computer Science a... więcej >


Udostępnij

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