- 5 Ergebnisse
Kleinster Preis: € 42,19, größter Preis: € 47,51, Mittelwert: € 44,32
1
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 ¿ April 1, 2021, Proceedings - Christine Tasson
Bestellen
bei ZVAB.com
€ 47,51
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Christine Tasson:

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 ¿ April 1, 2021, Proceedings - Taschenbuch

2021, ISBN: 3030719944

[EAN: 9783030719944], Neubuch, [SC: 0.0], [PU: Springer International Publishing], AUTOMATATHEORY; DATABASES; FORMALLANGUAGES; FORMALLOGIC; COMPUTATIONALLINGUISTICS; OPENACCESS; SEMANTICS… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Foundations of Software Science and Computation Structures - Stefan Kiefer; Christine Tasson
Bestellen
bei lehmanns.de
€ 42,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Stefan Kiefer; Christine Tasson:

Foundations of Software Science and Computation Structures - Taschenbuch

2021, ISBN: 9783030719944

24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 ? April 1… Mehr…

Versandkosten:Versand in 15-20 Tagen. (EUR 0.00)
zuklappen (X)
3
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Notes in Computer Science, Band 12650)
Bestellen
bei amazon.de
€ 42,19
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Notes in Computer Science, Band 12650) - Erstausgabe

2021

ISBN: 9783030719944

Taschenbuch

Springer, Taschenbuch, Auflage: 1st ed. 2021, 592 Seiten, Publiziert: 2021-03-23T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783030719944, 0.83 kg, NLP, Kommunikation & Psychologie, … Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
4
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Notes in Computer Science, Band 12650)
Bestellen
bei amazon.de
€ 44,62
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Notes in Computer Science, Band 12650) - Erstausgabe

2021, ISBN: 9783030719944

Taschenbuch

Springer, Taschenbuch, Auflage: 1st ed. 2021, 592 Seiten, Publiziert: 2021-03-23T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783030719944, 0.83 kg, NLP, Kommunikation & Psychologie, … Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
5
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings - Tasson, Christine (Herausgeber); Kiefer, Stefan (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 44,48
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Tasson, Christine (Herausgeber); Kiefer, Stefan (Herausgeber):
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings - neues Buch

2021, ISBN: 3030719944

1st ed. 2021 Kartoniert / Broschiert Computerprogrammierung und Softwareentwicklung, Datenbankprogrammierung, Datenbanken, Informatik, Theoretische Informatik, automatatheory; databases… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
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
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Notes in Computer Science, Band 12650)
Autor:
Titel:
ISBN-Nummer:

9783030719944

Detailangaben zum Buch - Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint ... Notes in Computer Science, Band 12650)


EAN (ISBN-13): 9783030719944
ISBN (ISBN-10): 3030719944
Taschenbuch
Erscheinungsjahr: 2021
Herausgeber: Kiefer, Stefan, Tasson, Christine, Springer

Buch in der Datenbank seit 2021-07-05T19:14:56+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-16T15:14:48+02:00 (Berlin)
ISBN/EAN: 9783030719944

ISBN - alternative Schreibweisen:
3-030-71994-4, 978-3-030-71994-4

Daten vom Verlag:

Autor/in: Stefan Kiefer; Christine Tasson
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Verlag: Springer; Springer International Publishing
574 Seiten
Erscheinungsjahr: 2021-03-23
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
42,79 € (DE)
43,99 € (AT)
47,19 CHF (CH)
POD
XV, 574 p. 52 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; automata theory; databases; formal languages; formal logic; computational linguistics; open access; semantics; categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; logical foundations of data bases; models of software security; logical aspects of computation complexity; logics of programming; Formal Languages and Automata Theory; Theory of Computation; Natural Language Processing (NLP); Database Management; Programming Techniques; Natürliche Sprachen und maschinelle Übersetzung; Datenbanken; Computerprogrammierung und Softwareentwicklung; EA

Constructing a universe for the setoid model.- Nominal Equational Problems.- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy.- Fixpoint Theory - Upside Down.- "Most of"' leads to undecidability: Failure of adding frequencies to LTL.- Combining Semilattices and Semimodules.- One-way Resynchronizability of Word Transducers.- Fair Refinement for Asynchronous Session Types.- Running Time Analysis of Broadcast Consensus Protocols.- Leafy automata for higher-order concurrency.- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.- Generalized Bounded Linear Logic and its Categorical Semantics.- Focused Proof-search in the Logic of Bunched Implications.- Interpolation and Amalgamation for Arrays with MaxDi.- Adjoint Reactive GUI Programming.- On the Expressiveness of Büchi Arithmetic.- Parametricity for Primitive Nested Types.- The Spirit of Node Replication.- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages.- CertifyingInexpressibility.- A General Semantic Construction of Dependent Re nement Type Systems, Categorically.- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP.- Nondeterministic Syntactic Complexity.- A String Diagrammatic Axiomatisation of Finite-State Automata.- Work-sensitive Dynamic Complexity of Formal Languages.- Learning Pomset Automata.- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford.- A Quantified Coalgebraic van Benthem Theorem.
< zum Archiv...