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 101 - 120 von 8.938

101

A Type-Theoretic Memory Model for Verification of Sequential Java Programs
Joachim van den Berg ; Marieke Huisman ; Bart Jacobs ; et al.
http://www.cs.kun.nl/~erikpoll/publications/memmod.ps.gz.

Memory model Java program verication Class... 68Q55 68Q60 68Q65 (AMS'91
Fachzeitschrift
102

Dieses Ergebnis kann Gästen nicht angezeigt werden.

103

Constructing verifiably correct Java programs using OCL and CleanJava
Yoonsik Cheon ; Carmen Avila ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.utep.edu/cheon/techreport/tr13-15.pdf.

correctness proof functional program verif... intended function CleanJava Object Constraint Langua...
Fachzeitschrift
104

Java obfuscation with a theoretical basis for building secure mobile agents
Yusuke Sakabe ; Masakazu Soshi ; Atsuko Miyaji ; et al.
http://profs.sci.univr.it/~giaco/download/Watermarking-Obfuscation/java obf.pdf.

mobile agents security obfuscation static analysis computational
Fachzeitschrift
105

Mining Program Properties From Neural Networks Trained on Source Code Embeddings
Saletta, Martina ; Ferretti, Claudio

Computer Science - Softw... Computer Science - Neura...
Report
106

Exploring the Best Practices of the Youth for Environment in Schools--Organization (YES-O)
Arlon P. Cadiz ; Leah Amor S. Cortez
18

Best Practices Youth Programs Program Implementation Self Advocacy Capacity Building Secondary School Student...
Fachzeitschrift
107

The definitive guide to building Java robots
Preston, Scott. ; Books24x7, Inc. ; Preston, Scott.

E-Book
108

Dieses Ergebnis kann Gästen nicht angezeigt werden.

110

Building interactive simulations in a Web page design program.
Kootsey JM ; Siriphongs D ; McAuley G
Publisher: IEEE Service Center Country of Publication: United States NLM ID: 101243413 Publication Model: Print Cited Medium: Print ISSN: 1557-170X (Print) Linking ISSN: 1557170X NLM ISO Abbreviation: Conf Proc IEEE Eng Med Biol Soc Subsets: PubMed not MEDLINE

Fachzeitschrift
111

Proceedings of the International Association for Development of the Information Society (IADIS) International Conference on Mobile Learning (11th, Madeira, Portugal, March 14-16, 2015)
International Association for Development of the Information Society (IADIS) ; Sánchez, Inmaculada Arnedillo ; Isaías, Pedro
188

Conference Papers Telecommunications Educational Technology Technology Uses in Educa... Handheld Devices Technological Advancemen...
Konferenz
112

Understanding and Analyzing Java Reflection
Li, Yue ; Tan, Tian ; Xue, Jingling

Computer Science - Progr... Computer Science - Softw...
Report
113

Dieses Ergebnis kann Gästen nicht angezeigt werden.

114

The Effect of Religious Sentiment-based Entrepreneurial Education on Industrial Home-based Business Management: A Case Study of Halaqah Online Business Community in East Java.
Winarno, Agung ; Assa'diyah, Halimah
Educational Administration: Theory & Practice. 2023, Vol. 29 Issue 3, p111-122. 12p.

Fachzeitschrift
115

Beginning Java ME Platform
Ray Rischpater ; Ray Rischpater

Application software--De... Java (Computer program l...
E-Book
117

Analysis of Psychomotor Abilities and Their Influence on The Work Readiness of Vocational Students in The Industrial World.
Mulyono, Wahyu Dwi ; Suparji, Suparji ; Wardhono, Arie ; et al.
TEM Journal. Aug2025, Vol. 14 Issue 3, p2530-2536. 7p.

Jawa Timur (Indonesia) Indonesia Motor ability Vocational school studen... Data analysis Quantitative research
Fachzeitschrift
118

Building Enterprise .NET IBM i Applications.
Otey, Michael
System iNEWS. Mar2010, Issue 365, p34-38. 3p.

Microsoft .NET Framework Java programming languag... PHP (Computer program la... Automation Information technology Computer users
Zeitschrift
119

Filter