Showing
1 - 5
results of
5
for search '
'
Skip to content
VuFind
Your Account
Log Out
Institutional Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Author
Title
Journal Title
Subject
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Subject:
programming language
Reset Filters
Show filters (1)
Subject:
programming language
Search Results
Showing
1 - 5
results of
5
for search '
'
, query time: 0.07s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
1
Loading...
Architecture of Advanced Numerical Analysis Systems
by
Wang, Liang
,
Zhao, Jianxin
Published 2023
Get full text
Livro
Save to List
Saved in:
2
Loading...
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published in
Theoretical Computer Science and General Issues
(2018)
Get full text
Livro
Save to List
Saved in:
3
Loading...
The Informatics of Time and Events
by
Gérard Berry
Published 2015
Get full text
Livro
Save to List
Saved in:
4
Loading...
Plato and the Nerd
by
Lee, Edward Ashford
Published in
The MIT Press
(2017)
Get full text
Livro
Save to List
Saved in:
5
Loading...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
by
Amal Ahmed
Published in
Theoretical Computer Science and General Issues Series
(2018)
Get full text
Livro
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
DOAB
5
Exclude matching results
Collection
Directory of Open Access Books
5
Exclude matching results
Format
Livro
5
Exclude matching results
Author
Amal Ahmed
1
Exclude matching results
Baier, Christel
1
Exclude matching results
Dal Lago, Ugo
1
Exclude matching results
Gérard Berry
1
Exclude matching results
Lee, Edward Ashford
1
Exclude matching results
Wang, Liang
1
Exclude matching results
more ...
Zhao, Jianxin
1
Exclude matching results
see all ...
less ...
Subject
programming language
semantics
3
Exclude matching results
artificial intelligence
2
Exclude matching results
engineering
2
Exclude matching results
formal logic
2
Exclude matching results
open source
2
Exclude matching results
more ...
program compilers
2
Exclude matching results
separation logic
2
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
Exclude matching results
theorem proving
2
Exclude matching results
AI
1
Exclude matching results
Aristotle
1
Exclude matching results
Bekenstein
1
Exclude matching results
Bell Labs
1
Exclude matching results
Berners-Lee
1
Exclude matching results
Bohr
1
Exclude matching results
Boltzmann
1
Exclude matching results
Boyle's law
1
Exclude matching results
Cantor
1
Exclude matching results
Charles' law
1
Exclude matching results
Edsger Dijkstra
1
Exclude matching results
Einstein
1
Exclude matching results
Facebook
1
Exclude matching results
Golomb
1
Exclude matching results
Google
1
Exclude matching results
Go¨ del
1
Exclude matching results
Heisenberg
1
Exclude matching results
Kuhn
1
Exclude matching results
OCaml
1
Exclude matching results
Penrose
1
Exclude matching results
see all ...
less ...
Language
Inglês
5
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...