Ringeissen (17 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,27
EUR 14,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,27
EUR 14,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,27
EUR 14,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Weitere Bilder
- Hardcover
Anbieter: Emile Kerssemakers ILAB, Heerlen, NiederlandeEmile Kerssemakers ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 60,00
EUR 33,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
25 cm. original cloth. 814 pp. ills, diagrams. references. index. -(owner\'s name, otherwise (very) good). 1760g.
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Fontaine, Pascal (Edited by)/ Ringeissen, Christophe (Edited by)/ Schmidt, Renate (Edited by)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,46
EUR 14,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2013 edition. 370 pages. 9.20x6.10x0.79 inches. In Stock.
- Weitere Bilder
- Hardcover
Anbieter: Antiquariat Silvanus - Inhaber Johannes Schaefer, Ahrbrück, DeutschlandAntiquariat Silvanus - Inhaber Johannes Schaefer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 48,50
EUR 45,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
XXXIV, 814 Seiten mit zahlreichen Abbildungen, 0444414096 Sprache: Englisch Gewicht in Gramm: 1760 Groß 8°, Original-Leinen (Hardcover), Bibliotheks-Exemplar mit eichten Rückständen vom Rückenschild, Stempel auf Vorsatz, Titel, Schnitt und innen, insgesamt gutes und innen sauberes Exemplar, (library copy in good condition).
- Weitere Bilder
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,35 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FroCoS2000, the 3rd International WorkshoponFrontiersofCombiningSystems,heldMarch22 24,2000,inNancy, France. Like its predecessors organized in Munich (1996) and in Amsterdam (1998), FroCoS2000 is intended to o… er a common forum for research activities related to the combination and the integration of systems in the areas of logic, automateddeduction,constraintsolving,declarativeprogramming,andarti cial intelligence. There were 31 submissions of overall high quality, authored by researchers from countries including Australia, Brasil, Belgium, Chili, France, Germany, - pan, Ireland, Italy, Portugal, Spain, Switzerland, The Netherlands, the United Kingdom, and the United States of America. All submissions were thoroughly evaluatedonthebasisofatleastthreerefereereports,andanelectronicprogram committeemeetingwasheldthroughtheInternet.Theprogramcommitteesel- ted 14 research contributions. The topics covered by the selected papers include: combinationoflogics;combinationofconstraintsolvingtechniques,combination of decision procedures; modular properties for theorem proving; combination of deduction systems and computer algebra; integration of decision procedures and other solving processes into constraint programming and deduction systems. We welcomed ve invited lectures by Alexander Bockmayr on Combining Logic and Optimization in Cutting Plane Theory , Gilles Dowek on Axioms vs. Rewrite Rules: From Completeness to Cut Elimination , Klaus Schulz on Why Combined Decision Problems Are Often Intractable , Tomas Uribe on Combinations of Theorem Proving and Model Checking , and Richard Zippel on Program Composition Techniques for Numerical PDE Codes . Full papers of these lectures, except the last one, are also included in this volume.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,82 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were caref…ully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, R eunion Island, France. The major goal of the AMAST c…onferences is to promote research that may lead to setting software technology on a rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. All previous AMAST conferences, which were held in Iowa City (1989, 1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Iowa City (2000), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, progr- ming methodology, and their algebraic, and logical foundations.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Frontiers of Combining Systems | 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings | Pascal Fontaine (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642408847 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121… Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: CSG Onlinebuch GMBH, Darmstadt, DeutschlandCSG Onlinebuch GMBH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 25,42
EUR 95,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Gut. Gebraucht - Gut Verlagsmängelex., X, 291 pp. Brosch. This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000. The 14 revised full papers presented together with four invited papers were careful…ly reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning, sequent calculus, type systems, model checking, theorem proving, declarative programming, logic programming, and equational theories.
Molecular Spectroscopy of Dense Phases : Proceedings of the 12th European Congress on Molecular Spectroscopy, Strasbourg, France, July 1-4, 1975
M Grosmann (Editor); S G Elkomoss (Editor); J Ringeissen (Editor)
- Hardcover
Anbieter: Barnaby, Oxford, Vereinigtes KönigreichBarnaby
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht - Befriedigend
EUR 108,56
EUR 35,13 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Good. A few light bumps and scrapes to cover. Contents clean and unmarked, though a bit seasoned with age. A good used copy with no major flaws. xxxiv, 814 pp. Shipped Weight: 1-2 kilos. Category: Science & Technology; Molecular spectroscopy -- Congresses; ISBN: 0444414096. ISBN/EAN: 9780444414090. Add. Inven…tory No: 250321CTY0704327.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 40,86
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited pap…ers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 42,09
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 inv…ited papers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate, temporal, modal or epistemic logics, combinations and modularity in ontologies, combination of decision, procedures, of satisfiability, procedures and of constraint solving techniques, combinations and modularity in term rewriting, integration of equational and other theories into deductive systems, combination of deduction systems and computer algebra, integration of data structures into constraint logic programming and deduction, and modularizing programs and specifications.
Verlag: München (Philharmonie), 1.7.1970., 1970
Anbieter: Antiquariat Bebuquin (Alexander Zimmeck), Pegau OT Werben, DeutschlandAntiquariat Bebuquin (Alexander Zimmeck)
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 10,00
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb8 x 12,5 cm. Karteikarte. Bernard Ringeissen (* 15. Mai 1934 in Paris) ist ein französischer, klassischer Pianist. (Wikipedia) Sprache: deutsch.
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 179,95
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. 1976. Molecular Spectroscopy of Dense Phases. Proceedings of the 12th European Congress on Molecular Spectroscopy, Strasbourg, France, July 1 - 4, 1975. In englischer Sprache. pages.
