• 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 - Software Development & Engineering - Systems Analysis & Design

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 40 złBezpłatna dostawa dla zamówień powyżej 40 zł

Kategorie główne

• Nauka
 [3090713]
• Literatura piękna
 [1812092]

  więcej...
• Turystyka
 [52353]
• Informatyka
 [156406]
• Komiksy
 [36497]
• Encyklopedie
 [23076]
• Dziecięca
 [611051]
• Hobby
 [103270]
• AudioBooki
 [1744]
• Literatura faktu
 [194823]
• Muzyka CD
 [382]
• Słowniki
 [2994]
• Inne
 [446649]
• Kalendarze
 [242]
• Podręczniki
 [166396]
• Poradniki
 [420635]
• Religia
 [508575]
• Czasopisma
 [545]
• Sport
 [61132]
• Sztuka
 [249371]
• CD, DVD, Video
 [3442]
• Technologie
 [230899]
• Zdrowie
 [98302]
• Książkowe Klimaty
 [126]
• Zabawki
 [2532]
• Puzzle, gry
 [4027]
• Literatura w języku ukraińskim
 [273]
• Art. papiernicze i szkolne
 [8376]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design

ilość książek w kategorii: 2446

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


Real-Time Systems: Modeling, Design and Applications Cornell, Aurel 9789810244248 World Scientific Publishing Company
Real-Time Systems: Modeling, Design and Applications

ISBN: 9789810244248 / Angielski / Twarda / 504 str.

ISBN: 9789810244248/Angielski/Twarda/504 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Dan Ionescu; Aurel Cornell
Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications.
Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical...
cena: 986,44

Software Engineering of Fault Tolerant Systems Pelliccione, Patrizio 9789812705037 World Scientific Publishing Company
Software Engineering of Fault Tolerant Systems

ISBN: 9789812705037 / Angielski / Twarda / 292 str.

ISBN: 9789812705037/Angielski/Twarda/292 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Pelliccione P; Guelfi N; Muccini H
When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to...
When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the s...
cena: 731,25

Computer-Aided Specification Techniques Demetrovics, Janos 9789971978532 World Scientific Publishing Company
Computer-Aided Specification Techniques

ISBN: 9789971978532 / Angielski / Twarda / 128 str.

ISBN: 9789971978532/Angielski/Twarda/128 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Janos Demetrovics
cena: 353,36

Parallel Lisp: Languages and Systems: Us/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings McCarthy, J. 9783540527824 Springer
Parallel Lisp: Languages and Systems: Us/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings

ISBN: 9783540527824 / Angielski / Miękka / 370 str.

ISBN: 9783540527824/Angielski/Miękka/370 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Takayasu Ito; Robert H. Jr. Halstead; J. McCarthy
This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, QLisp at Stanford, Lucid and Parcel at Illinois, PaiLisp at Tohoku University, Multiprocessor Lisp on TOP-1 at IBM Tokyo research, and concurrent programming in TAO. Most papers present languages and systems of Parallel Lisp and are in particular concerned with language constructs of Parallel Lisp and their meanings from the standpoint of implementing Parallel Lisp systems; some important technical issues such as...
This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes M...
cena: 202,66

Cmm(r) Handbuch: Das Capability Maturity Model(r) Für Software Dymond, Kenneth M. 9783540677710 Springer
Cmm(r) Handbuch: Das Capability Maturity Model(r) Für Software

ISBN: 9783540677710 / Niemiecki / Miękka / 244 str.

ISBN: 9783540677710/Niemiecki/Miękka/244 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kenneth M. Dymond; Inc. Inc Process Transition Intern; Inc. Process Transition Intern
Dieses verst ndliche Handbuch gibt einen fundierten berblick ber das Capability Maturity Model (CMM) des Software Engineering Instituts (SEI).
Das CMM ist ein Modell, das h ufig bei der Software-Prozessverbesserung verwendet wird. Es ist stark abstrahiert, um eine Anwendung bei den meisten Software-Entwicklungsprozessen zu erm glichen. Dieses Handbuch macht das CMM all jenen zug nglich, die sein Konzept untersuchen und verstehen m chten. Piktogramme und verst ndliche Erkl rungen erm glichen dem Leser die effiziente Umsetzung des CMM bei den Schl sselprozessbereichen.
Dieses verst ndliche Handbuch gibt einen fundierten berblick ber das Capability Maturity Model (CMM) des Software Engineering Instituts (SEI).
Das ...
cena: 208,34

Trends in Enterprise Application Architecture: 2nd International Conference, Teaa 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selct Draheim, Dirk 9783540759119 Not Avail
Trends in Enterprise Application Architecture: 2nd International Conference, Teaa 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selct

ISBN: 9783540759119 / Angielski / Miękka / 358 str.

ISBN: 9783540759119/Angielski/Miękka/358 str.

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

This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues in enterprise application architecture and proposes as well as evaluates a solution. Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, data integration, enterprise grid computing, load balancing, and enterprise component platforms.


This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture,...

cena: 202,66

Secure Integrated Circuits and Systems  9780387718279 Not Avail
Secure Integrated Circuits and Systems

ISBN: 9780387718279 / Angielski / Twarda / 246 str.

ISBN: 9780387718279/Angielski/Twarda/246 str.

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

On any advanced integrated circuit or "system-on-chip" there is a need for security. In many applications the actual implementation has become the weakest link in security rather than the algorithms or protocols. The purpose of the book is to give the integrated circuits and systems designer an insight into the basics of security and cryptography from the implementation point of view. As a designer of integrated circuits and systems it is important to know both the state-of-the-art attacks as well as the countermeasures. Optimizing for security is different from optimizations for speed,...

On any advanced integrated circuit or "system-on-chip" there is a need for security. In many applications the actual implementation has become the ...

cena: 405,36

Guide to Advanced Empirical Software Engineering Forrest Shull Janice Singer Dag Sj??berg 9781848000438 Springer
Guide to Advanced Empirical Software Engineering

ISBN: 9781848000438 / Angielski / Twarda / 388 str.

ISBN: 9781848000438/Angielski/Twarda/388 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Forrest Shull; Janice Singer; Dag Sj??berg
Empirical studies have become an important part of software engineering research and practice. Ten years ago, it was rare to see a conference or journal article about a software development tool or process that had empirical data to back up the claims. Today, in contrast, it is becoming more and more common that software engineering conferences and journals are not only publishing, but eliciting, articles that describe a study or evaluation. Moreover, a very successful conference (International Symposium on Empirical Software Engineering and Measurement), journal (Empirical Software...
Empirical studies have become an important part of software engineering research and practice. Ten years ago, it was rare to see a conference or journ...
cena: 689,15

Improvements in System Safety: Proceedings of the Sixteenth Safety-Critical Systems Symposium, Bristol, Uk, 5-7 February 2008 Redmill, Felix 9781848000995 Not Avail
Improvements in System Safety: Proceedings of the Sixteenth Safety-Critical Systems Symposium, Bristol, Uk, 5-7 February 2008

ISBN: 9781848000995 / Angielski / Miękka / 266 str.

ISBN: 9781848000995/Angielski/Miękka/266 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Felix Redmill; Tom Anderson

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008.

The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included in this volume offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments in the field.

The book begins with a tutorial examining...

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, ...

cena: 608,07

Information Processing in Sensor Networks: Second International Workshop, Ipsn 2003, Palo Alto, Ca, Usa, April 22-23, 2003, Proceedings Zhao, Feng 9783540021117 Springer
Information Processing in Sensor Networks: Second International Workshop, Ipsn 2003, Palo Alto, Ca, Usa, April 22-23, 2003, Proceedings

ISBN: 9783540021117 / Angielski / Miękka / 684 str.

ISBN: 9783540021117/Angielski/Miękka/684 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Feng Zhao; Leonidas Guibas
This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003). The workshop was held at the Palo Alto Research Center (PARC), Palo Alto, California, on April 22-23, 2003. Informationprocessinginsensornetworksisaninterdisciplinaryresearcharea with deep connections to signal processing, networking and protocols, databases and information management, as well as distributed algorithms. Because of - vances in MEMS microsensors, wireless networking, and embedded processing, ad hoc networks of sensors are becoming increasingly...
This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003). The workshop was held...
cena: 405,36

Algebraic System Specification and Development Bidoit, Michel 9783540540601 Springer
Algebraic System Specification and Development

ISBN: 9783540540601 / Angielski / Miękka / 184 str.

ISBN: 9783540540601/Angielski/Miękka/184 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Michel Bidoit; Hans-Jvrg Kreowski; Pierre Lescanne
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond software to the development...
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issu...
cena: 202,66

Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings Lamsweerde, Axel Van 9783540547426 Springer
Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings

ISBN: 9783540547426 / Angielski / Miękka / 536 str.

ISBN: 9783540547426/Angielski/Miękka/536 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Axel Van Lamsweerde; Alfonso Fuggetta; A. Van Lamsweerde
This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, developers and users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering research in recent years, stimulated, for example, through major European research programmes. The papers in these proceedings cover a broad range of themes, such as formal methods and practical experiences with them, special techniques for...
This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, deve...
cena: 202,66

Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings Wilhelm Schäfer, Pere Botella 9783540604068 Springer-Verlag Berlin and Heidelberg GmbH &
Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings

ISBN: 9783540604068 / Angielski / Miękka / 524 str.

ISBN: 9783540604068/Angielski/Miękka/524 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Wilhelm Schäfer;Pere Botella
This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995.
The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods,...
This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in Septembe...
cena: 202,66

Performance Evaluation of Computer and Communication Systems Donatiello, Lorenzo 9783540572978 Springer
Performance Evaluation of Computer and Communication Systems

ISBN: 9783540572978 / Angielski / Miękka / 680 str.

ISBN: 9783540572978/Angielski/Miękka/680 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Lorenzo Donatiello; Randolph Nelson
This volume contains the complete set of tutorial paperspresented at the 16th IFIP (International Federation forInformation Processing) Working Group 7. 3 InternationalSymposium on Computer Performance Modelling, Measurement andEvaluation, and a number of tutorial papers presented at the1993 ACM (Association for Computing Machinery) SpecialInterest Group METRICS Conference on Measurement andModeling of Computer Systems. The principal goal of the volume is to present an overviewof recent results in the field of modeling and performanceevaluation of computer and communication systems. The...
This volume contains the complete set of tutorial paperspresented at the 16th IFIP (International Federation forInformation Processing) Working Group ...
cena: 405,36

Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings Alagar, V. S. 9783540600435 Springer
Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings

ISBN: 9783540600435 / Angielski / Miękka / 597 str.

ISBN: 9783540600435/Angielski/Miękka/597 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
V. S. Alagar; Maurice Nivat; Vangalur S. Alagar
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and...
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada...
cena: 405,36

Models in System Design Jean-Michel Berge Jean-Michel Berge Oz Levia 9780792398745 Kluwer Academic Publishers
Models in System Design

ISBN: 9780792398745 / Angielski / Twarda / 152 str.

ISBN: 9780792398745/Angielski/Twarda/152 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jean-Michel Berge; Jean-Michel Berge; Oz Levia
Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is by nature combined with prototyping, mixed domain design, and verification, and it is no surprise that today's modeling and models are used in various levels of system design and verification. In order to deal with constraints induced by volume and complexity, new methods and techniques have been defined. Models in System Design provides an overview of the latest modeling techniques for use by system designers.
The first part of...
Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is ...
cena: 1073,96

Pulling Strings with Puppet: Configuration Management Made Easy Turnbull, James 9781590599785 Apress
Pulling Strings with Puppet: Configuration Management Made Easy

ISBN: 9781590599785 / Angielski / Miękka / 192 str.

ISBN: 9781590599785/Angielski/Miękka/192 str.

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

Competent system administrators know their success hinges upon being able to perform often tedious tasks with rigor and punctuality. Such metrics are often achieved only by instituting a considerable degree of automation, something that has become even more crucial as IT environments continue to scale both in terms of size and complexity. One of the most powerful system administration tools to be released is Puppet, a solution capable of automating nearly every aspect of a system administrator's job, from user management, to software installation, to even configuring server services such...

Competent system administrators know their success hinges upon being able to perform often tedious tasks with rigor and punctuality. Such metrics a...

cena: 133,74

Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 199 Hardy, Keith 9783540631149 Springer
Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 199

ISBN: 9783540631149 / Angielski / Miękka / 299 str.

ISBN: 9783540631149/Angielski/Miękka/299 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Keith Hardy; Jim Briggs
This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context.
This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, ...
cena: 202,66

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part of the Joint European Conferenc Cleaveland, W. Rance 9783540657033 Springer
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part of the Joint European Conferenc

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

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

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
W. R. Cleaveland; W. Rance Cleaveland
ETAPS 99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The...
ETAPS 99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was...
cena: 202,66

Cyberspace Security and Defense: Research Issues: Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issu Kowalik, Janusz S. 9781402033803 Springer
Cyberspace Security and Defense: Research Issues: Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issu

ISBN: 9781402033803 / Angielski / Miękka / 382 str.

ISBN: 9781402033803/Angielski/Miękka/382 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Janusz S. Kowalik; Janusz Gorski; Anatoly Sachenko

Cyberspace security is a critical subject of our times.

On one hand the development of Internet, mobile communications, distributed computing, computer software and databases storing essential enterprise information has helped to conduct business and personal communication between individual people. On the other hand it has created many opportunities for abuse, fraud and expensive damage. This book is a selection of the best papers presented at the NATO Advanced Research Workshop dealing with the Subject of Cyberspace Security and Defense. The level of the individual contributions...

Cyberspace security is a critical subject of our times.

On one hand the development of Internet, mobile communications, distributed computi...

cena: 405,36

Pierwsza Podprzednia  7  8  9  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