- 5 Ergebnisse
Kleinster Preis: € 11,54, größter Preis: € 57,66, Mittelwert: € 45,28
1
Theoretical Computer Science : 6th GI-Conference Dortmund, January 5-7, 1983 - H. -P. Kriegel
Bestellen
bei ZVAB.com
€ 53,74
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
H. -P. Kriegel:

Theoretical Computer Science : 6th GI-Conference Dortmund, January 5-7, 1983 - Taschenbuch

1982, ISBN: 3540119736

[EAN: 9783540119739], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGORITHMUS; MATHEMATIK; LISP; ALGORITHM; ALGORITHMS; CALCULUS; COMPLEXITY; COMPLEXITYTHEORY; COMPUTERSCIENCE; … Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Theoretical Computer Science - Cremers, Armin B. Kriegel, H.-P.
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Cremers, Armin B. Kriegel, H.-P.:

Theoretical Computer Science - Erstausgabe

1982, ISBN: 9783540119739

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Partial functions in coms… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
3
Theoretical Computer Science 6th GI-Conference Dortmund, January 5-7, 1983 - Kriegel, H. -P. (Herausgeber); Cremers, A. B. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Kriegel, H. -P. (Herausgeber); Cremers, A. B. (Herausgeber):
Theoretical Computer Science 6th GI-Conference Dortmund, January 5-7, 1983 - neues Buch

1982

ISBN: 3540119736

1982 Kartoniert / Broschiert Algorithmus, Mathematik, Theoretische Informatik, LISP; algorithm; algorithms; calculus; complexity; complexitytheory; computerscience; Semantics; theoretic… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 A.B. Cremers Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 A.B. Cremers Editor - neues Buch

ISBN: 9783540119739

Theoretical Computer Science,AB Cremers New Textbooks>Trade Paperback>Technology>Xxxsoftware Engr>* Desc Unknown, Springer Berlin Heidelberg Core >1 >T

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 12,48
(ca. € 11,54)
Versand: € 19,421
Bestellen
Details beim Anbieter
gesponserter Link
A.B. Cremers (Editor), H.-P. Kriegel (Editor):
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 (Lecture Notes in Computer Science) (v. 145) (English and French Edition) - Taschenbuch

1983, ISBN: 9783540119739

Springer, 1983-01-18. 1982. Paperback. Used:Good., Springer, 1983-01-18, 0

Versandkosten: EUR 19.42 Ergodebooks
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 A.B. Cremers Editor
Autor:
Titel:
ISBN-Nummer:

9783540119739


Partial functions in comstructive formal theories.- A Monte Carlo factoring algorithm with finite storage.- Theory of concurrency control.- Interprocedural data flow systems.- On the crossing-free, rectangular embedding of weighted graphs in the plane.- Discreteness, K-density and D-continuity of occurrence nets.- Controlled relativizations of P and NP.- The computational complexity of certain graph grammars.- Inconsistencies of pure LISP.- FIFO nets: A new model of parallel computation.- Une extension aux mots infinis de la notion de transduction rationnelle.- Algebraic and operational semantics of exceptions and errors.- The expected number of nodes and leaves at level k in ordered trees.- Complexity theory on real numbers and functions.- A multifit algorithm for uniform multiprocessor scheduling.- Analysis of polynomial approximation algorithms for constraint expressions.- Heuristics for minimum edge length rectangular partitions of rectilinear figures.- An axiomatic approach to semantics of specification languages.- Efficiency of universal parallel computers.- Coroutines and processes in block structured languages.- A general scheme for some deterministically parsable grammars and their strong equivalents.- A decidability result about sufficient-completeness of axiomatically specified abstract data types.- Two remarks on the power of counting.- Some operations and transductions that preserve rationality.- On algebras of computation sequences and proofs of equivalence of operational and denotational semantics.- Sur les morphismes qui engendrent des mots infinis ayant des facteurs prescrits.- The equivalence problem for N.T.S. languages is deoidable.- Weakest expressible preconditions: A new tool for proving completeness results about Hoare calculi.- A hierarchy of sets of infinite trees.- Maintaining order in a generalized linked list.- Periodic versus arbitrary tessellations of the plane using polyominos of a single type.

Detailangaben zum Buch - Theoretical Computer Science: 6th GI-Conference Dortmund, January 5-7, 1983 A.B. Cremers Editor


EAN (ISBN-13): 9783540119739
ISBN (ISBN-10): 3540119736
Taschenbuch
Erscheinungsjahr: 1982
Herausgeber: Springer Berlin Heidelberg Core >1 >T
367 Seiten
Gewicht: 0,579 kg

Buch in der Datenbank seit 2007-05-29T14:08:21+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-03T10:40:33+01:00 (Vienna)
ISBN/EAN: 9783540119739

ISBN - alternative Schreibweisen:
3-540-11973-6, 978-3-540-11973-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kriegel, cremers, cremer, creme
Titel des Buches: marien kirche dortmund, 1983 band, cremers, theoretical computer science, lecture notes computer science, jan cremer, english computer science, superconductivity ternary compounds, dortmund 1870 1910, johann baptist kirche dortmund, dortmund 1860 1910

Daten vom Verlag:

Autor/in: A.B. Cremers; H.-P. Kriegel
Titel: Lecture Notes in Computer Science; Theoretical Computer Science - 6th GI-Conference Dortmund, January 5-7, 1983
Verlag: Springer; Springer Berlin
368 Seiten
Erscheinungsjahr: 1982-12-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 368 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Computer; Lisp; algorithm; algorithms; calculus; complexity; complexity theory; computer science; semantics; theoretical computer science; algorithm analysis and problem complexity; Theory of Computation; Algorithms; Algorithmen und Datenstrukturen; EA

Partial functions in comstructive formal theories.- A Monte Carlo factoring algorithm with finite storage.- Theory of concurrency control.- Interprocedural data flow systems.- On the crossing-free, rectangular embedding of weighted graphs in the plane.- Discreteness, K-density and D-continuity of occurrence nets.- Controlled relativizations of P and NP.- The computational complexity of certain graph grammars.- Inconsistencies of pure LISP.- FIFO nets: A new model of parallel computation.- Une extension aux mots infinis de la notion de transduction rationnelle.- Algebraic and operational semantics of exceptions and errors.- The expected number of nodes and leaves at level k in ordered trees.- Complexity theory on real numbers and functions.- A multifit algorithm for uniform multiprocessor scheduling.- Analysis of polynomial approximation algorithms for constraint expressions.- Heuristics for minimum edge length rectangular partitions of rectilinear figures.- An axiomatic approach to semantics of specification languages.- Efficiency of universal parallel computers.- Coroutines and processes in block structured languages.- A general scheme for some deterministically parsable grammars and their strong equivalents.- A decidability result about sufficient-completeness of axiomatically specified abstract data types.- Two remarks on the power of counting.- Some operations and transductions that preserve rationality.- On algebras of computation sequences and proofs of equivalence of operational and denotational semantics.- Sur les morphismes qui engendrent des mots infinis ayant des facteurs prescrits.- The equivalence problem for N.T.S. languages is deoidable.- Weakest expressible preconditions: A new tool for proving completeness results about Hoare calculi.- A hierarchy of sets of infinite trees.- Maintaining order in a generalized linked list.- Periodic versus arbitrary tessellations of the plane using polyominos of a single type.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540081388 [(Dynamics and Thermodynamics of Compressible Fluid Flow)] [By (author) Ascher H. Shapiro] published on (March, 1977) (Ascher H. Shapiro)

< zum Archiv...