Ergebnisse filtern
Fachgebiet
Medium
  • 25
Erscheinungsjahr
  • 3
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
Verlag
  • 6
  • 1
  • 13
  • 4
  • 1
Preis
  • 22
  • 3
Sprachen
  • 25
Verfügbarkeit
  • 25
Katalog
  • 25

Logik, formale Sprachen, Automaten

25  Treffer  für „Communications in Computer and Information Science“
    Sun / Chen / He | Theoretical Computer Science | Buch | Sack Fachmedien

    Sun / Chen / He Theoretical Computer Science

    37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer Nature Singapore
    ISBN: 978-981-15-0104-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balasubramaniam | Control, Computation and Information Systems | Buch | Sack Fachmedien

    Balasubramaniam Control, Computation and Information Systems

    First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-19262-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laurent / Yager / Strauss | Information Processing and Management of Uncertainty | Buch | Sack Fachmedien

    Laurent / Yager / Strauss Information Processing and Management of Uncertainty

    15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08794-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laurent / Yager / Strauss | Information Processing and Management of Uncertainty | Buch | Sack Fachmedien

    Laurent / Yager / Strauss Information Processing and Management of Uncertainty

    15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08851-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laurent / Yager / Strauss | Information Processing and Management of Uncertainty | Buch | Sack Fachmedien

    Laurent / Yager / Strauss Information Processing and Management of Uncertainty

    15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08854-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donnellan / Helfert | Design Science: Perspectives from Europe | Buch | Sack Fachmedien

    Donnellan / Helfert Design Science: Perspectives from Europe

    European Design Science Symposium EDSS 2012, Leixlip, Ireland, December 6, 2012Revised Selected Papers
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04089-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meghanathan / Kaushik / Nagamalai | Advanced Computing | Buch | Sack Fachmedien

    Meghanathan / Kaushik / Nagamalai Advanced Computing

    First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17880-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zamuda / Das / Suganthan | Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing | Buch | Sack Fachmedien

    Zamuda / Das / Suganthan Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing

    7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10-12, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-37837-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sierra-Rodríguez / Simões / Leal | Languages, Applications and Technologies | Buch | Sack Fachmedien

    Sierra-Rodríguez / Simões / Leal Languages, Applications and Technologies

    4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27652-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garoufallou / William De Luca / Fallucchi | Metadata and Semantic Research | Buch | Sack Fachmedien

    Garoufallou / William De Luca / Fallucchi Metadata and Semantic Research

    13th International Conference, MTSR 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-36598-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vlachidis / Garoufallou | Metadata and Semantic Research | Buch | Sack Fachmedien

    Vlachidis / Garoufallou Metadata and Semantic Research

    16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-39140-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hähnle / Knoop / Steffen | Leveraging Applications of Formal Methods, Verification, and Validation | Buch | Sack Fachmedien

    Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation

    International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-34780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Artificial Intelligence Logic and Applications | Buch | Sack Fachmedien

    Zhang Artificial Intelligence Logic and Applications

    The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Singapore
    ISBN: 978-981-99-7868-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Chen | Artificial Intelligence Logic and Applications | Buch | Sack Fachmedien

    Zhang / Chen Artificial Intelligence Logic and Applications

    The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer Nature Singapore
    ISBN: 978-981-19-7509-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamprecht | Leveraging Applications of Formal Methods, Verification, and Validation | Buch | Sack Fachmedien

    Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-51640-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

    Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation

    Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88478-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-05415-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boniol / Schewe / Wiels | ABZ 2014: The Landing Gear Case Study | Buch | Sack Fachmedien

    Boniol / Schewe / Wiels ABZ 2014: The Landing Gear Case Study

    Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07511-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17580-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moschitti / Scandariato | Eternal Systems | Buch | Sack Fachmedien

    Moschitti / Scandariato Eternal Systems

    First International Workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-28032-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knight / Huang | Machine Translation | Buch | Sack Fachmedien

    Knight / Huang Machine Translation

    15th China Conference, CCMT 2019, Nanchang, China, September 27-29, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer Nature Singapore
    ISBN: 978-981-15-1720-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53945-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-12987-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng | Machine Translation | Buch | Sack Fachmedien

    Feng Machine Translation

    19th China Conference, CCMT 2023, Jinan, China, October 19-21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-981-99-7893-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular