Ergebnisse filtern
-
- 300
-
- 14
- 184
- 31
- 18
- 52
- 1
-
- 2
- 12
- 260
- 26
-
- 300
- 1
- 1
-
- 299
- 1
-
- 300
- 5
-
Rojas / Catala / Joya Advances in Computational Intelligence
17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19¿21, 2023, Proceedings, Part II1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43077-0Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bakker / Rozenberg / Roever Current Trends in Concurrency
Overviews and Tutorials1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16488-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud Constraints in Computational Logics
First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58403-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chang Trends in Functional Programming
24th International Symposium, TFP 2023, Boston, MA, USA, January 13¿15, 2023, Revised Selected Papers1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-38937-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rojas / Catala / Joya Advances in Computational Intelligence
17th International Work-Conference on Artificial Neural Networks, IWANN 2023, Ponta Delgada, Portugal, June 19¿21, 2023, Proceedings, Part I1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43084-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beech / Kugler / Gram Concepts in User Interfaces
A Reference Model for Command and Response Languages1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16791-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1993
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56689-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ambler / Kar / Calo Services Management in Intelligent Networks
11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41427-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1992
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55610-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1988
1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50580-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schiper / Zhao / Shvartsman Future Directions in Distributed Computing
Research and Position Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00912-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Niehren / Pang Computational Methods in Systems Biology
21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13¿15, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-42696-4Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Slind / Gopalakrishnan / Bunker Theorem Proving in Higher Order Logics
17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23017-5Medium: Buch53,49 € (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 -
Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71065-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melham / Hurd Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28372-0Medium: Buch53,49 € (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 -
Newey / Grundy Theorem Proving in Higher Order Logics
11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64987-8Medium: Buch53,49 € (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 -
Carreno / Tahar / Munoz Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44039-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mulkers Live Data Structures in Logic Programs
Derivation by Means of Abstract Interpretation1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56694-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Camenisch / Adams Selected Areas in Cryptography ¿ SAC 2017
24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-72564-2Medium: 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 -
Schumacher Objective Coordination in Multi-Agent System Engineering
Design and Implementation2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Poess / Nambiar Topics in Performance Evaluation, Measurement and Characterization
Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-32626-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort