Ergebnisse filtern
        - Fachgebiet
- Medium
- 
                            - 447
 
- Erscheinungsjahr
- 
                                    
                            - 9
- 10
- 12
- 4
- 4
- 7
- 5
- 5
- 5
- 8
- 1
- 4
- 5
- 1
- 2
- 44
- 33
- 23
- 7
- 7
- 3
- 12
- 9
- 17
- 23
- 33
- 23
- 8
- 25
- 10
- 6
- 6
- 5
- 5
- 5
- 7
- 7
- 7
- 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
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 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
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 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
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 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
- 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
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
 
- Verlag
- 
                            - 116
- 266
- 34
- 4
- 26
- 1
 
- Preis
- 
                            - 4
- 29
- 363
- 51
 
- Sprachen
- 
                            - 447
- 2
- 1
 
- Verfügbarkeit
- 
                            - 446
- 1
 
- Katalog
- 
                            - 447
- 9
 
- 
    
    
        Juckeland / Chandrasekaran Accelerator Programming Using Directives4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-74895-5Medium: Buch44,94 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Ölveczky Rewriting Logic and Its Applications8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16309-8Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Poskitt / Fernández Graph Transformation16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-36708-3Medium: Buch69,54 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Lohstroh / Sirjani / Derler Principles of ModelingEssays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-95245-1Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Ahmed Programming Languages and Systems27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-89883-4Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Miller / Gibbons Functional and Logic Programming17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings2024Verlag: Springer Nature SingaporeISBN: 978-981-97-2299-0Medium: Buch69,54 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Gecseg / Fülöp Automata, Languages and Programming22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60084-8Medium: Buch106,99 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Arts / Pena Implementation of Functional Languages14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40190-2Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Cavalcanti / Breitman Formal Methods and Software Engineering11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10372-8Medium: Buch106,99 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Sergey Programming Languages and Systems31st 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 Werktage
- 
    
    
        Bove / Pinto / Barbosa Language Engineering and Rigorous Software DevelopmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers2009Verlag: SpringerISBN: 978-3-642-03152-6Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Raymond / Yu / Wood Automata ImplementationFirst International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Ohori Programming Languages and SystemsFirst Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20536-4Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Kucera / Potapov Reachability Problems4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15348-8Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Cortesi Verification, Model Checking, and Abstract InterpretationThird International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43631-7Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Deransart / Lorho / Jourdan Attribute GrammarsDefinitions, Systems and Bibliography1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50056-8Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Gao / Pollock / Cavazos Languages and Compilers for Parallel Computing22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13373-2Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Proietti Logic Program Synthesis and Transformation5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60939-1Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Martell / Paech Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89777-4Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Sergey Programming Languages and Systems20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings1. Auflage 2022Verlag: Springer Nature SwitzerlandISBN: 978-3-031-21036-5Medium: Buch69,54 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Tahar / Li Formal Methods and Software Engineering24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SingaporeISBN: 978-981-99-7583-9Medium: Buch69,54 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Gurevich / Thiele / Kutter Abstract State Machines - Theory and ApplicationsInternational Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67959-2Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Callaghan / Pollack / Luo Types for Proofs and ProgramsInternational Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Ausnit-Hood / Opdahl / Johnson Ada 95, Quality and StyleGuidelines for Professional Programmers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63823-0Medium: Buch47,08 € (inkl. MwSt.)
 Lieferzeit ca. 10 Werktage47,08 € (inkl. MwSt.)
 Lieferfrist: bis zu 10 Werktage
- 
    
    
        Jürgensen / Boldt Automata Implementation4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42812-1Medium: 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
                