Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 181 - 200 von 593

181

Nautilus, a Concurrent Diagrammatic Specification and Programming Language.
Fuzitaki, Claudio ; Menezes, Paulo ; Machado, Júlio ; et al.
Journal of Supercomputing. Apr2006, Vol. 36 Issue 1, p51-81. 31p. 29 Diagrams.

PROGRAMMING languages ELECTRONIC data processi... COMPUTER programming COMPUTER software GRAPHIC methods JAVA programming languag...
Fachzeitschrift
182

FME 2002:Formal Methods—Getting IT Right: International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings
Eriksson, Lars-Henrik, editor. ; Lindsay, Peter Alexander, editor. ; Eriksson, Lars-Henrik, editor.

Software engineering. Computer science. Logic design. Logics and Meanings of P... Programming Languages, C... Programming Techniques.
Buch
183

Vivado Design Interface: Enabling CAD-Tool Design for Next Generation Xilinx FPGA Devices
Townsend, Thomas James
Theses and Dissertations.

Vivado FPGA Tcl CAD RapidSmith2 Xilinx
Dissertation
184

CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings
Palamidessi, Catuscia, editor. ; Palamidessi, Catuscia, editor.

Computer science. Computer networks. Logic design. Logics and Meanings of P... Computation by Abstract... Programming Languages, C...
Buch
185

Dieses Ergebnis kann Gästen nicht angezeigt werden.

186

In silico identification of a Lactobacillus plantarum metabolic product that potentially inhibits three essential human immunodeficiency virus-2 enzymes.
Kharisma, Viol Dhea ; Sahadewa, Sukma ; Durry, Fara Disa ; et al.
Community Acquired Infection. 2025, Vol. 12, p1-9. 9p.

Fachzeitschrift
187

Design of a generic client-server messaging interface using XML
Rimer, Suvendi Chinnappen

Directory services compu... Xml document markup lang... Client/server computing UCTD
Dissertation
188

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Legay, Axel, editor. ; Bensalem, Saddek, editor. ; Legay, Axel, editor.

Software engineering. Computer science. Computer software. Logic design. Algorithm Analysis and P... Logics and Meanings of P...
Buch
189

Investigating uncertainty and sensitivity in integrated, multimedia environmental models: tools for FRAMES-3MRA
Babendreier, J.E. ; Castleton, K.J.
Environmental Modelling & Software. Aug2005, Vol. 20 Issue 8, p1043-1055. 13p.

MULTIMEDIA systems RISK assessment COMPUTER software ENVIRONMENTAL policy
Fachzeitschrift
191

Recent trends in algebraic development techniques: 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Bert, Didier. ; Choppy, C. (Christine) ; Mosses, Peter.

Computer software -- Dev... Computer science -- Math... Abstract data types (Com... Computer science. Software engineering. Logic design.
Buch
192

SYSTEMIC FUNCTIONAL LINGUISTIC GENRE PEDAGOGY (SFL GP) IN A TERTIARY EFL WRITING CONTEXT IN INDONESIA
Emi Emilia ; Fuad Abdul Hamied
TEFLIN Journal, Vol 26, Iss 2 (2015)

genre pedagogy writing argumentative texts Language and Literature Philology. Linguistics P1-1091
Fachzeitschrift
193

Python and Roles of Variables in Introductory Programming: Experiences from Three Educational Institutions.
Nikula, Uolevi ; Sajaniemi, Jorma ; Tedre, Matti ; et al.
Journal of Information Technology Education: Research. 2007, Vol. 6, p199-214. 16p.

STUDENTS LEARNING COMPUTER programming PYTHON programming langu... SYNTAX in programming la... COMPUTER assisted instru...
Fachzeitschrift
195

Desenvolvimento de um aplicativo computacional para obtenÃÃo de equaÃÃes IDF em regiÃes desprovidas de pluviogrÃfos utilizando o mÃtodo das isozonas
FrancismÃrio de Menezes Alves
Biblioteca Digital de Teses e Dissertações da UFCUniversidade Federal do CearáUFC.

Recursos hÃdricos Disaggregation methods,... ENGENHARIA CIVIL
Dissertation
196

Verified Software: theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions
Meyer, Bertrand, 1950- ; Woodcock, Jim.

Computer software -- Ver... Computer software -- Qua... Compilers (Computer prog... Kongress. Zürich (2005) Conference proceedings.
Buch
197

Program analysis using binary decision diagrams
Lhoták, Ondřej.

Doctor of Philosophy (Sc... Computer Science.
Dissertation
198

High Performance Computing — HiPC 2002: 9th International Conference Bangalore, India, December 18–21, 2002 Proceedings
Sahni, Sartaj, editor. ; Shukla, Uday, editor. ; Prasanna, Viktor K., editor. ; et al.

Computer science. Computer network archite... Software engineering. Computer software. Electronic data processi... Computational complexity...
Buch
200

Recent trends in algebraic development techniques: 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Parisi Presicce, Francesco.

Computer software -- Dev... Computer science -- Math... Abstract data types (Com... Abstract data types (Com... Computer science. Software engineering.
Buch

Filter