Bild 1 von 1
Mathematische Grundlagen der Informatik 1978: 7. Symposium Zakopane, Polan-
Artikelzustand:
3 verfügbar
Versand:
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Do, 13. Jun und Di, 25. Jun nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,3% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395142262502
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9783540089216
- Book Title
- Mathematical Foundations of Computer Science 1978
- ISBN
- 9783540089216
- Publication Year
- 1978
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings
- Item Length
- 9.3in
- Publisher
- Springer Berlin / Heidelberg
- Item Width
- 6.1in
- Item Weight
- 61.4 Oz
- Number of Pages
- IX, 556 Pages
Über dieses Produkt
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540089217
ISBN-13
9783540089216
eBay Product ID (ePID)
109109780
Product Key Features
Publication Name
Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings
Format
Trade Paperback
Language
English
Publication Year
1978
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
IX, 556 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
61.4 Oz
Additional Product Features
Series Volume Number
64
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
The connection between modal logic and algorithmic logics.- The algebraic semantics of recursive program schemes.- Finding the correctness proof of a concurrent program.- An algebra for parallelism based on petri nets.- Data types as functions.- Synthesis of communicating behaviour.- Programming languages as mathematical objects.- Writing and verifying sequential files updating programs.- On the completeness of query languages for relational data bases.- Mastering contextsensitivity in programming languages.- Decision problems concerning parallel programming.- Attribute grammars and two-level grammars: A unifying approach.- Extensions and implementations of abstract data type specifications.- Concurrency of manipulations in multidimensional information structures.- Deriving structures from structures.- Semantics of nondeterminism, concurrency and communication.- Contribution to the theory of concurrency in databases.- Facts in place/transition-nets.- Loop programs and classes of primitive recursive functions.- Dynamic theories of real and complex numbers.- Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication.- Some applications of algebraic semantics.- Goal-oriented derivation of logic programs.- Transforming recursion equations to algorithms.- Structural invariants for some classes of structured programs.- Synthesis of concurrent schemes.- Fast matrix multiplication by boolean RAM in linear storage.- Cycles of partial orders.- Complexity measures defined by mazurkiewicz-algorithms.- On functional grammars.- Analysis of a universal class of hash functions.- A framework for producing deterministic canonical bottom-up parsers.- Cooperating grammar systems.- Synchronized petri nets : A model for the description of non-autonomous sytems.- On divergence and halting problems for monadic program schemas.- Compression of clustered inverted files.- The completeness of propositional dynamic logic.- Improving memory utilization in transforming recursive programs.- On two subclasses of real-time grammars.- On information storage and retrieval systems an algebraic approach, part 1.- Probabilistic LCF.- On algorithmic theory of stacks.- Analyzing program solutions of coordination problems by cp-nets.- Structural properties of petri nets.- Ensuring correctness by arbitrary postfixed-points.- String-matching in real time: Some properties of the data structure.- Name independence and database abstraction in the relational model.- Free Petri net languages.- Transformations to produce certain covering grammars.- On the computational power of extended petri nets.- Theory of relations for databases -- a tutorial survey.
Copyright Date
1978
Topic
Computer Science, Compilers
Intended Audience
Scholarly & Professional
Illustrated
Yes
Genre
Computers
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395142262502
Verpackung und Versand
Artikelstandort:
Fairfield, Ohio, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela
Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
---|---|---|---|---|
Kostenloser Versand | Kostenlos | USA | Economy Shipping | Lieferung zwischen Do, 13. Jun und Di, 25. Jun nach 43230 |
Bearbeitungszeit |
---|
Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
Steuern |
---|
An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #395142262502
Mehrwertsteuer für diesen Artikel #395142262502
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
Bundesstaat | Steuersatz für Sales Tax |
---|
Rücknahmebedingungen
Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
---|---|---|
30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
Rücknahmebedingungen im Detail |
---|
Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1.023.874)
a***h (37)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Tracking shows error. Hasn't showed up yet. F- slow ship.
t***1 (2016)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
excellent book, very useful reference guide, everything arrived in great shape, thanks for the quick shipping
t***a (2144)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Great seller - always! Thanks, too, for speedy delivery! A+++
Noch mehr entdecken:
- Science-Fiction-Belletristik Romane,
- Science-Fiction-Belletristik-Jugendliche Romane,
- Bücher über Literatur Science-Fiction-Belletristik,
- Science-Fiction-Belletristik-Bücher auf Deutsch,
- Isaac-Asimov-Science-Fiction - Belletristik-Bücher,
- Romane & Erzählungen für Kinder & Jugendliche Science-Fiction,
- Belletristik im Taschenbuch-Format mit Romane Science-Fiction,
- Perry Rhodan Science-Fiction-Bücher mit Belletristik-Genre,
- Star Trek Science-Fiction-Bücher mit Belletristik-Genre,
- Science-Fiction-Belletristik-Genre ab 2010 Bücher