Zdjęcie 1 z 1

Masz taki przedmiot na sprzedaż?

Sprzedaj sam

Matematyczne podstawy informatyki 1999: XXIV Międzynarodowe Sympozjum,–

Stan:

Nowy

Ilość:

Dostępne: 3

Cena:

US $66,42

Około260,44 zł

Wysyłka:

Bezpłatnie Economy Shipping. Zobacz szczegółydla wysyłki

Znajduje się w: Fairfield, Ohio, Stany Zjednoczone

Dostawa:

Szacowana między Wt, 11 cze a So, 22 cze do 43230

Zwroty:

Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów

Płatności:

Kupuj bez obaw

Najlepszy Sprzedawca

Zaufany sprzedawca, szybka wysyłka i łatwe zwroty.

Dowiedz się więcej- Top Rated Plus – otwiera się w nowym oknie lub nowej karcie

Gwarancja zwrotu pieniędzy eBay

Otrzymasz przedmiot, jaki zamawiasz, albo zwrot pieniędzy.

Dowiedz się więcejGwarancja zwrotu pieniędzy eBay – otwiera się w nowym oknie lub nowej karcie

Informacje o sprzedawcy

grandeagleretail (920087)
98,3% opinii pozytywnych

Zarejestrowany jako sprzedawca-firma

Zgłoś ten przedmiot - otwiera się w nowym oknie lub nowej karcie

Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.

Nr przedmiotu eBay: 395163448925

Ostatnia aktualizacja: 19-05-2024 11:18:44 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki

Parametry przedmiotu

Stan: Nowy: Nowa, nieczytana, nieużywana książka w idealnym stanie, wszystkie strony, bez uszkodzeń. Aby ...

ISBN-13: 9783540664086

Book Title: Mathematical Foundations of Computer Science 1999

ISBN: 9783540664086

Series: Lecture Notes in Computer Science Ser.

Publication Year: 1999

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 - Proceedings

Author: Leszek Pacholski

Item Length: 9.3in

Publisher: Springer Berlin / Heidelberg

Item Width: 6.1in

Item Weight: 51.5 Oz

Number of Pages: Xii, 464 Pages

O tym produkcie

Product Information

This volume contains papers selected for presentation during the 24th Interna- tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por ba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Rajsbaum, and Mads Tofte, and 37 accepted papers chosen out of 68 submissions. The volume contains all accepted contributed papers, and three invited papers. The contributed papers have been selected for presentation based on their scientific quality, novelty, and interest for the general audience of MFCS par- ticipants. Each paper has been reviewed by at least three independent referees -- PC members and/or sub-referees appointed by them. The papers were se- lected for presentation during a fully electronic virtual meeting of the program committee on May 7, 1999. The virtual PC meeting was supported by software written by Artur Zgoda, Ph.D. student at the University of Wroclaw. The entire communication and access to quite a sensitive database at PC headquarters in Wroclaw was secured by cryptographic protocols based on technology of certificates.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

3540664084

ISBN-13

9783540664086

eBay Product ID (ePID)

1625562

Product Key Features

Author

Leszek Pacholski

Publication Name

Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 - Proceedings

Format

Trade Paperback

Language

English

Series

Lecture Notes in Computer Science Ser.

Publication Year

1999

Type

Textbook

Number of Pages

Xii, 464 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Item Weight

51.5 Oz

Additional Product Features

Series Volume Number

1672

Number of Volumes

1 Vol.

Lc Classification Number

Qa75.5-76.95

Table of Content

Computing Over Reals.- On-Line Addition in Real Base.- Query Languages for Real Number Databases Based on Descriptive Complexity over R.- The Arithmetical Hierarchy of Real Numbers.- Compression Techniques.- The Burrows-Wheeler Transform: Theory and Practice.- Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts.- Foundations of Programming.- Computing and Comparing Semantics of Programs in Four-Valued Logics.- Foundations of Modular SOS.- Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces.- Complexity and Algorithms.- On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System.- The Complexity of the Extended GCD Problem.- Complexity Results for Confluence Problems.- Model Checking.- Is Your Model Checker on Time?.- Clausal Resolution for CTL.- Model Checking and Higher-Order Recursion.- Distributed Computing.- Multiparty Communication Complexity: Very Hard Functions.- New Perspectives in Distributed Computing.- Functional Programming.- An Improved Disjunctive Strictness Analysis for Lazy Functional Languages.- Unique Fixed Point Induction for McCarthy's Amb.- Automata.- On Some Topological Properties of Linear Cellular Automata.- Real-Time Language Recognition by One-Way and Two-Way Cellular Automata.- Average State Complexity of Operations on Unary Automata.- Fooling Rebound Automata.- Algorithms and Complexity.- The Complexity of Minimizing FBDDs.- Efficient Strongly Universal and Optimally Universal Hashing.- Lower and Upper Bounds for the Problem of Page Replication in Ring Networks.- Security.- Language-Based Security.- Logic.- An Algebraic Approach to Knowledge Representation.- On the Structure of the Monadic Logic of the Binary Tree.- A New Space Bound for the Modal Logics K4, KD4 and S4.- CountingProblems.- On Approximating the Number of Bases of Exchange Preserving Matroids.- Processes and Bisimulation.- The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.- On Plain and Hereditary History-Preserving Bisimulation.- Approximating Weak Bisimulation on Basic Process Algebras.- Graph Algorithms.- Edge Coloring of Bipartite Graphs with Constraints.- An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover.- On Minimum Edge Ranking Spanning Trees.- Complexity.- Football Elimination Is Hard to Decide Under the 3-Point-Rule.- Generalized Regular Counting Classes.- A Foundation of Programming a Multi-tape Quantum Turing Machine.- Types: Theory and Applications.- A Type Discipline for Solving Year 2000 Problems in COBOL Programs.- Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.

1999

Topic

Computer Science, Networking / General, Discrete Mathematics

Dewey Decimal

004.0151

Intended Audience

Scholarly & Professional

Dewey Edition

Illustrated

Yes

Genre

Computers, Mathematics

Opis przedmiotu podany przez sprzedawcę

Informacje o firmie

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Pokaż informacje kontaktowe

:liam-Emoc.liaterelgaednarg@yabe

Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.

Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.

Nr przedmiotu eBay: 395163448925

Ostatnia aktualizacja: 19-05-2024 11:18:44 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki

Wysyłka i obsługa

Lokalizacja przedmiotu:

Fairfield, Ohio, Stany Zjednoczone

Wysyłka do:

Afganistan, Albania, Algieria, Andora, Angola, Anguilla, Antigua i Barbuda, Antyle Holenderskie, Arabia Saudyjska, Argentyna, Armenia, Aruba, Australia, Austria, Azerbejdżan, Bahamy, Bahrajn, Bangladesz, Belgia, Belize, Benin, Bermudy, Bhutan, Boliwia, Botswana, Bośnia i Hercegowina, Brazylia, Brunei, Brytyjskie Wyspy Dziewicze, Burkina Faso, Burundi, Bułgaria, Cały świat, Chile, Chiny, Chorwacja, Cypr, Czad, Czarnogóra, Czechy, Dania, Demokratyczna Republika Konga, Dominika, Dominikana, Dżibuti, Egipt, Ekwador, Erytrea, Estonia, Eswatini, Etiopia, Falklandy (Malwiny), Fidżi, Filipiny, Finlandia, Francja, Gabon, Gambia, Ghana, Gibraltar, Grecja, Grenada, Grenlandia, Gruzja, Guernsey, Gujana, Gwatemala, Gwinea, Gwinea Bissau, Gwinea Równikowa, Haiti, Hiszpania, Holandia, Honduras, Hongkong, Indie, Indonezja, Irak, Irlandia, Islandia, Izrael, Jamajka, Japonia, Jemen, Jersey, Jordania, Kajmany, Kambodża, Kamerun, Kanada, Katar, Kazachstan, Kenia, Kirgistan, Kiribati, Kolumbia, Komory, Kongo, Korea Południowa, Kostaryka, Kuwejt, Laos, Lesotho, Liban, Liberia, Liechtenstein, Litwa, Luksemburg, Macedonia Północna, Madagaskar, Majotta, Makau, Malawi, Malediwy, Malezja, Mali, Malta, Maroko, Mauretania, Mauritius, Meksyk, Monako, Mongolia, Montserrat, Mozambik, Mołdawia, Namibia, Nauru, Nepal, Niemcy, Niger, Nigeria, Nikaragua, Niue, Norwegia, Nowa Zelandia, Oman, Pakistan, Paragwaj, Peru, Polska, Portugalia, Południowa Afryka, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Rumunia, Rwanda, Sahara Zachodnia, Saint Kitts i Nevis, Saint Lucia, Saint Pierre i Miquelon, Saint Vincent i Grenadyny, Salwador, San Marino, Senegal, Serbia, Seszele, Sierra Leone, Singapur, Somalia, Sri Lanka, Surinam, Svalbard i Jan Mayen, Szwajcaria, Szwecja, Słowacja, Słowenia, Tadżykistan, Tajlandia, Tajwan, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Turcja, Turkmenistan, Turks i Caicos, Tuvalu, Uganda, Urugwaj, Uzbekistan, Vanuatu, Wallis i Futuna, Watykan, Wielka Brytania, Wietnam, Wybrzeże Kości Słoniowej, Wyspy Cooka, Wyspy Salomona, Węgry, Włochy, Zambia, Zimbabwe, Zjednoczone Emiraty Arabskie, Łotwa, Święta Helena

Wykluczenia:

APO/FPO, Alaska/Hawaje, Barbados, Białoruś, Gujana Francuska, Gwadelupa, Libia, Martynika, Nowa Kaledonia, Panama, Papua-Nowa Gwinea, Polinezja Francuska, Protektoraty USA, Reunion, Rosja, Samoa Zachodnie, Ukraina, Wenezuela

Ilość:

Zmień kraj:

Kod pocztowy:

Wysyłka i obsługa	Każdy dodatkowy przedmiot	Do	Usługa	Dostawa*Zobacz uwagi o dostawie
Bezpłatna wysyłka	Bezpłatnie	Stany Zjednoczone	Economy Shipping	Szacowana między Wt, 11 cze a So, 22 cze do 43230

Uwagi – Dostawa *Szacowane czasy dostaw uwzględniają podany przez sprzedawcę czas na wysłanie przesyłki, kod pocztowy nadawcy, kod pocztowy odbiorcy i czas przyjęcia zamówienia. Czasy te zależą od wybranego rodzaju usługi wysyłkowej oraz czasu rozliczenia płatności. Czasy dostawy mogą się różnić, szczególnie w okresach największego ruchu.

Czas na wysłanie

Zwykle wysyłam przesyłkę w ciągu 10 dni roboczych po otrzymaniu rozliczonej płatności.

Podatki

Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay.