Ergebnisse filtern
- Fachgebiet
- Medium
-
- 388
- Erscheinungsjahr
-
- 4
- 14
- 4
- 3
- 5
- 5
- 1
- 6
- 6
- 5
- 3
- 5
- 2
- 1
- 11
- 26
- 29
- 4
- 5
- 7
- 11
- 8
- 17
- 22
- 31
- 22
- 9
- 24
- 11
- 6
- 6
- 6
- 5
- 5
- 6
- 7
- 6
- 8
- 4
- 7
- 7
- 1
- 3
- 3
- 4
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Verlag
-
- 47
- 279
- 38
- 3
- 14
- 7
- Preis
-
- 4
- 25
- 319
- 40
- Sprachen
-
- 388
- 3
- Verfügbarkeit
-
- 384
- 4
- Katalog
-
- 388
- 10
-
Maluszynski / Deransart Programming Language Implementation and Logic Programming
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53010-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kahn / Plotkin / MacQueen Semantics of Data Types
International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13346-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
De Nicola / Meredith / Ferrari Coordination Models and Languages
6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21044-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Levi / Steffen Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leucker Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89246-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baldoni / Winikoff / Son Declarative Agent Languages and Technologies VI
6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-93919-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Eugster Object-Oriented Technology. ECOOP 2008 Workshop Reader
ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports2009Verlag: SpringerISBN: 978-3-642-02046-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Quintao Pereira Programming Languages
18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11862-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jacquet Conclog: A Methodological Approach to Concurrent Logic Programming
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54938-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Oest / Bjorner Towards a Formal Description of Ada
1980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10283-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ito / Queinnec / Halstead Parallel Symbolic Languages and Systems
International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61143-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Branquart / Wodon / Louis An Analytical Description of CHILL, the CCITT High Level Language
1982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11196-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmid / Uhl A Systematic Catalogue of Reusable Abstract Data Types
1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53229-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Følstad / Araujo / Papadopoulos Chatbot Research and Design
Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19¿20, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-39539-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zsók / Porkoláb Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17¿21, 2019, Revised Selected Papers1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-42832-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tamaddoni-Nezhad / Muggleton Inductive Logic Programming
31st International Conference, ILP 2022, Windsor Great Park, UK, September 28¿30, 2022, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55629-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Huisman / Groote Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14¿15, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-15007-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Guttman / Pavlovic / Landwehr Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-19051-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sergey Programming Languages and Systems
31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-99335-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Taha / Lierler Practical Aspects of Declarative Languages
19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-51675-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
An / Bazzan / van der Torre PRIMA 2017: Principles and Practice of Multi-Agent Systems
20th International Conference, Nice, France, October 30 ¿ November 3, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-69130-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lutsyk / Paul / Oberhauser A Pipelined Multi-Core Machine with Operating System Support
Hardware Implementation and Correctness Proof1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-43242-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Garrigue Programming Languages and Systems
12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-12735-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bassiliades / Gottlob / Roman Rule Technologies: Foundations, Tools, and Applications
9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21541-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wijs / Bošnacki / Bošnacki Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-32581-1Medium: Buch53,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,50 € (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