Նմանատիպ նյութեր: Model-Based Safety and Assessment :
- Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : Proceedings /
- Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
- Software Technologies : 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : Revised Selected Papers /
- Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings /
Խորագիր: Complejidad Computacional
- The Turing Omnibus : 61 Excursions in Computer Science /
- Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : Proceedings /
- New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012 : Revised Selected Papers /
- Mathematical Foundations of Data Science Using R /
- Constructivity and Computability in Historical and Philosophical Perspective /
- Complejidad de las ciencias sociales : y de otras ciencias y disciplinas /
Խորագիր: Intérpretes (Software)
- Programming Language Processors in Java : Compilers and Interpreters /
- Controlador autómata desde programación visual por bloques /
- Compiler Construction : 23rd International Conference, CC 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : Proceedings /
- Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013 : Revised Selected Papers /
- Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /
Հեղինակ: Ortmeier, Frank (edición)
- Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops : ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Florence, Italy, September 8-9, 2014 : Proceedings /
- Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : Proceedings /