• 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 - General

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

ilość książek w kategorii: 5240

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


 Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1 Biere, Armin 9783319088662 Springer
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1

ISBN: 9783319088662 / Angielski / Miękka / 877 str.

ISBN: 9783319088662/Angielski/Miękka/877 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Armin Biere; Roderick Bloem
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination;...
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer...
cena: 402,53

 Effective AWK Programming, 4e Arnold Robbins 9781491904619 O'Reilly Media
Effective AWK Programming, 4e

ISBN: 9781491904619 / Angielski / Miękka / 560 str.

ISBN: 9781491904619/Angielski/Miękka/560 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Arnold Robbins

When processing text files, the awk language is ideal for handling data extraction, reporting, and data-reformatting jobs. This practical guide serves as both a reference and tutorial for POSIX-standard awk and for the GNU implementation, called gawk. This book is useful for novices and awk experts alike.

In this thoroughly revised edition, author and gawk lead developer Arnold Robbins describes the awk language and gawk program in detail, shows you how to use awk and gawk for problem solving, and then dives into specific...

When processing text files, the awk language is ideal for handling data extraction, reporting, and data-reformatting jobs. This practical gu...

cena: 185,55

 101 Computing Challenges Philippe Kerampran 9781291918083 Lulu.com
101 Computing Challenges

ISBN: 9781291918083 / Angielski / Miękka / 124 str.

ISBN: 9781291918083/Angielski/Miękka/124 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Philippe Kerampran
Boost your programming skills by completing fun and enthusing computing challenges. Learn how to program using HTML, CSS, JavaScript, Scratch, Python and Database software. From ""Hello World"" to complex retro arcade games, choose a challenge based on your abilities and interests. This book is targeted at both learners (from 9 to 99 years old and above) and educators (parents, teachers) who want to adopt a challenging and enthusing approach towards learning about computing concepts whilst developing their programming skills.
Boost your programming skills by completing fun and enthusing computing challenges. Learn how to program using HTML, CSS, JavaScript, Scratch, Python ...
cena: 50,02

 Concur 2014 - Concurrency Theory: 25th International Conference, Concur 2014, Rome, Italy, September 2-5, 2014. Proceedings Baldan, Paolo 9783662445839 Springer
Concur 2014 - Concurrency Theory: 25th International Conference, Concur 2014, Rome, Italy, September 2-5, 2014. Proceedings

ISBN: 9783662445839 / Angielski / Miękka / 594 str.

ISBN: 9783662445839/Angielski/Miękka/594 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Paolo Baldan;University of Roma "La Sapienza"
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitatvice models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in Septemb...
cena: 201,24

 The Agile Consultant: Guiding Clients to Enterprise Agility Freedman, Rick 9781430260523 APress
The Agile Consultant: Guiding Clients to Enterprise Agility

ISBN: 9781430260523 / Angielski / Miękka / 233 str.

ISBN: 9781430260523/Angielski/Miękka/233 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Richard Freedman

Learn the agile philosophy of lean processes, incremental delivery, deep client participation, decentralized authority, and just-in-time planning to bring speed, creativity, empowerment and increased productivity to product development. This book is your guide to becoming the go-to advisor for the enterprise agile transition.

Many organizations have brought in agile coaches and achieved great progress in software development productivity, only to find teams slipping back into old methods as they encounter enterprise resistance and dysfunction. The consultative skills required to...

Learn the agile philosophy of lean processes, incremental delivery, deep client participation, decentralized authority, and just-in-time planning t...

cena: 241,50

 Sharing Data and Models in Software Engineering Tim Menzies Ekrem Kocaguneli Burak Turhan 9780124172951 Morgan Kaufmann Publishers
Sharing Data and Models in Software Engineering

ISBN: 9780124172951 / Angielski / Miękka / 406 str.

ISBN: 9780124172951/Angielski/Miękka/406 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Tim Menzies; Ekrem Kocaguneli; Burak Turhan

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting with a background section of practical lessons and warnings for beginner data scientists for software engineering, this edited volume proceeds to identify critical questions of contemporary software engineering related to data and models. Learn how to adapt data from other organizations to local problems, mine privatized data, prune spurious information, simplify complex results, how to...

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects...

cena: 303,61

 Programming for Absolute Beginners MR Mark a. Lassoff 9780990402039 Learntoprogram, Incorporated
Programming for Absolute Beginners

ISBN: 9780990402039 / Angielski / Miękka / 68 str.

ISBN: 9780990402039/Angielski/Miękka/68 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
MR Mark a. Lassoff
cena: 40,43

 Computer Safety, Reliability, and Security: 33rd International Conference, Safecom 2014, Florence, Italy, September 10-12, 2014. Proceedings Bondavalli, Andrea 9783319105055 Springer
Computer Safety, Reliability, and Security: 33rd International Conference, Safecom 2014, Florence, Italy, September 10-12, 2014. Proceedings

ISBN: 9783319105055 / Angielski / Miękka / 356 str.

ISBN: 9783319105055/Angielski/Miękka/356 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Andrea Bondavalli; Felicita Di Giandomenico
This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages...
This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held...
cena: 201,24

 Computer Safety, Reliability, and Security: Safecomp 2014 Workshops: Ascoms, Decsos, Devvarts, Isse, Resa4ci, Sassur. Florence, Italy, September 8-9, Bondavalli, Andrea 9783319105567 Springer
Computer Safety, Reliability, and Security: Safecomp 2014 Workshops: Ascoms, Decsos, Devvarts, Isse, Resa4ci, Sassur. Florence, Italy, September 8-9,

ISBN: 9783319105567 / Angielski / Miękka / 456 str.

ISBN: 9783319105567/Angielski/Miękka/456 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmeier

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification...

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, ...

cena: 201,24

 Computational Technologies: Advanced Topics Vabishchevich, Petr N. 9783110359947 De Gruyter
Computational Technologies: Advanced Topics

ISBN: 9783110359947 / Angielski / Miękka / 278 str.

ISBN: 9783110359947/Angielski/Miękka/278 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
N. M: Afanas'eva; M. Yu. Antonov; V. S. Borisov

This book discusses questions of numerical solutions of applied problems on parallel computing systems. Nowadays, engineering and scientific computations are carried out on parallel computing systems, which provide parallel data processing on a few computing nodes. In constructing computational algorithms, mathematical problems are separated in relatively independent subproblems in order to solve them on a single computing node.


This book discusses questions of numerical solutions of applied problems on parallel computing systems. Nowadays, engineering and scientific comput...

cena: 212,26

 Quantitative Evaluation of Systems: 11th International Conference, Qest 2014, Florence, Italy, September 8-10, 2014, Proceedings Norman, Gethin 9783319106953 Springer
Quantitative Evaluation of Systems: 11th International Conference, Qest 2014, Florence, Italy, September 8-10, 2014, Proceedings

ISBN: 9783319106953 / Angielski / Miękka / 422 str.

ISBN: 9783319106953/Angielski/Miękka/422 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gethin Norman; William Sanders
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic...
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, ...
cena: 201,24

 Programming for the Absolute Beginner Jerry Lee For 9781305504431 Cengage Learning
Programming for the Absolute Beginner

ISBN: 9781305504431 / Angielski / Miękka / 394 str.

ISBN: 9781305504431/Angielski/Miękka/394 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jerry Lee Ford Jr
Are you interested in learning to program computers? PROGRAMMING FOR THE ABSOLUTE BEGINNER, SECOND EDITION is a friendly guide that will teach you the fundamentals of computer programming through the hands-on (and fun ) development of computer games. This book teaches programming using Just BASIC, a free, easy-to-learn software that lets you create programs for computers running Windows. Popular author and educator Jerry Ford, Jr., teaches you fundamental programming principles and gives you a broad view of computer programming and its many possibilities. As you work through this book, you...
Are you interested in learning to program computers? PROGRAMMING FOR THE ABSOLUTE BEGINNER, SECOND EDITION is a friendly guide that will teach you the...
cena: 201,01

 Generalized Nets Krassimir T. Atanassov   9789810205980 World Scientific Publishing Co Pte Ltd
Generalized Nets

ISBN: 9789810205980 / Angielski / Twarda / 388 str.

ISBN: 9789810205980/Angielski/Twarda/388 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Krassimir T. Atanassov
The Generalized Nets (GNs), are extensions of Petri nets and of different Petri nets modifications. This book gives definitions and the basic properties of GNs and discusses the extensions and reductions. GNs, which describe the functioning and results of the work of different types of petri nets, different types of finite automata and of Turing machines, are given. Over the GNs are defined different operation, relations and operators. They can also be transferred onto other nets. Many open problems in the GNs theory are given.
The Generalized Nets (GNs), are extensions of Petri nets and of different Petri nets modifications. This book gives definitions and the basic properti...
cena: 475,08

 Open Distributed Systems: On Concepts, Methods, and Design from a Logical Point of View Reinhard Gotzhein 9783528053581 Vieweg+teubner Verlag
Open Distributed Systems: On Concepts, Methods, and Design from a Logical Point of View

ISBN: 9783528053581 / Angielski / Miękka / 227 str.

ISBN: 9783528053581/Angielski/Miękka/227 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Reinhard Gotzhein
This work presents a new, abstract and comprehensive view of open distributed systems. The starting point is a small number of core concepts and basic principles, which are informally introduced and precisely defined using mathematical logic. It is shown how the basic concepts of open systems interconnection (OSI), which are currently the most important standardization activities in the context of open distributed systems, can be obtained by specialization and extension of these basic concepts. Application examples include the formal treatment of the interaction point concept and the...
This work presents a new, abstract and comprehensive view of open distributed systems. The starting point is a small number of core concepts and basic...
cena: 206,88

 Programmieren Mit Modula-3: Eine Einführung in Stilvolle Programmierung Böszörmenyi, Laszlo 9783662094860 Springer
Programmieren Mit Modula-3: Eine Einführung in Stilvolle Programmierung

ISBN: 9783662094860 / Niemiecki / Miękka / 577 str.

ISBN: 9783662094860/Niemiecki/Miękka/577 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Laszlo Boszormenyi; Carsten Weich; J. Weizenbaum
Die Schwierigkeit der Programmierung liegt darin, dass wir unsere Ideen in eine Form bringen mussen, die maschinell verarbeitet werden kann. Diese Umsetzung von Ideen in mechanische Form fallt oft schwer und kann den Anfanger entmutigen. Das Buch zeigt, wie durch richtige Strukturierung, durch die Ausbildung eines guten "Stils," auch komplexe Programme geschrieben und verstanden werden konnen. Dazu bedient es sich der Sprache Modula-3, die als Nachfolger von Pascal und Modula-2 auf den in diesen Sprachen bereits bewahrten Konzepten aufbaut und sie erweitert. Der dadurch ermoglichte...
Die Schwierigkeit der Programmierung liegt darin, dass wir unsere Ideen in eine Form bringen mussen, die maschinell verarbeitet werden kann. Diese Ums...
cena: 188,08

 Environment Modeling-Based Requirements Engineering for Software Intensive Systems Jin, Zhi   9780128019542 Elsevier Science
Environment Modeling-Based Requirements Engineering for Software Intensive Systems

ISBN: 9780128019542 / Angielski / Miękka / 288 str.

ISBN: 9780128019542/Angielski/Miękka/288 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the book presents a new view of software capability, i.e. the effect-based software capability in terms of environment modeling.

  • Provides novel and systematic methodologies for...

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the...

cena: 274,03

 Relating System Quality and Software Architecture Ivan Mistrik 9780124170094 Morgan Kaufmann
Relating System Quality and Software Architecture

ISBN: 9780124170094 / Angielski / Miękka / 420 str.

ISBN: 9780124170094/Angielski/Miękka/420 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ivan Mistrik

System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with software architecture and how quality attributes are exhibited by the architecture of the system. Contributions from leading researchers and industry evangelists detail the techniques required to achieve quality management in software architecting, and the best way to apply these techniques effectively in various application domains (especially in cloud, mobile and ultra-large-scale/internet-scale architecture) Taken together, these approaches show how...

System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with softwar...

cena: 406,51

 Semantics of Probabilistic Processes: An Operational Approach Deng, Yuxin 9783662451977 Springer
Semantics of Probabilistic Processes: An Operational Approach

ISBN: 9783662451977 / Angielski / Twarda / 249 str.

ISBN: 9783662451977/Angielski/Twarda/249 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Yuxin Deng
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be...
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to...
cena: 201,24

 Using Advanced MPI : Modern Features of the Message-Passing Interface William Gropp Torsten Hoefler Rajeev Thakur 9780262527637 Mit Press
Using Advanced MPI : Modern Features of the Message-Passing Interface

ISBN: 9780262527637 / Angielski / Miękka / 392 str.

ISBN: 9780262527637/Angielski/Miękka/392 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
William Gropp; Torsten Hoefler; Rajeev Thakur

This book offers a practical guide to the advanced features of the MPI (Message-Passing Interface) standard library for writing programs for parallel computers. It covers new features added in MPI-3, the latest version of the MPI standard, and updates from MPI-2. Like its companion volume, Using MPI, the book takes an informal, example-driven, tutorial approach. The material in each chapter is organized according to the complexity of the programs used as examples, starting with the simplest example and moving to more complex ones.

Using Advanced MPI covers major...

This book offers a practical guide to the advanced features of the MPI (Message-Passing Interface) standard library for writing programs for parall...

cena: 437,89

 Programming Concepts for the Non-Programmer L. Christopher Bird 9781502474520 Createspace
Programming Concepts for the Non-Programmer

ISBN: 9781502474520 / Angielski / Miękka / 26 str.

ISBN: 9781502474520/Angielski/Miękka/26 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
L. Christopher Bird
cena: 21,77

Pierwsza Podprzednia  31  32  33  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