Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2013
- Erscheinungsjahr
-
- 9
- 28
- 22
- 7
- 20
- 26
- 24
- 30
- 42
- 35
- 33
- 38
- 28
- 3
- 26
- 49
- 120
- 75
- 120
- 154
- 147
- 130
- 117
- 86
- 67
- 68
- 63
- 62
- 65
- 60
- 40
- 40
- 48
- 25
- 34
- 18
- 12
- 14
- 9
- 3
- 1
- 3
- 8
- 4
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 10
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 7
- 3
- 6
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 2
- 9
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 3
- 6
- 3
- 21
- 9
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 14
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 9
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 7
- 2
- 3
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 5
- 5
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 7
- 7
- 2
- 2
- 5
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 7
- 2
- 4
- 2
- 2
- 3
- 9
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 7
- 4
- 2
- 6
- 2
- 2
- 5
- 4
- 34
- 10
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 11
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 4
- Verlag
-
- 138
- 1595
- 204
- 36
- 40
- Preis
-
- 34
- 1606
- 373
- Sprachen
-
- 2013
- 3
- 1
- Verfügbarkeit
-
- 2011
- 2
- Katalog
-
- 2013
- 78
-
Calude / Peper / Dinneen Unconventional Models of Computation
Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44311-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dehne / Whitesides / Sack Algorithms and Data Structures
Third Workshop, WADS '93, Montreal, Canada, August 11-13, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57155-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jantke / Yokomori / Kobayashi Algorithmic Learning Theory
4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57370-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing
6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57659-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bakker / Rozenberg / Roever Semantics: Foundations and Applications
REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56596-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Martí-Oliet / Talcott / Ölveczky Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23164-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Geldenhuys / Fischer Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23403-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dediu / Truthe / Janoušek Language and Automata Theory and Applications
10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29999-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Egly / Sinz Theory and Applications of Satisfiability Testing - SAT 2014
17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-09283-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liu / Castor Programming Languages
20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45278-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10¿14, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fitzgerald / Philippou / Heitmeyer FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-48988-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rovatsos / Julian / Vouros Multi-Agent Systems and Agreement Technologies
13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33508-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tkachuk / Rayadurgam NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40647-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Verlan / Stepney Unconventional Computation and Natural Computation
17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-92434-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baratgin / Yama / Jacquet Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19¿22, 2023, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55244-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jayaraman Practical Aspects of Declarative Languages
6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22253-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Meier / Roy Fast Software Encryption
11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22171-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bruynooghe Logic Based Program Synthesis and Transformation
13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22174-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Belz / Piwek / Evans Natural Language Generation
Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22340-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tzoref-Brill / Strichman Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-70388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maharaj / Rattray Algebraic Methodology and Software Technology
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22381-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Varadharajan / Pieprzyk Information Security and Privacy
9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22379-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lim / Lee Information Security and Cryptology - ICISC 2002
5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00716-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort