Treffer 181 - 200 von 12.401

181

Chapter 10. Functional Programming
Roger B Dannenberg ; Mary Simoni
Algorithmic Composition : A Guide to Composing Music with Nyquist.

Buch
Zu den Favoriten
182

Extending the type checker of Standard ML by polymorphic recursion
EMMS, M ; LEISS, H
GentzenTheoretical computer science. 212(1-2):157-181

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Fachzeitschrift
Zu den Favoriten
183

Setting Realistic Recovery Targets for Two Interacting Endangered Species, Sea Otter and Northern Abalone.
Chadès, Iadine ; Curtis, Janelle M. R. ; Martin, Tara G.
Conservation Biology. Dec2012, Vol. 26 Issue 6, p1016-1025. 10p. 1 Illustration, 3 Graphs.

Endangered species Population dynamics Sea otter Pinto abalone Simulation methods & mod... Dynamic programming
Fachzeitschrift
Zu den Favoriten
184

Why computer science students find formal reasoning frightening
FUNG, P ; O'SHEA, T ; GOLDSON, D ; et al.
Journal of computer assisted learning (Print). 10(4):240-250

Computer science Informatique Psychology, psychopathol... Psychologie, psychopatho... Sciences biologiques et... Biological and medical s...
Fachzeitschrift
Zu den Favoriten
185

LPCHISEL: Automatic power intent generation for a chisel-based ASIC design
Muslim, Fahad Bin ; Inayat, Kashif ; Khan, Safiullah
In Computers and Electrical Engineering April 2024 115

Fachzeitschrift
Zu den Favoriten
186

Dieses Ergebnis kann Gästen nicht angezeigt werden.

187

MatLab Script and Functional Programming
Shaykhian, Gholam Ali

Computer Programming And...
Report
Zu den Favoriten
188

Declarative operations on nets
BOLEY, H
Computers & mathematics with applications (1987). 23(6-9):601-637

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
Zu den Favoriten
190

Lambda Starship: A Video Game for Teaching Functional Programming with Lisp
Compton, Tyler Alexander (Author) ; Gonzalez-Sanchez, Javier (Thesis Director) ; Bansal, Srividya (Committee Member) ; et al.

Functional Programming Games Lisp Video Games C# Unity
Fachzeitschrift
Zu den Favoriten
191

From Hydrogen to Beryllium: A Step-by-Step Spreadsheet-Based Introduction to the Concepts of Exchange and Correlation
Ivanov, Victor G. ; Slavchev, Bozhidar D.
Journal of Chemical Education. 101(10):4282-4289

Fachzeitschrift
Zu den Favoriten
192

Saul: Towards Declarative Learning Based Programming.
Kordjamshidi P ; Roth D ; Wu H
Publisher: IJCAI, c1977- Country of Publication: United States NLM ID: 101523961 Publication Model: Print Cited Medium: Print ISSN: 1045-0823 (Print) Linking ISSN: 10450823 NLM ISO Abbreviation: IJCAI (U S) Subsets: PubMed not MEDLINE

Fachzeitschrift
Zu den Favoriten
193

A Concurrent Lambda Calculus with Futures
Niehren, Joachim ; Schwinghammer, Jan ; Smolka, Gert ; et al.
Theoretical Computer Science. 364(3):338-356

Functional programming l... semantics concurrency [INFO.INFO-PL]Computer S... Programming Languages [c...
Zeitschrift
Zu den Favoriten
194

Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers
Semerikov, S. O. ; Polishchuk, O. P.
Theory and methods of learning mathematics, physics, informatics 13, 2 (2015) 174-200

Computer Science - Progr... Computer Science - Compu... Computer Science - Forma... 68Q42 D.3.4 F.4.2
Report
Zu den Favoriten
195

The Uses of Machine Learning (ML) in Teaching and Learning English Language: A Methodical Review.
AlHarbi, Abdullah AbdulMuhsen
Journal of Education - Sohag University. 2022, Vol. 93 Issue 93, p25-52. 28p.

Machine learning English as a foreign lan... Second language acquisit... Listening comprehension English language Programming languages
Fachzeitschrift
Zu den Favoriten
196

Reflections on the Teaching of Programming:Methods and Implementations
Caspersen, Michael Edelgaard ; Bennedsen, Jens ; Kölling, Michael
Caspersen, M E, Bennedsen, J & Kölling, M (eds) 2008, Reflections on the Teaching of Programming : Methods and Implementations. Lecture Notes in Computer Science, vol. 4821, vol. 4821, Springer, Berlin. https://doi.org/10.1007/978-3-540-77934-6

education IT training 4. Education informatics education object-oriented programm... extreme programming
Buch
Zu den Favoriten
197

Modernizing SMT-Based Type Error Localization
Kopinsky, Max ; Pientka, Brigitte ; Si, Xujie

Computer Science - Progr... D.3.3
Report
Zu den Favoriten
199

Learning functions from imperfect positive data
ZELEZNY, Filip
ILP 2001 : inductive logic programming (Strasbourg, 9-11 September 2001)Lecture notes in computer science. :248-259

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
Zu den Favoriten
200

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter