1
بواسطة Dowek, Gilles., Dowek, Gilles., Lévy, Jean-Jacques.
منشور في 2011
الموضوعات: ...Computers....
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... -- Random Selection in Few Rounds -- One-Counter Verifiers for Decidable Languages -- More on the Complexity...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
بواسطة O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
منشور في 2006
جدول المحتويات: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2015
جدول المحتويات: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2013
جدول المحتويات: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2006
جدول المحتويات: ... of Functionality and Semantic Annotation for Technical Knowledge Management -- Support for Content Creation Using...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2014
جدول المحتويات: ... to Solve Directing Orbits of Chaotic Systems -- Complex Proteomes Analysis Using Label-Free Mass...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2007
جدول المحتويات: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
بواسطة Love, Jonathan., Love, Jonathan.
منشور في 2007
جدول المحتويات: ... -- Series and Complex Numbers -- First Order Systems -- Laplace Transforms -- Transfer Functions -- Second...
احصل على النص الكامل
الكتروني كتاب الكتروني