Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1984
ISBN 10: 3540138838 ISBN 13: 9783540138839
Anbieter: Ammareal, Morangis, Frankreich
EUR 5,84
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 27,50
Anzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,75
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,75
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer 1984, 1984
Anbieter: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Deutschland
Softcover Sehr gut erhalten.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,66
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,66
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,94
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 57,08
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of new results in the topics of currentresearch in India and abroad. This year, there was a totalof 125 papers from 14 countries. Each paper was reviewed byat least three reviewers; based on these reviews, theprogramme committee selected 28 papers at a meeting held inJuly 1992 at the Tata Institute of Fundamental Research,Bombay.The selected papers are included in this volume, togetherwith three invited papers: 'Games and full completeness formultiplicative linear logic' by S. Abramsky, 'Recentdevelopments inalgorithms for the maximum-flow problem' byK. Melhorn, and 'System specification and refinement intemporal logic' by A. Pnueli.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual forum for the presentation of newresearch results in India and abroad. This year, 119 papersfrom 20 countries were submitted. Each paper was reviewed byat least three reviewers, and 33 papers were selected forpresentation and included in this volume, grouped into partson type theory, parallel algorithms, term rewriting, logicand constraint logic programming, computational geometry andcomplexity, software technology, concurrency, distributedalgorithms, and algorithms and learning theory. Alsoincluded in the volume are the five invited papers presentedat theconference.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 109,47
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1992, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of new results in the topics of currentresearch in India and abroad. This year, there was a totalof 125 papers from 14 countries. Each paper was reviewed byat least three reviewers; based on these reviews, theprogramme committee selected 28 papers at a meeting held inJuly 1992 at the Tata Institute of Fundamental Research,Bombay.The selected papers are included in this volume, togetherwith three invited papers: 'Games and full completeness formultiplicative linear logic' by S. Abramsky, 'Recentdevelopments inalgorithms for the maximum-flow problem' byK. Melhorn, and 'System specification and refinement intemporal logic' by A. Pnueli. 424 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual forum for the presentation of newresearch results in India and abroad. This year, 119 papersfrom 20 countries were submitted. Each paper was reviewed byat least three reviewers, and 33 papers were selected forpresentation and included in this volume, grouped into partson type theory, parallel algorithms, term rewriting, logicand constraint logic programming, computational geometry andcomplexity, software technology, concurrency, distributedalgorithms, and algorithms and learning theory. Alsoincluded in the volume are the five invited papers presentedat theconference. 476 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual forum for the presentation of newresearch results in India and abroad. This year, 119 papersfrom 20 countries were sub.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of new results in the topics of currentresearch in India and abr.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1984
ISBN 10: 3540138838 ISBN 13: 9783540138839
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic for knowledge representation.- Logical specification and implementation.- Process specification of logic programs.- Functional programming systems revisited.- Models and transformations for nondeterministic extensions of functional programming.- Degre.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1992, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of new results in the topics of currentresearch in India and abroad. This year, there was a totalof 125 papers from 14 countries. Each paper was reviewed byat least three reviewers; based on these reviews, theprogramme committee selected 28 papers at a meeting held inJuly 1992 at the Tata Institute of Fundamental ResearchBombay.The selected papers are included in this volume, togetherwith three invited papers: 'Games and full completeness formultiplicative linear logic' by S. Abramsky, 'Recentdevelopments inalgorithms for the maximum-flow problem' byK. Melhorn, and 'System specification and refinement intemporal logic' by A. Pnueli.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -For more than a decade, Foundations of Software Technologyand Theoretical Computer Science Conferences have beenproviding an annual forum for the presentation of newresearch results in India and abroad. This year, 119 papersfrom 20 countries were submitted. Each paper was reviewed byat least three reviewers, and 33 papers were selected forpresentation and included in this volume, grouped into partson type theory, parallel algorithms, term rewriting, logicand constraint logic programming, computational geometry andcomplexity, software technology, concurrency, distributedalgorithms, and algorithms and learning theory. Alsoincluded in the volume are the five invited papers presentedat theconference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
Taschenbuch. Zustand: Neu. Foundations of Software Technology and Theoretical Computer Science | 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings | Rudrapatna Shyamasundar | Taschenbuch | xv | Englisch | 1992 | Springer | EAN 9783540562870 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Taschenbuch. Zustand: Neu. Foundations of Software Technology and Theoretical Computer Science | 13th Conference, Bombay, India, December 15-17, 1993. Proceedings | Rudrapatna K. Shyamasundar | Taschenbuch | cdlxxvi | Englisch | 1993 | Springer | EAN 9783540575290 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.