topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
Vorteilhaftigkeit von Preisbündelungsstrategien
ISBN: 9783838634418 / Niemiecki / Miękka / 2001 / 160 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Diplomarbeit aus dem Jahr 1997 im Fachbereich BWL - Marketing, Unternehmenskommunikation, CRM, Marktforschung, Social Media, Note: 1,25, Christian-Albrechts-Universitat Kiel (Wirtschafts- und Sozialwissenschaften, Betriebswirtschaftslehre), Veranstaltung: Lehrstuhl fur Marketing, Prof. Dr. Sonke Albers, Sprache: Deutsch, Abstract: Inhaltsangabe: Inhaltsverzeichnis: Inhaltsverzeichnis: ABBILDUNGSVERZEICHNIS TABELLENVERZEICHNIS ABKURZUNGSVERZEICHNIS SYMBOLVERZEICHNIS 1Einleitung 2Darstellung der Bundelstrategien 2.1Annahmen 2.2Einzelpreissetzung 2.3Reine Bundelung0 2.4Gemischte Bundelung...
Diplomarbeit aus dem Jahr 1997 im Fachbereich BWL - Marketing, Unternehmenskommunikation, CRM, Marktforschung, Social Media, Note: 1,25, Christian-Alb...
|
cena:
562,16 zł |
 |
Faktoren Des Markterfolges Im Online-Handel
ISBN: 9783824478859 / Niemiecki / Miękka / 2003 / 425 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Torsten Olderog prasentiert einen umfassenden Marketing-Ansatz fur den Online-Handel, der es Unternehmen ermoglicht, aus den vielen Moglichkeiten einen erfolgversprechenden Mix zusammenzustellen."
Torsten Olderog prasentiert einen umfassenden Marketing-Ansatz fur den Online-Handel, der es Unternehmen ermoglicht, aus den vielen Moglichkeiten eine...
|
cena:
256,28 zł |
 |
Real-Time Systems: Formal Specification and Automatic Verification
ISBN: 9780521883337 / Angielski / Twarda / 2008 / 320 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for...
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 millisecon...
|
cena:
403,90 zł |
 |
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
ISBN: 9783030913830 / Angielski / Miękka / 2021 / 232 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
254,64 zł |
 |
Correct System Design: Recent Insights and Advances
ISBN: 9783540666240 / Angielski / Miękka / 1999 / 422 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different...
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-cri...
|
cena:
195,87 zł |
 |
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
ISBN: 9780521018456 / Angielski / Miękka / 2005 / 280 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the...
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des...
|
cena:
283,33 zł |
 |
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
ISBN: 9780521400442 / Angielski / Twarda / 1991 / 278 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the...
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des...
|
cena:
553,08 zł |
 |
Provably Correct Systems
ISBN: 9783319486277 / Angielski / Twarda / 2017 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within... As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ens... |
cena:
391,77 zł |
 |
Provably Correct Systems
ISBN: 9783319839806 / Angielski / Miękka / 2018 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
391,77 zł |
 |
Verification of Sequential and Concurrent Programs
ISBN: 9781848827448 / Angielski / Twarda / 2009 / 502 str. Termin realizacji zamówienia: ok. 20 dni roboczych. HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and...
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap...
|
cena:
391,77 zł |
 |
Verification of Sequential and Concurrent Programs
ISBN: 9781447125136 / Angielski / Miękka / 2012 / 502 str. Termin realizacji zamówienia: ok. 20 dni roboczych. HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and...
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap...
|
cena:
313,40 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
