Search Results for "springer"
Sort By:
Showing 2 open source projects for "springer"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Simplify Your Managed File Transfers with JSCAPEPlatform Independent Managed File Transfer Server. JSCAPE is the perfect solution for businesses and government agencies looking to centralize your processes and provide secure, seamless and reliable file transfers. Meet all compliance regulations including PCI DSS, SOX, HIPAA and GLBA.
-
1
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
...Křetínský, V. Řehák, and J. Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. Springer-Verlag, 2012. LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. -
2
A8E
A small and fast Atari 800 XL emulator.
A8E is a freeware Atari 800 XL emulator written in C by Sascha Springer and has been developed completely from scratch. It uses the SDL and OpenGL (optional) library for the user interface and the audio and graphics output.
- Previous
- You're on page 1
- Next