Boolean Differential Equations

Name: Boolean Differential Equations
Author: Steinbach, Bernd|Posthoff, Christian
ISBN: 9783031798603

Steinbach, Bernd|Posthoff, Christian

Lingua: inglese

Editore: Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer, 2013

3031798600 / 9783031798603

Brossura
Nuovo

Visualizza tutti i dettagli

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Visualizza gli articoli di questo venditore

Brossura

Condizione: Nuovo

EUR 34,41

EUR 48,99 spedizione

Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Resi gratuiti per 30 giorni

Lista dei preferitiCrea un desiderata per articoli simili

Descrizione dell’articolo da parte del venditore

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implement.

Codice articolo 608130027

Contatta il venditore per questo articolo

Segnala questo articolo

Titolo: Boolean Differential Equations
Autore: Steinbach, Bernd|Posthoff, Christian
Editore: Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer
Anno di pubblicazione: 2013
Condizione: New
Rilegatura: Brossura
Lingua: inglese
ISBN 10: 3031798600
ISBN 13: 9783031798603
Cataloghi dei venditori: Mathematik/Naturwissenschaften/Technik/Medizin

Informazioni sull’autore

From 1973-1977, Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz (Germany) and graduated with an M.Sc.in 1977.He graduated with a Ph.D.and with a Dr. sc. techn. (Doctor scientiae technicarum) for his second doctoral thesis from the Faculty of Electrical Engineering of the Chemnitz University of Technology in 1981 and 1984, respectively. In 1991 Steinbach obtained the habilitation (Dr.-Ing. habil.) from the same Faculty. Topics of his theses involved Boolean equations, Boolean differential equations, and their application in the field of circuit design using efficient algorithms and data structures on computers. Steinbach worked in industry as an electrician, where he had tested professional controlling systems at the Niles Company. After his studies he taught as Assistant Lecturer at the Department of Information Technology of the Chemnitz University of Technology. As a research engineer he developed programs for test pattern generation for computer circuits at the company Robotron. He later returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for design automation in logic design. Since 1992 he has been a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology, Department of Computer Science. He has served as Head of the Department of Computer Science and Vice-Dean of the Faculty of Mathematics and Computer Science. His research areas include logic functions and equations and their application in many fields, such as Artificial Intelligence, UML-based testing of software, UML-based hardware/software co-design.He is the head of a group that developed the XBOOLE software system. He published three books in logic synthesis and more than 200 chapters in books, complete issues of journals, and papers in journals and proceedings. He has served as Program Chairman for the IEEE International Symposium on Multiple-Valued Logic (ISMVL), and as guested it or of the Journal of Multiple-Valued Logic and Soft Computing. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP) which started in 1994, with 10 workshops until now. He received the Barkhausen Award from the University of Technology Dresden in 1983.

From 1963-1968, Christian Posthoff studied Mathematics at the University of Leipzig. His thesis was titled: ""Axiomatic Description of a Finite Class Calculus"" (Prof. Dr. Klaua). From 1968-1972, he worked as a programmer and in the field of Operations Research; simultaneously, he did his Ph.D. in 1975 with the thesis ""Application of Mathematical Methods in Communicative Psychotherapy."" In 1972, he joined the Department of Information Technology at the Chemnitz University of Technology; up to 1983, his research activities concentrated on logic design. His cooperation with B.Steinbach goes back to these days.Important results have been algorithms and programs for solving Boolean equations with a high number of variables and the Boolean Differential Calculus for the analytical treatment of different problems in the field of logic design. These results have been collected in a monograph Binary Dynamic Systems published simultaneously in Akademie-Verlag Berlin, Oldenbourg-Verlag Munich-Vienna and in the Soviet-Union, and allowed the habilitation (Dr.-Ing. habil.) at the Faculty of Electrical Engineering in 1979 and the promotion to Associate Professor. He wrote two textbooks at this time, aimed at a higher level in the theoretical and mathematical training of graduate engineers of information technology. About 1976, he started research activities in Artificial Intelligence. In 1983, Posthoff started as Full Professor of Computer Science in the Department of Computer Science at the same university, with the aim of starting the program in Computer Science in 1984. In 1984, he became Head of the Institute of Theoretical Computer Science and Artificial Intelligence and Research Director of the Department of Computer Science. An independent direction of research activities within AI, investigations of computer chess and other strategic games, arose from his love for chess. His research activities concentrated on the application of fuzzy logic for the modeling of human-like ""thinking"" methods, the learning from examples, the construction of intelligent tutoring systems, the parallelization of inference mechanisms, systems of diagnosis and configuration. In cooperation with colleagues from different areas of mechanical engineering and medicine, he has been supervising the construction of several expert systems. He received the Scientific Award of the Chemnitz University of Technology four times. In 1994,he moved to the Chair of Computer Science at the University of The West Indies, St. Augustine, Trinidad & Tobago. From 1996-2002 he was Head of the Department of Mathematics & Computer Science. His main focus was the development of Computer Science education at the undergraduate and graduate level to attain international standard. In 2001, he received the Vice-Chancellor's Award of Excellence. He is the author or co-author of 15 books and many publications in journals and conference proceedings.

"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.

moluna

Greven, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Tariffe di spedizione da Germania a U.S.A.

Articolo	Da 16 a 45 giorni lavorativi	Da 16 a 45 giorni lavorativi
Primo articolo	EUR 48,99	EUR 48,99

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

Assegno
Bonifico bancario
PayPal

Descrizione dello Store

Online Handel nur mit Neubüchern

Informazioni sull’azienda del venditore

Moluna GmbH

Engberdingdamm 27
Greven, Germania 48268

Contatta il venditoreVisualizza gli articoli di questo venditoreVisita la vetrina del venditore

Condizioni di vendita

Editoriale

Riconoscimento legale degli offerenti:

Moluna GmbH
rappresentata dall'amministratore Helge Blischke
Engberdingdamm 27
48268 Greven
Germania
Telefono: 02571/5698933
Fax: 02571/5698930
E-Mail: abe@moluna.de
P. IVA: DE296281834
iscritta nel registro delle imprese del tribunale Steinfurt
numero di registro delle imprese HRB 10553

Siamo membri dell’iniziativa “FairCommerce” dal 24.07.2015.
Per ulteriori informazioni, vedere www.haendlerbund.de/faircommerce.

Diritto di recesso

Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.

Informazioni sul diritto di recesso

Diritto legale di recesso

Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.

Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.

Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).

Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.

Effetti del recesso

In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).

Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.

Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.

Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.

Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.

Dovrai rispedire i beni o consegnarli a moluna, Greven, Germany, senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.

Eccezioni al diritto di recesso

Il diritto di recesso non si applica a:

La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.