Ergebnisse filtern
-
- 289
-
- 46
- 183
- 14
- 10
- 36
-
- 1
- 12
- 238
- 38
-
- 289
- 2
-
- 289
-
- 289
- 4
-
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 -
Hussain / Yang / Jiang Advances in Brain Inspired Cognitive Systems
14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-962884-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems
13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings2024Verlag: Springer Nature SingaporeISBN: 978-981-97-1416-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Felty / Gunter Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
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 -
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 -
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 -
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 -
Beckmann / Manea / Oitavem Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-95907-3Medium: Buch139,09 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort