books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 18; Issue 2
Main
Acta Informatica
Volume 18; Issue 2
Acta Informatica
Volume 18; Issue 2
1
Deterministic buffer synchronization of sequential processes
Wolfgang Reisig
Journal:
Acta Informatica
Year:
1982
Language:
english
File:
PDF, 915 KB
Your tags:
english, 1982
2
Further analysis of code generation for a single register machine
Lynn Robert Carter
Journal:
Acta Informatica
Year:
1982
Language:
english
File:
PDF, 636 KB
Your tags:
english, 1982
3
Verification of programs with procedure-type parameters
George W. Ernst
,
Jainendra K. Navlakha
,
William F. Ogden
Journal:
Acta Informatica
Year:
1982
Language:
english
File:
PDF, 1.15 MB
Your tags:
english, 1982
4
A longest common subsequence algorithm suitable for similar text strings
Narao Nakatsu
,
Yahiko Kambayashi
,
Shuzo Yajima
Journal:
Acta Informatica
Year:
1982
Language:
english
File:
PDF, 404 KB
Your tags:
english, 1982
5
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique
A. Pettorossi
,
R. M. Burstall
Journal:
Acta Informatica
Year:
1982
Language:
english
File:
PDF, 1.13 MB
Your tags:
english, 1982
6
Lower bounds for on-line two-dimensional packing algorithms
Donna J. Brown
,
Brenda S. Baker
,
Howard P. Katseff
Journal:
Acta Informatica
Year:
1982
Language:
english
File:
PDF, 663 KB
Your tags:
english, 1982
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×