Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
-
Brookes / Main / Schmidt Mathematical Foundations of Programming Semantics
9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58027-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Moral / Kruse Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57395-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Adleman Algorithmic Number Theory
First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58691-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Studer Natural Language and Logic
International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53082-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Englert / Bienkowski / Bienkowski Approximation and Online Algorithms
22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-81395-5Medium: Buch62,05 € (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 -
Royer A Connotational Theory of Program Structure
1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18253-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hofmann Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40332-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Böhm / Ausiello Automata, Languages and Programming
Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings1978Verlag: Springer Berlin HeidelbergISBN: 978-3-540-08860-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bouquet / Serafini / Castellani Modeling and Using Context
Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Prade / Link Foundations of Information and Knowledge Systems
6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11828-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dediu / Martin-Vide / Ionescu Language and Automata Theory and Applications
Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-00981-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Basu / Megow Integer Programming and Combinatorial Optimization
26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-93111-6Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Montanari / Kowalski TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-17611-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mitchell / Hoos Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27829-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Rödding / Hasenjaeger Logic and Machines: Decision Problems and Complexity
Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/WestfalenSoftcover Nachdruck of the original 1. Auflage 1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13331-5Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iliopoulos / Smyth Combinatorial Algorithms
22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-25010-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Balbo / Azema Application and Theory of Petri Nets 1997
18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63139-2Medium: 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, 19851986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16437-1Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Karpinski Fundamentals of Computation Theory
Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 19771977Verlag: Springer Berlin HeidelbergISBN: 978-3-540-08442-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Pieprzyk Provable Security
Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-04641-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Skowron / Peters Transactions on Rough Sets XVII
2014Verlag: SpringerISBN: 978-3-642-54755-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bürckert A Resolution Principle for a Logic with Restricted Quantifiers
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55034-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Basu / Salazar González / Mahjoub Combinatorial Optimization
8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-60923-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kott Automata, Languages and Programming
13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16761-7Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort