Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS
Yazar
Pitts, Andrew. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS
View Other Search Results
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS
Yazar
Codescu, Mihai. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations.
Yazar
Felty, Amy P. editor.
Format:
Electronic Resources
Alıntı:
Automated deduction.- Foundations -- Applications -- Implementations.- Practical experience.
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
topics of foundations and semantics; comparison between different models, such as timed automata, timed
Yazar
Dodis, Yevgeniy. editor.
Format:
Electronic Resources
Alıntı:
organized in topical sections on foundations, symmetric key, multiparty computation, concurrent and
Yazar
Villa, Alessandro E.P. editor.
Format:
Electronic Resources
Alıntı:
nervous functions; neuronal hardware; learning foundations; deep learning; classifications and forecasting
Yazar
Villa, Alessandro E.P. editor.
Format:
Electronic Resources
Alıntı:
nervous functions; neuronal hardware; learning foundations; deep learning; classifications and forecasting
Yazar
Dodis, Yevgeniy. editor.
Format:
Electronic Resources
Alıntı:
organized in topical sections on foundations, symmetric key, multiparty computation, concurrent and
Yazar
Nicolau, Miguel. editor.
Format:
Electronic Resources
Alıntı:
the foundations of search as characterized through semantic variation operators.
Arama Sonuçlarını Sınırlandır
Daraltılmış: