Desharnais jules (26 Ergebnisse)
Relational and Algebraic Methods in Computer Science : 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 ? November 1, 2018, Proceedings
Desharnais, Jules (EDT); Guttmann, Walter (EDT); Joosten, Stef (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,66
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 61,23
Versand nach gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Relational and Algebraic Methods in Computer Science : 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 ? November 1, 2018, Proceedings
Desharnais, Jules (EDT); Guttmann, Walter (EDT); Joosten, Stef (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 63,07
EUR 2,31 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Softcover
Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,69
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: new. Paperback. This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter programs,…whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and transformation, program analysis, programming paradigms, programming c- culi, programming language semantics, security, and program logics. The conference took place during June 21-23 in Lac-Beauport, a suburb of Qu' ebec City, Canada, prior to AMAST 2010 (June 23-26). The previous nine conferences were held in 1989 in Twente, The Netherlands (LNCS 375); in 1992 in Oxford, UK (LNCS 669); in 1995 in Kloster Irsee, Germany (LNCS 947); in 1998 in Marstrand near Got . eborg, Sweden (LNCS 1422); in 2000 in Ponte de Lima, Portugal (LNCS 1837); in 2002 in Dagstuhl, Germany (LNCS 2386); in 2004,inStirling,UK(LNCS3125);in2006inKuressaare,Estonia(LNCS4014); and in 2008 in Marseille-Luminy, France (LNCS 5133).The volume contains one invited paper, the abstracts of two invited talks, and 19 papersselected for presentationby the ProgramCommittee from 37 s- missions. Eachpaper wasrefereed by at least three reviewers,and on averageby four. We are grateful to the members of the Program Committee and the ext- nal referees for their care and diligence in reviewing the submitted papers. The review process and compilation of the proceedings were greatly helped by - drei Voronkov's EasyChair system that we highly recommend to every Program Chair. Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,52
EUR 14,09 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,96
EUR 18,21 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
Paperback. Zustand: New.
Relational and Algebraic Methods in Computer Science : 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 ? November 1, 2018, Proceedings
Desharnais, Jules (EDT); Guttmann, Walter (EDT); Joosten, Stef (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,96
EUR 17,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,68
EUR 10,50 VersandVersand von Irland nach USAAnzahl: 15 verfügbar
Zustand: New.
Relational and Algebraic Methods in Computer Science : 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 ? November 1, 2018, Proceedings
Desharnais, Jules (EDT); Guttmann, Walter (EDT); Joosten, Stef (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 67,73
EUR 17,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 83,31
EUR 3,49 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Relational and Algebraic Methods in Computer Science: 17th International Conference, Ramics 2018, Groningen, the Netherlands, October 29 November 1, 2018, Proceedings
Desharnais, Jules (Editor)/ Guttmann, Walter (Editor)/ Joosten, Stef (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,24
EUR 14,70 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 404 pages. 9.25x6.10x0.91 inches. In Stock.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 87,48
EUR 9,18 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Bolduc, Claude (Editor) / Desharnais, Jules (Editor) / Ktari, Bechir (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,07
EUR 14,70 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 427 pages. 9.25x6.25x1.00 inches. In Stock.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 63,38
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Zustand: New. Invited Talks.- The Algorithmics of Solitaire-Like Games.- Compositionality of Secure Information Flow.- Process Algebras for Collective Dynamics.- Contributed Talks.- On Automated Program Construction and Verification.- The Logic of Large Enough.- Dependen.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,05 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper prese…nted together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.
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. Relational and Algebraic Methods in Computer Science | 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings | Jules Desharnais (u. a.) | Taschenbuch | xvi | Englisch | 2018 | Springer | EAN 9783030021481 | Verantwortliche Person für die EU:…Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 101,74
EUR 29,40 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,46
EUR 63,18 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande ective in the processof constructingc- puter programs,… whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci cation and transformation, program analysis, programming paradigms, programming c- culi, programming language semantics, security, and program logics. The conference took place during June 21 23 in Lac-Beauport, a suburb of Qu ebec City, Canada, prior to AMAST 2010 (June 23 26). The previous nine conferences were held in 1989 in Twente, The Netherlands (LNCS 375); in 1992 in Oxford, UK (LNCS 669); in 1995 in Kloster Irsee, Germany (LNCS 947); in 1998 in Marstrand near Got eborg, Sweden (LNCS 1422); in 2000 in Ponte de Lima, Portugal (LNCS 1837); in 2002 in Dagstuhl, Germany (LNCS 2386); in 2004,inStirling,UK(LNCS3125);in2006inKuressaare,Estonia(LNCS4014); and in 2008 in Marseille-Luminy, France (LNCS 5133). The volume contains one invited paper, the abstracts of two invited talks, and 19 papersselected for presentationby the ProgramCommittee from 37 s- missions. Eachpaper wasrefereed by at least three reviewers,and on averageby four. We are grateful to the members of the Program Committee and the ext- nal referees for their care and diligence in reviewing the submitted papers. The review process and compilation of the proceedings were greatly helped by - drei Voronkov s EasyChair system that we highly recommend to every Program Chair.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 43,95
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 425 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,22
EUR 6,80 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
- Softcover
- Print-on-Demand
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,21
Versand nach gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 inv…ited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools. 404 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,90
EUR 7,64 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 82,93
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND.
- Softcover
- Print-on-Demand
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
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/No…vember 2018.The 21 full papers and 1 invited paper pr.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited… paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 404 pp. Englisch.
