New Generation Computing 1/2011 | springerprofessional.de

Springer Professional

Top

New Generation Computing

Content (5 Articles)

Preface

Special Issue on Programming Languages and Systems

Zhenjiang Hu

Weak Updates and Separation Logic

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

A Short Cut to Optimal Sequences

Akimasa Morihata

Classical Natural Deduction for S4 Modal Logic

Daisuke Kimura, Yoshihiko Kakutani

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints

Stefan Wehr, Peter Thiemann

Bio-Inspired Optimization Techniques for High Performance Computing: Guest Editors G. Folino, C. Mastroianni

Advertisement

Current Publications

New Generation Computing 4/2023
New Generation Computing 3/2023
New Generation Computing 2/2023
New Generation Computing 1/2023
New Generation Computing 4/2022
Including Special Issue: AI in Global Epidemics (pp. 935-1279) / Guest Editors: Gurdeep Singh Hura, Sven Groppe, Sarika Jain, Le Gruenwald
New Generation Computing 3/2022
New Generation Computing 2/2022
Special Issue: The 2^6-th anniversary of Masami Hagiya, Part 1. Programming and Reasoning and Part 2. Molecular Programming
New Generation Computing 1/2022
Including Special Issue: Selected Papers from the 35th JSAI Annual Meeting (pp. 1-45) / Guest Editors: Akinori Abe, Naohiro Matsumura, Katsutoshi Yada and Special Issue on Card-Based Cryptography 2 (pp. 47-223) / Guest Editor: Takaaki Mizuki.
New Generation Computing 3-4/2021
Special Issue: AI Technologies for Pandemic Countermeasures and Special Issue: AI in Global Epidemics, Part 1
New Generation Computing 2/2021

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner