Tag: Menu

The Logic of Software. A Tasting Menu of Formal Methods


The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday by Wolfgang Ahrendt
English | PDF,EPUB | 2022 | 531 Pages | ISBN : 303108165X | 80.6 MB
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.

(more…)

DoYourData Start Menu Professional 4.8 macOS


DoYourData Start Menu Professional 4.8 | macOS | 7 mb
DoYourData Start Menu is a smart and comprehensive start menu/taskbar for macOS 10.10 and later. It is a start menu similar to the one found on Windows, but it is much more powerful than the Windows start menu. DoYourData Start Menu gives you easy access to applications, frequently-used functions, disk management and other tasks, junk removal, shutdown/restart, etc.

(more…)

Actual Window Menu 8.14.7 Multilingual


Actual Window Menu 8.14.7 Multilingual | 8.3 Mb
Take Unlimited Control over Your Windows with Extended Window Menu! Actual Window Menu adds several menu items to standard window menu accessible via application icon in the title bar. Among new commands are: Roll Up \ Unroll window, Set window transparency, change program priority, minimize to task tray and always keep window on top. These new features allow advanced and newbie Windows users save their time and desktop space by neatly organizing windows.

(more…)

3delite Context Menu Audio Converter 1.0.110.184


3delite Context Menu Audio Converter 1.0.110.184 | 25.8 Mb
Context Menu Audio Converter is a Windows shell extension utility for converting audio files quickly and simply from within the Windows file explorer. A new menu item ‘Convert Audio File(s)’ and ‘Convert All Audio Files From This Folder’ is added for the right mouse click on files and folders in Windows explorer (context menu).

(more…)

3delite Context Menu Audio Converter 1.0.109.182


3delite Context Menu Audio Converter 1.0.109.182 | 22.2 Mb
Context Menu Audio Converter is a Windows shell extension utility for converting audio files quickly and simply from within the Windows file explorer. A new menu item ‘Convert Audio File(s)’ and ‘Convert All Audio Files From This Folder’ is added for the right mouse click on files and folders in Windows explorer (context menu).

(more…)