Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1984
ISBN 10: 3540138838 ISBN 13: 9783540138839
Lingua: Inglese
Da: Ammareal, Morangis, Francia
EUR 15,77
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
Editore: Springer Berlin / Heidelberg, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Lingua: Inglese
Da: Better World Books Ltd, Dunfermline, Regno Unito
EUR 35,12
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Editore: Springer 1984, 1984
Da: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germania
EUR 29,00
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloSoftcover Sehr gut erhalten.
Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,59
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,59
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: California Books, Miami, FL, U.S.A.
EUR 67,87
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 64,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 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.
Editore: Springer Berlin Heidelberg, 1984
ISBN 10: 3540138838 ISBN 13: 9783540138839
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 64,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 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.
Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 64,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. 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.
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
EUR 8,09
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
EUR 11,40
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1992, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 93,08
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 96,29
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 55,03
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 55,03
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 98,68
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 101,74
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Editore: Springer Berlin Heidelberg Nov 1992, 1992
ISBN 10: 3540562877 ISBN 13: 9783540562870
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 93,08
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 been providing an annual academic computerscience forum for the presentation of new results in the topics of current research in India and abroad. This year, there was a total of 125 papers from 14 countries. Each paper was reviewed by at least three reviewers; based on these reviews, the programme committee selected 28 papers at a meeting held in July 1992 at the Tata Institute of Fundamental Research, Bombay. The selected papers are included in this volume, together with three invited papers: 'Games and full completeness for multiplicative linear logic' by S. Abramsky, 'Recent developments inalgorithms for the maximum-flow problem' by K. Melhorn, and 'System specification and refinement in temporal logic' by A. Pnueli. 424 pp. Englisch.
Editore: Springer Berlin Heidelberg Nov 1993, 1993
ISBN 10: 3540575294 ISBN 13: 9783540575290
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 96,29
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.