Mathematical Foundations of Computer Science 1975 : 4th Symposium Marianske Lazne, September 1-5, 1975 - Taschenbuch
1975, ISBN: 3540073892
[EAN: 9783540073895], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], BOOLEANFUNCTION; MONOID; SEMIOTIK; ALGORITHMS; AUTOMATA; COMPLEXITY; DERIVATION; FORMALGRAMMAR; FORMALLANGUAGE… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 8.81 Details... |
1975, ISBN: 9783540073895
Springer, Taschenbuch, Auflage: 1975, 496 Seiten, Publiziert: 1975-08-15T00:00:01Z, Produktgruppe: Buch, 1.73 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
amazon.de Howbooks Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
1975, ISBN: 9783540073895
Springer, Taschenbuch, Auflage: 1975, 496 Seiten, Publiziert: 1975-08-15T00:00:01Z, Produktgruppe: Buch, 1.73 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
amazon.de Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
ISBN: 3540073892
Mathematical foundations of computer science 1975 : 4th symposium, Marianské-Lazne, september 1-5, 1975. (Lecture notes in computer science ; 32). - On the comparison of notions of approx… Mehr…
ebay.de maur9449 Versandkosten:Versand zum Fixpreis, [SHT: Economy Shipping], 06*** Bevagna, [TO: Weltweit] (EUR 23.00) Details... |
ISBN: 9783540073895
*Mathematical Foundations of Computer Science 1975* - 4th Symposium Marianske Lazne September 1-5 1975. Auflage 1975 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Compute… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95) Details... |
Mathematical Foundations of Computer Science 1975 : 4th Symposium Marianske Lazne, September 1-5, 1975 - Taschenbuch
1975, ISBN: 3540073892
[EAN: 9783540073895], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], BOOLEANFUNCTION; MONOID; SEMIOTIK; ALGORITHMS; AUTOMATA; COMPLEXITY; DERIVATION; FORMALGRAMMAR; FORMALLANGUAGE… Mehr…
1975, ISBN: 9783540073895
Springer, Taschenbuch, Auflage: 1975, 496 Seiten, Publiziert: 1975-08-15T00:00:01Z, Produktgruppe: Buch, 1.73 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
1975
ISBN: 9783540073895
Springer, Taschenbuch, Auflage: 1975, 496 Seiten, Publiziert: 1975-08-15T00:00:01Z, Produktgruppe: Buch, 1.73 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
ISBN: 3540073892
Mathematical foundations of computer science 1975 : 4th symposium, Marianské-Lazne, september 1-5, 1975. (Lecture notes in computer science ; 32). - On the comparison of notions of approx… Mehr…
ISBN: 9783540073895
*Mathematical Foundations of Computer Science 1975* - 4th Symposium Marianske Lazne September 1-5 1975. Auflage 1975 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Compute… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematical Foundations of Computer Science 1975
EAN (ISBN-13): 9783540073895
ISBN (ISBN-10): 3540073892
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg
492 Seiten
Gewicht: 0,737 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-14T15:17:27+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-17T16:51:06+02:00 (Zurich)
ISBN/EAN: 9783540073895
ISBN - alternative Schreibweisen:
3-540-07389-2, 978-3-540-07389-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: becvar
Titel des Buches: marianske lazne, computer notes, mathematical foundations computer science 1975, the mathematical foundations, mariánské lázné
Daten vom Verlag:
Autor/in: J. Becvar
Titel: Lecture Notes in Computer Science; Mathematical Foundations of Computer Science 1975 - 4th Symposium Marianske Lazne, September 1-5, 1975
Verlag: Springer; Springer Berlin
480 Seiten
Erscheinungsjahr: 1975-08-15
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 480 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Boolean function; Monoid; Semiotik; algorithms; automata; complexity; derivation; formal grammar; formal language; formal languages; grammars; logic; petri net; regular expressions; semantics; Theory of Computation; Computer Science Logic and Foundations of Programming; EA
Construction of complete sample system for correctness testing.- Ten years of speedup.- On logics of discovery.- On models of protection in operating systems.- Parsing as a subtask of compiling.- Parallel recursive program schemes.- On some problems concerning Pawlak's machines.- Formal power series and growth functions of Lindenmayer systems.- On the representability of relations by deterministic and nondeterministic multi-tape automata.- On problems solvable by successive trials.- Automata and categories.- On some models of computability of boolean functions.- Automata and categories: Finiteness contra minimality.- Languages over free groups.- On the comparison of notions of approximation.- Non-linear speed-up theorem for two register minsky machines.- Systems of open paths in Petri nets.- On the largest full sub — AFL of the full AFL of context-free languages.- On complexity of nondeterministic Turing machines computations.- On closure properties of context-free derivation complexity classes.- Control structures in single block programs.- Minimal Gödel numbers and their identification in the limit.- Isomorphic representation of automata.- Extended simple regular expressions.- Conniver programs by logical point of view.- On the set of all automata with the same monoid of endomorphisms.- Nondeterministically recognizable sets of languages.- The approximation problem in computational statistics.- The continuous algebra of monadic languages.- On sets of complex-programmed Numbers.- Decision algorithms for Havel's branching automata.- Automata and categories — Input processes.- Formalization of algorithmic reasoning.- Proving program properties, symbolic evaluation and logical procedural semantics.- A contribution to error recovery.- On the analysis and synthesisproblems for context-free expressions.- Monotone switching circuits and boolean matrix product.- On some lattice-theoretic properties of generable languages.- On some formal grammars generating dependency trees.- Graph walking automata.- On finding all solutions of the partitioning problem.- Greibach normal form complexity.- On correctness and essentiality of some Ianov schemas equivalence relations.- Polynomially complete problems in the logic of automate discovery.- Relational definition of computer languages.- First-order reduction of call-by-name to call-by-value.- Local disambiguating transformation.- On cardinal sequential outer measures.- On representation of sequential and parallel functions.- The theory of the modified post algebras and multidimensional automata structures.- An algebraic theory of formal languages.- On polynomial reducibility of word problem under embedding of recursively presented groups in finitely presented groups.- On the synthesis of automata with several initial states.- A hierarchy of regular sequence sets.- R-fuzzy grammars.- Characterization of some classes of context-free languages in terms of complexity classes.- Inductive inference of recursive functions.- Proving properties of programs by means of predicate logic.- A generalization of Scott's flow diagrams.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780367366810 Mathematical Foundations of Computer Science (Satyanarayana, Bhavanari, Kumar, T.V. Pradeep, Shaw, Shaik Mohiddin)
< zum Archiv...