Start
Om tjänsten
TräffBildTitelFörfattare (1st/rad)TrycktBeskrivningIdentifiering
Google Books
Libris
1Java : how to programDeitel, Harvey M., 1945-1999Java : how to program
2Java : how to programDeitel, Paul J.c2010Java : how to program
3Java : how to programDeitel, Paul J.cop. 2007Java : how to program
4Java : how to programDeitel, Harvey M., 1945-cop. 1997Java : how to program
5Java : how to programDeitel, Paul J.Java : how to program
6Java : how to programDeitel, Paul JJava : how to program
7Java : how to programDeitel, Harvey M., 1945-2005Java : how to program
8Java : how to programDeitel, Harvey M., 1945-[2001]Java : how to program
9Java : how to programDeitel, Harvey M., 1945-cop. 2003Java : how to program
10Java : how to programDeitel, Paul J.2009Java : how to program
11Java : how to program : early objectsDeitel, Paul J.cop. 2015Java : how to program : early objects
12Java : how to program : late objects versionDeitel, Paul J.cop. 2010Java : how to program : late objects version
13Java [Ljudupptagning] how to programDeitel, Paul J.Java [Ljudupptagning] how to program
14Java [Ljudupptagning] how to programDeitel, Paul J.Java [Ljudupptagning] how to program
15Java : how to programDeitel, Harvey M., 1945.cop 1998Java : how to program
16Java [Elektronisk resurs] how to programDeitel, Paul J.Java [Elektronisk resurs] how to program
17Small Java : how to programDeitel, Harvey M., 1945-Small Java : how to program
18Advanced Java 2 Platform : how to programDeitel, Harvey M., 1945-cop. 2002Advanced Java 2 Platform : how to program
19Java : how to programDeitel, Paul J.cop. 2012Java : how to program
20Java [Elektronisk resurs] : how to programDeitel, Paul J.cop. 2012Java [Elektronisk resurs] : how to program
21Java [Elektronisk resurs] how to program : early objectsDeitel, Paul J.Java [Elektronisk resurs] how to program : early objects
22Java [Ljudupptagning] how to program : early objectsDeitel, Paul J.Java [Ljudupptagning] how to program : early objects
23Java [Ljudupptagning] how to program : early objectsDeitel, PaulJava [Ljudupptagning] how to program : early objects
24Java, late objects version : how to programDeitel, Paul J.cop. 2010Java, late objects version : how to program
25Java : how to program : early objectsDeitel, Paul J.Java : how to program : early objects
26Java [Elektronisk resurs] how to program : with an introduct...Deitel, Harvey M.Java [Elektronisk resurs] how to program : with an introduct...
27C [Elektronisk resurs] : how to programDeitel, Paul J.,C [Elektronisk resurs] : how to program
28Java : how to program : late objects versionDeitel, Paul J.cop. 2015Java : how to program : late objects version
29Java how-to : the definitive java problem-solverSiddalingaiah, Madhucop. 1996Java how-to : the definitive java problem-solver
30Java: how to program [Elektronisk resurs]Deitel, Paul J.2006Java: how to program [Elektronisk resurs]
31JavaDeitel, Paul J.cop. 2015Java
32C : how to programDeitel, Paul J.[2012] cop. 2013C : how to program
33C : how to program : [introducing C++ and Java]Deitel, Harvey M., 1945-cop. 2004C : how to program : [introducing C++ and Java]
34C how to program : with an introduction to C++Deitel, Paul J.2016C how to program : with an introduction to C++
35Java : a beginner's guideSchildt, Herbert.Java : a beginner's guide
36Java : How to program : Early ObjectsDeitel, PaulJava : How to program : Early Objects
37Java how to programDeitel, Harvey M., 1945-1996Java how to program
38Advanced Java 2 platform [Ljudupptagning] how to programDeitel, Harvey M.Advanced Java 2 platform [Ljudupptagning] how to program
39C how to program : [introducing C++ and Java]Deitel, Harvey M., 1945-cop. 2001C how to program : [introducing C++ and Java]
40Android How To Program : with an Introduction To JavaDeitel, Paul J.2013Android How To Program : with an Introduction To Java
SwePub
1An Emulation Solution for the SegBus PlatformNiazi, M. F., Tenhunen, Hannu, Seceleanu, T., An Emulation Solution for the SegBus Platform
2Integration of a Security Type System into a Program LogicHähnle, Reiner, 1962- Pan, Jing Rümmer, Philipp, 1978-, Walter, Dennis 2007Integration of a Security Type System into a Program Logic
3Verifying data- and control-oriented properties combining st...Ahrendt, W. Chimento, J. M. Pace, G. J. Schneider, Gerardo, 1967-, Verifying data- and control-oriented properties combining st...
4Collections Frameworks for Points-to AnalysisGutzmann, Tobias, Lundberg, Jonas, Löwe, Welf, Collections Frameworks for Points-to Analysis
5Securing Class Initialization in Java-like LanguagesRafnsson, Willard Thor, 1982-, Nakata, K., Sabelfeld, Andrei, 1974-, Securing Class Initialization in Java-like Languages
6Java to hardware compilation for non data flow applicationsAndersson, Per, Kuchcinski, Krzysztof, Java to hardware compilation for non data flow applications
7Proving and Disproving in Dynamic Logic for JavaRümmer, Philipp, 1978-,2006Proving and Disproving in Dynamic Logic for Java
8Formal Development of Safe and Secure Java Card AppletsMostowski, Wojciech, 1976-,2005Formal Development of Safe and Secure Java Card Applets
9Specification and verification of synchronization with condi...de C. Gomes, Pedro, Gurov, Dilian, 1964-, Huisman, M. Artho, Cyrille, Specification and verification of synchronization with condi...
10Specification and verification of synchronization with condi...De Carvalho Gomes, Pedro, Gurov, Dilian, 1964-, Huisman, M. Specification and verification of synchronization with condi...
11Calculi for Program Incorrectness and ArithmeticRümmer, Philipp, 1978-,2008Calculi for Program Incorrectness and Arithmetic
12Towards a Framework for Static Analysis Based on Points-to I...Edvinsson, Marcus, 1978-,2007Towards a Framework for Static Analysis Based on Points-to I...
13Verification Based Failure Detection for Real-Time Java and ...Paganelli, Gabriele, 1982-,2013Verification Based Failure Detection for Real-Time Java and ...
14Combining and Strengthening Program Analysis and Verificatio...Gedell, Tobias, 1980-,2008Combining and Strengthening Program Analysis and Verificatio...
15Dynamic Frames Based Verification Method for Concurrent Java...Mostowski, Wojciech, 1976-,Dynamic Frames Based Verification Method for Concurrent Java...
16Pluggable checking and inferencing of nonnull types for Java...Ekman, Torbjörn, Hedin, Görel, Pluggable checking and inferencing of nonnull types for Java...
17Integration of a Security Type System into a Program LogicHähnle, Reiner, 1962- Pan, Jing Rümmer, Philipp, 1978-, Walter, Dennis Integration of a Security Type System into a Program Logic
18"Juggling Balls"Morren, Liam Bednar, Peter, Hay, Nicola "Juggling Balls"
19Tracking Information Flows in Interactive and Object-Oriente...Rafnsson, Willard Thor, 1982-,2012Tracking Information Flows in Interactive and Object-Oriente...
20Mutation-Based Test Generation for PLC Embedded Software usi...Enoiu, Eduard Paul, Sundmark, Daniel, Causevic, Adnan, Feldt, Robert, Mutation-Based Test Generation for PLC Embedded Software usi...
21Provably Correct Runtime MonitoringAktug, Irem, Dam, Mads, Gurov, Dilian, Provably Correct Runtime Monitoring
22Extensible Compiler ConstructionEkman, Torbjörn,2006Extensible Compiler Construction
23Practical, Flexible programming with Information Flow Contro...Broberg, Niklas, 1979-,2011Practical, Flexible programming with Information Flow Contro...
24Inlined Reference Monitors Certification,Concurrency and Tre...Lundblad, Andreas, 1983-,2013Inlined Reference Monitors Certification,Concurrency and Tre...
25Reasoning About Loops Using Vampire in KeYAhrendt, Wolfgang, 1967-, Kovacs, Laura, 1980-, Robillard, Simon, 1989-, Reasoning About Loops Using Vampire in KeY
26Predicting Time and Memory Demands of Object-Oriented Progra...Persson, Patrik,2000-04-12Predicting Time and Memory Demands of Object-Oriented Progra...
27TuFT: Tunnel Fire Tools - Teknisk dokumentationFridolf, Karl, Frantzich, Håkan, 2014TuFT: Tunnel Fire Tools - Teknisk dokumentation
28Demand-driven evaluation of collection attributesMagnusson, Eva, Ekman, Torbjörn, Hedin, Görel, Demand-driven evaluation of collection attributes
29Algorithmic Verification Techniques for Mobile CodeAktug, Irem, 1980-,2008Algorithmic Verification Techniques for Mobile Code
30Learning Component Behavior from Tests Theory and Algorithms...Cassel, Sofia,2015Learning Component Behavior from Tests Theory and Algorithms...
31Developing a decision support system for sustainable cage aq...halide, halmar Stigebrandt, Anders, 1942-, Rehbein, M McKinnon, A D Developing a decision support system for sustainable cage aq...

Referenser till uppsats

Med Bokreferens.se kan du söka efter böcker, artiklar och avhandlingar mm.
Du hittar färdiga referenser till din uppsats som du kan klista in i ditt arbetes källförteckning.
Bokreferens stödjer referensmallen för: APA, Harvard, Oxford samt Vancouver.
Nytt är att du numera även kan jämföra priser på böcker och studentlitteratur.
Om tjänsten | Senaste Sökningar

Hittils har 1.945.032 st sökningar gjorts på Bokreferens.se
sedan starten 2012-10-19, 201 st har genomförts idag.

Bokreferens.se bygger på API från Google Books, Libris och SwePub.
Prisjämförelser sker med tillstånd från:

Adlibris Bokus

Syskonsajter: Loggbok.nu | Pluggis.nu | Radiolinker.com

© Copyright 2019 Illius Media