Zoekresultaten
Resultaat 261 - 280 (van 519)
E. Poll | Pieter H. Hartel | E. de Jong A Java reference model of transacted memory for smart cards
Non-fictie
Engels | 14 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek
Fabian Breg Java and high performance computing
Non-fictie
Engels | 155 pagina's | 2001
Gedrukt boek
B.P.F. Jacobs A formalisation of Java's exception mechanism
Non-fictie
Engels | 18 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
T. Kuipers | Joost Visser Object-oriented tree traversal with JJForester
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
B.P.F. Jacobs | E. Poll A logic for the Java modeling language JML
Non-fictie
Engels | 17 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
Joachim van den Berg | B.P.F. Jacobs The LOOP compiler for Java and JML
Non-fictie
Engels | 16 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
E. Poll | Joachim van den Berg | B.P.F. Jacobs Formal specification of the JavaCard API in JML: the APDU class
Non-fictie
Engels | 14 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
Joachim van den Berg | B.P.F. Jacobs | E. Poll Formal specification and verification of JavaCard's application identifier class
Non-fictie
Engels | 9 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2000
Gedrukt boek
E. Poll | Joachim van den Berg | B.P.F. Jacobs Specification of the JavaCard API in JML
Non-fictie
Engels | 14 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 2000
Gedrukt boek
Weining Qi The design and implementation of a Business Service Delegate
Non-fictie
Engels | 43 pagina's | Stan Ackermans Institute, Eindhoven | 1999
Gedrukt boek
Computing Science Institute A type-theoretic memory model for verification of sequential Java programs
Non-fictie
Engels | 19 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen | 1999
Gedrukt boek
Edi Sedyawati Gaṇeśa statuary of the Kaḍiri and Sinhasāri periods
a study of art history
Non-fictie
Engels | 368 pagina's | KITLV Press, Leiden | 1994
Gedrukt boek
Computing Science Institute Reasoning about Java classes
(preliminary report)
Non-fictie
Engels | 20 pagina's | Computing Science Institute Nijmegen, Faculty of Mathematics and Informatics, Nijmegen | 1998
Gedrukt boek
R.J.P. Fabriek De verloren jaren in de 2e wereldoorlog (1938-1945)
de periode januari 1942 t/m mei 1946 tijdens de Japanse bezetting op Java in het gedeelte van Midden-west Java
Non-fictie
Nederlands | Fabriek, Rolde | 2000
Gedrukt boek
Reinier Kromopawiro SiMBAH
geschiedenis van de Javanen van Suriname
Non-fictie
Nederlands | 443 pagina's | BanyuMili Uitgeverij, Capelle aan den Ijssel | 2022
Gedrukt boek
Steven Holzner Java 2
Non-fictie
Nederlands | 1002 pagina's | Easy Computing, Brussel, Haarlem | 2001
Gedrukt boek
A.N.W.B. Toeristenbond voor Nederland Indië in beeld
Fotoverslag van een reis door Java en Sumatra in 1911
Non-fictie
Nederlands | De Tulp, Haarlem | 1911
Gedrukt boek
Wim van Zanten Music of the Baduy People of Western Java
singing is a medicine
Non-fictie
Engels | 395 pagina's | Brill, Leiden | 2021
Gedrukt boek
B. van Norren Socio-culturele structuur en innovatie
een structuur-vergelijkend onderzoek naar adoptie van family planning in de periode 1969-1973 door Sundanese echtparen in twee rurale gemeenschappen op West-Java
Proefschrift Landbouwhogeschool Wageningen
Non-fictie
Nederlands | 533 pagina's | 1985
Gedrukt boek