Formal methods: foundations and applications: 14th Brazilian symposium ; revised selected papers by SBMF, São Paulo fromLecture Notes in Computer Science 0 Type: Book
Foundations of intelligent systems: 19th international symposium ; proceedings by ISMIS, Warschau fromLecture Notes in Computer Science 0 Type: Book
Advances in computer science, environment, ecoinformatics, and education fromCommunications in computer and information science 0 Type: Book
Advances in computer science, environment, ecoinformatics, and education fromCommunications in computer and information science 0 Type: Book
Advances in computer science, environment, ecoinformatics, and education fromCommunications in computer and information science 0 Type: Book
Advances in computer science, environment, ecoinformatics, and education fromCommunications in computer and information science 0 Type: Book
Compiler construction: 20th international conference ; proceedings by ETAPS,, Saarbrücken, CC, Saarbrücken fromLecture Notes in Computer Science 0 Type: Book
Compiler Construction: 20th International Conference, CC 2011, Held as P… by ETAPS,, Saarbrücken, CC, Saarbrücken fromLecture Notes in Computer Science 0 Type: Book
Leveraging applications of formal methods, verification, and validation fromLecture Notes in Computer Science 0 Type: Book
Optimization in function spaces: with stability considerations in Orlicz spaces by Kosmol, Peter, Müller-Wichards, Dieter fromDe Gruyter series in nonlinear analysis and applications 0 Type: Book
Algorithms for sensor systems: revised selected papers by Algosensors, Bordeaux fromLecture Notes in Computer Science 0 Type: Book
Algorithms and computation: 22nd international symposium ; proceedings /ISAAC… by ISAAC, Yokohama fromLecture Notes in Computer Science 0 Type: Book
Self-organizing systems: 5th international workshop ; proceedings by IWSOS, Karlsruhe fromLecture Notes in Computer Science 0 Type: Book
