Importo totale (1 articolo articoli):
Destinazione ordine:
fribourg laurent (49 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (49)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (42)
- Come nuovo, Ottimo o Quasi ottimo (5)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (18)
- Non Print on Demand (34)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21
Da: George Cross Books, Lexington, MA, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Paperback. Reprint edition. Very Good/Wraps (34587) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 883 This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies. 451.
-
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Theoretical Computer Science and General Issues)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 47,17
Spedizione EUR 3,36
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... (Lecture Notes in Computer Science, 883)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,06
Spedizione EUR 3,36
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Theoretical Computer Science and General Issues)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,13
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 50,36
Spedizione EUR 17,81
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,81
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Modeling and Analysis of Timed Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 288.
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - ... (Lecture Notes in Computer Science, 883)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,37
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 -
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,80
Spedizione EUR 17,81
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 468.
-
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 70,42
Spedizione EUR 11,50
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2013 edition. 288 pages. 9.25x6.10x0.65 inches. In Stock.
-
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science, 2142)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 102,09
Spedizione EUR 3,36
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642402283 ISBN 13: 9783642402289
EUR 49,22
Spedizione EUR 62,21
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1994
ISBN 10: 3540587926 ISBN 13: 9783540587927
EUR 53,49
Spedizione EUR 63,52
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994.This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
-
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Control of Switching Systems by Invariance Analysis : Applcation to Power Electronics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 121,88
Spedizione EUR 2,22
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 124,18
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science, 2142)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 124,93
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science, 2142)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 111,66
Spedizione EUR 13,77
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR *94 and META *94, Pisa, Italy, June 20 - . (Lecture Notes in Computer Science (883))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 108,93
Spedizione EUR 28,74
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
EUR 32,74
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 288 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Computer Science Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 632.
-
Computer Science Logic
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2001
ISBN 10: 3540425543 ISBN 13: 9783540425540
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Control of Switching Systems by Invariance Analysis : Applcation to Power Electronics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 145,07
Spedizione EUR 2,22
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Control of Switching Systems by Invariance Analysis (Hardcover)
Lingua: Inglese
Editore: ISTE Ltd and John Wiley & Sons Inc, London, 2013
ISBN 10: 1848216068 ISBN 13: 9781848216068
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: new. Hardcover. This book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching systems are increasingly used in the electronics and mechanical industries; in power electronics and the automotive industry, for example. This is due to their flexibility and simplicity in accurately controlling industrial mechanisms. By adopting appropriate control rules, we can steer a switching system to a region centered at a desired equilibrium point, while avoiding "unsafe" regions of parameter saturation. The authors explain various correct-by-design methods for control synthesis, using different methods of stability and invariance analysis. They also provide several applications of these methods to industrial examples of power electronics. Because of their flexibility and ease-of-use, switching systems is at the basis of the electronics and mechanical industries. This text describes the control techniques and methods of stability analysis in switching systems. It also addresses acceptable control rules and tactics for avoiding unsafe regions of parameter saturation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Control of Switching Systems by Invariance Analysis : Applcation to Power Electronics
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 151,03
Spedizione EUR 17,24
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Computer Science Logic
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2001, 2001
ISBN 10: 3540425543 ISBN 13: 9783540425540
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 106,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -The Annual Conference of the European Association for Computer Science Logic, CSL 2001, was held in Paris, Palais de la Mutualit¿ e, on September 10¿13, 2001. This was the 15th in a series of annual meetings, originally intended as International Workshops on Computer Science Logic, and the 10th to be held as the Annual Conference of the EACSL. The conference was organized by La- ratoire Sp¿ eci cation et V¿ eri cation (CNRS & ENS Cachan). The CSL 2001 program committee selected 39 of 91 submitted papers for presentation at the conference and publication in this proceedings volume. The submittedpapersoriginatedfrom26di erentcountries.Eachpaperwasrefereed by at least three reviewers. In addition to the contributed papers, the scienti c program of CSL 2001 - cluded three invited talks (Jean-Yves Girard, Peter O¿Hearn, and Jan Van den Bussche). This volume includes the papers provided by the invited speakers as well as the selected contributed papers. The topics of the papers include: linear logic, descriptive complexity, semantics, higher-order programs, modal logics, veri cation, automata, -calculus, induction, equational calculus, and constr- tive theory of types. I am most grateful to the members of the program committee and all the referees for their thorough work. I am also particularly indebted to Fran¿ cois Laroussinie, helped by Patricia Bouyer, Nicolas Markey, and Philippe Schn- belen, for the successful organization of this event. Special thanks to Emmanuel Fleury for the design of the beautiful ¿Notre-Dame de Paris¿ poster. 636 pp. Englisch.
-
Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2001
ISBN 10: 3540425543 ISBN 13: 9783540425540
EUR 106,99
Spedizione EUR 64,75
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Annual Conference of the European Association for Computer Science Logic, CSL 2001, was held in Paris, Palais de la Mutualit e, on September 10 13, 2001. This was the 15th in a series of annual meetings, originally intended as International Workshops on Computer Science Logic, and the 10th to be held as the Annual Conference of the EACSL. The conference was organized by La- ratoire Sp eci cation et V eri cation (CNRS & ENS Cachan). The CSL 2001 program committee selected 39 of 91 submitted papers for presentation at the conference and publication in this proceedings volume. The submittedpapersoriginatedfrom26di erentcountries.Eachpaperwasrefereed by at least three reviewers. In addition to the contributed papers, the scienti c program of CSL 2001 - cluded three invited talks (Jean-Yves Girard, Peter O Hearn, and Jan Van den Bussche). This volume includes the papers provided by the invited speakers as well as the selected contributed papers. The topics of the papers include: linear logic, descriptive complexity, semantics, higher-order programs, modal logics, veri cation, automata, -calculus, induction, equational calculus, and constr- tive theory of types. I am most grateful to the members of the program committee and all the referees for their thorough work. I am also particularly indebted to Fran cois Laroussinie, helped by Patricia Bouyer, Nicolas Markey, and Philippe Schn- belen, for the successful organization of this event. Special thanks to Emmanuel Fleury for the design of the beautiful Notre-Dame de Paris poster.
-
EUR 186,24
Spedizione EUR 2,53
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Brand new! Please provide a physical shipping address.
-
Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics
Lingua: Inglese
Editore: ISTE Ltd and John Wiley & Sons Inc, 2013
ISBN 10: 1848216068 ISBN 13: 9781848216068
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 181,72
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Because of their flexibility and ease-of-use, switching systems is at the basis of the electronics and mechanical industries. This text describes the control techniques and methods of stability analysis in switching systems. It also addresses acceptable control rules and tactics for avoiding unsafe regions of parameter saturation. Num Pages: 144 pages, Illustrations. BIC Classification: THR; TJ. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 17. Weight in Grams: 402. . 2013. 1st Edition. Hardcover. . . . .
