Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1867
- 6
- 3
- Erscheinungsjahr
-
- 7
- 9
- 19
- 13
- 18
- 18
- 25
- 36
- 18
- 38
- 25
- 44
- 31
- 40
- 31
- 104
- 44
- 79
- 159
- 129
- 146
- 116
- 115
- 83
- 76
- 61
- 50
- 47
- 38
- 38
- 36
- 29
- 31
- 18
- 33
- 14
- 19
- 9
- 9
- 7
- 4
- 1
- 4
- 2
- Autoren
-
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 11
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 14
- 7
- 2
- 16
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 15
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 6
- 2
- 2
- 5
- 2
- 8
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 13
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 3
- 6
- 16
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- Verlag
-
- 1
- 2
- 2
- 3
- 3
- 9
- 1
- 22
- 1
- 2
- 6
- 1
- 3
- 3
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 3
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1616
- 10
- 6
- 1
- 54
- 18
- 30
- 17
- 7
- 1
- 1
- 1
- 1
- 3
- 2
- 14
- 1
- Preis
-
- 2
- 47
- 1128
- 699
- Sprachen
-
- 1865
- 10
- 2
- Verfügbarkeit
-
- 1873
- 3
- Katalog
-
- 1876
- 115
-
Boulton / Jackson Theorem Proving in Higher Order Logics
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42525-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bjørner Domain Science and Engineering
A Foundation for Software Development1. Auflage 2021Verlag: SpringerISBN: 978-3-030-73486-2Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage181,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Transactions on Petri Nets and Other Models of Concurrency V
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29071-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Riolo / Worzel Genetic Programming Theory and Practice
2003Verlag: Springer Nature B.V.ISBN: 978-1-4020-7581-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Ramanujam / Sen FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30495-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guerraoui Distributed Computing
18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23306-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Choueiry / Walsh Abstraction, Reformulation, and Approximation
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67839-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Özçep Representation Theorems in Computer Science
A Treatment in Logic Engineering1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25784-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gabbrielli / Martini Programming Languages: Principles and Paradigms
2. Auflage 2023Verlag: SpringerISBN: 978-3-031-34143-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rutkowski / Siekmann / Tadeusiewicz Artificial Intelligence and Soft Computing - ICAISC 2004
7th International Conference Zakopane, Poland, June 7-11, 2004 Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22123-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Danos / Schachter Computational Methods in Systems Biology
International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25375-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shi / Albada / Dongarra Computational Science - ICCS 2007
7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IVErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72589-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vingron Switching Theory
Insight through Predicate Logic1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40343-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biham Fast Software Encryption
4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63247-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pearce / Wagner Logics in AI
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55887-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganter / Stumme / Wille Formal Concept Analysis
Foundations and Applications1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27891-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cardelli ECOOP 2003 - Object-Oriented Programming
17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40531-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giunchiglia / Odell / Weiß Agent-Oriented Software Engineering III
Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00713-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Champarnaud / Maurel / Ziadi Automata Implementation
Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66652-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kouchnarenko / Khosravi Formal Aspects of Component Software
13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-57665-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hanus Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-69608-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Paiva / de Queiroz / Moss Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-47708-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saraswat Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation
8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20632-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gervasi Computational Science and Its Applications - ICCSA 2007
International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74468-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berghammer / Möller / Struth Relational and Kleene-Algebraic Methods in Computer Science
7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22145-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort