Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
-
Gu / Yang / Hell Algorithmic Aspects in Information and Management
10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-07955-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Ghosh Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I2024Verlag: Springer Nature SingaporeISBN: 978-981-97-7797-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reggio / Cerioli Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43159-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yan / Yang / Liu The Connectives in Logic and Language
4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-86053-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wegner / Bai Electronic Information and Communication in Mathematics
ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Ghosh Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II2024Verlag: Springer Nature SingaporeISBN: 978-981-97-7800-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Küsters Non-Standard Inferences in Description Logics
From Foundations and Definitions to Algorithms and Analysis2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42397-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Comon / Treinen / Marche Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sandford Using Sophisticated Models in Resolution Theorem Proving
1980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10231-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yao / Ziarko Rough Sets and Current Trends in Computing
Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43074-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ralescu / Martin Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62474-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bert / Robinson / Bowen ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baratgin / Yama / Jacquet Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-84594-9Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ohsuga / Zhong New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66645-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Sato / Hagiya Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desel / Rozenberg / Reisig Lectures on Concurrency and Petri Nets
Advances in Petri Nets2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22261-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Rozenberg / Juhas Unifying Petri Nets
Advances in Petri Nets2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43067-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Weber / Reisig Petri Net Technology for Communication-Based Systems
Advances in Petri Nets2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20538-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aydinian / Deppe / Cicalese Information Theory, Combinatorics, and Search Theory
In Memory of Rudolf Ahlswede2013Verlag: SpringerISBN: 978-3-642-36898-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Remy / Rusinowitch Conditional Term Rewriting Systems
Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56393-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wirsing / Maluszynski Programming Language Implementation and Logic Programming
3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54444-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Sun Frontiers of Algorithmics
18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings2024Verlag: Springer Nature SingaporeISBN: 978-981-97-7751-8Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stephan / Hutter Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort