Ergebnisse filtern
-
- 303
-
- 303
-
- 1
- 13
- 252
- 37
-
- 303
- 2
-
- 303
-
- 303
- 4
-
Szepietowski Turing Machines with Sublogarithmic Space
Erscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58355-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sommaruga Formal Theories of Information
From Shannon to Semantic Information Theory and General Concepts of Information1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00658-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nickel Interval Mathematics 1985
Proceedings of the International Symposium Freiburg i.Br., Federal Republic of Germany, September 23-26, 19851. Auflage 1986Verlag: SpringerISBN: 978-3-540-16437-1Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kott Automata, Languages and Programming
13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16761-7Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Venturini Zilli Mathematical Models for the Semantics of Parallelism
Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18419-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fasel / Keller Graph Reduction
Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 19861. Auflage 1987Verlag: SpringerISBN: 978-3-540-18420-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Siekmann 8th International Conference on Automated Deduction
Oxford, England, July 27- August 1, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16780-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Azema / Balbo Application and Theory of Petri Nets 1997
18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63139-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Donatelli / Thiagarajan Petri Nets and Other Models of Concurrency - ICATPN 2006
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34699-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frappier / Glässer / Khurshid Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11810-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmid / Kuznets Structural Information and Communication Complexity
32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-91735-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Auber / Valtr Graph Drawing and Network Visualization
28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-68765-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dubois / San Pietro Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-27533-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Di Giacomo / Mondal WALCOM: Algorithms and Computation
20th International Conference and Workshops on Algorithms and Computation, WALCOM 2026, Perugia, Italy, March 4-6, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-957126-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Megow / Basu Integer Programming and Combinatorial Optimization
26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93111-6Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hofmann Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40332-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brookes / Main / Melton Mathematical Foundations of Programming Semantics
9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58027-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Royer A Connotational Theory of Program Structure
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18253-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Benninghofen / Kemmerich / Richter Systems of Reductions
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18598-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melton Mathematical Foundation of Programming Semantics
International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16816-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24317-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganguly / Krishnamurti Algorithms and Discrete Applied Mathematics
First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-14973-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Glodeanu / Kaytoue / Sacarea Formal Concept Analysis
12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07247-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fomin / Xiao Computing and Combinatorics
31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-950217-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort