Start
Om tjänsten
| Träff | Bild | Titel | Författare (1st/rad) | Tryckt | Beskrivning | Identifiering | |
|---|---|---|---|---|---|---|---|
| Google Books | |||||||
| Libris | |||||||
| 1 |  | Java : how to program | Deitel, Harvey M., 1945- | 1999 | Java : how to program | ||
| 2 | | Java : how to program | Deitel, Paul J. | c2010 | Java : how to program | ||
| 3 | | Java : how to program | Deitel, Paul J. | cop. 2007 | Java : how to program | ||
| 4 | | Java : how to program | Deitel, Harvey M., 1945- | cop. 1997 | Java : how to program | ||
| 5 | | Java : how to program | Deitel, Paul J. | Java : how to program | |||
| 6 | | Java : how to program | Deitel, Paul J | Java : how to program | |||
| 7 | | Java : how to program | Deitel, Harvey M., 1945- | 2005 | Java : how to program | ||
| 8 | | Java : how to program | Deitel, Harvey M., 1945- | [2001] | Java : how to program | ||
| 9 | | Java : how to program | Deitel, Harvey M., 1945- | cop. 2003 | Java : how to program | ||
| 10 | | Java : how to program | Deitel, Paul J. | 2009 | Java : how to program | ||
| 11 | | Java : how to program : early objects | Deitel, Paul J. | cop. 2015 | Java : how to program : early objects | ||
| 12 | | Java : how to program : late objects version | Deitel, Paul J. | cop. 2010 | Java : how to program : late objects version | ||
| 13 | | Java [Ljudupptagning] how to program | Deitel, Paul J. | Java [Ljudupptagning] how to program | |||
| 14 | | Java [Ljudupptagning] how to program | Deitel, Paul J. | Java [Ljudupptagning] how to program | |||
| 15 | | Java : how to program | Deitel, Harvey M., 1945. | cop 1998 | Java : how to program | ||
| 16 | | Java [Elektronisk resurs] how to program | Deitel, Paul J. | Java [Elektronisk resurs] how to program | |||
| 17 | | Small Java : how to program | Deitel, Harvey M., 1945- | Small Java : how to program | |||
| 18 | | Advanced Java 2 Platform : how to program | Deitel, Harvey M., 1945- | cop. 2002 | Advanced Java 2 Platform : how to program | ||
| 19 | | Java : how to program | Deitel, Paul J. | cop. 2012 | Java : how to program | ||
| 20 | | Java [Elektronisk resurs] : how to program | Deitel, Paul J. | cop. 2012 | Java [Elektronisk resurs] : how to program | ||
| 21 | | Java [Elektronisk resurs] how to program : early objects | Deitel, Paul J. | Java [Elektronisk resurs] how to program : early objects | |||
| 22 | | Java [Ljudupptagning] how to program : early objects | Deitel, Paul J. | Java [Ljudupptagning] how to program : early objects | |||
| 23 | | Java [Ljudupptagning] how to program : early objects | Deitel, Paul | Java [Ljudupptagning] how to program : early objects | |||
| 24 | | Java, late objects version : how to program | Deitel, Paul J. | cop. 2010 | Java, late objects version : how to program | ||
| 25 | | Java : how to program : early objects | Deitel, Paul J. | Java : how to program : early objects | |||
| 26 | | Java [Elektronisk resurs] how to program : with an introduct... | Deitel, Harvey M. | Java [Elektronisk resurs] how to program : with an introduct... | |||
| 27 | | C [Elektronisk resurs] : how to program | Deitel, Paul J., | C [Elektronisk resurs] : how to program | |||
| 28 | | Java : how to program : late objects version | Deitel, Paul J. | cop. 2015 | Java : how to program : late objects version | ||
| 29 | | Java how-to : the definitive java problem-solver | Siddalingaiah, Madhu | cop. 1996 | Java how-to : the definitive java problem-solver | ||
| 30 | | Java: how to program [Elektronisk resurs] | Deitel, Paul J. | 2006 | Java: how to program [Elektronisk resurs] | ||
| 31 | | Java | Deitel, Paul J. | cop. 2015 | Java | ||
| 32 | | C : how to program | Deitel, Paul J. | [2012] cop. 2013 | C : how to program | ||
| 33 | | C : how to program : [introducing C++ and Java] | Deitel, Harvey M., 1945- | cop. 2004 | C : how to program : [introducing C++ and Java] | ||
| 34 | | C how to program : with an introduction to C++ | Deitel, Paul J. | 2016 | C how to program : with an introduction to C++ | ||
| 35 | | Java : a beginner's guide | Schildt, Herbert. | Java : a beginner's guide | |||
| 36 | | Java : How to program : Early Objects | Deitel, Paul | Java : How to program : Early Objects | |||
| 37 | | Java how to program | Deitel, Harvey M., 1945- | 1996 | Java how to program | ||
| 38 | | Advanced Java 2 platform [Ljudupptagning] how to program | Deitel, Harvey M. | Advanced Java 2 platform [Ljudupptagning] how to program | |||
| 39 | | C how to program : [introducing C++ and Java] | Deitel, Harvey M., 1945- | cop. 2001 | C how to program : [introducing C++ and Java] | ||
| 40 | | Android How To Program : with an Introduction To Java | Deitel, Paul J. | 2013 | Android How To Program : with an Introduction To Java | ||
| SwePub | |||||||
| 1 | | An Emulation Solution for the SegBus Platform | Niazi, M. F., Tenhunen, Hannu, Seceleanu, T., | An Emulation Solution for the SegBus Platform | |||
| 2 | | Integration of a Security Type System into a Program Logic | Hähnle, Reiner, 1962- Pan, Jing Rümmer, Philipp, 1978-, Walter, Dennis | 2007 | Integration of a Security Type System into a Program Logic | ||
| 3 | | Verifying 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... | |||
| 4 | | Collections Frameworks for Points-to Analysis | Gutzmann, Tobias, Lundberg, Jonas, Löwe, Welf, | Collections Frameworks for Points-to Analysis | |||
| 5 | | Securing Class Initialization in Java-like Languages | Rafnsson, Willard Thor, 1982-, Nakata, K., Sabelfeld, Andrei, 1974-, | Securing Class Initialization in Java-like Languages | |||
| 6 | | Java to hardware compilation for non data flow applications | Andersson, Per, Kuchcinski, Krzysztof, | Java to hardware compilation for non data flow applications | |||
| 7 | | Proving and Disproving in Dynamic Logic for Java | Rümmer, Philipp, 1978-, | 2006 | Proving and Disproving in Dynamic Logic for Java | ||
| 8 | | Formal Development of Safe and Secure Java Card Applets | Mostowski, Wojciech, 1976-, | 2005 | Formal Development of Safe and Secure Java Card Applets | ||
| 9 | | Specification and verification of synchronization with condi... | de C. Gomes, Pedro, Gurov, Dilian, 1964-, Huisman, M. Artho, Cyrille, | Specification and verification of synchronization with condi... | |||
| 10 | | Specification and verification of synchronization with condi... | De Carvalho Gomes, Pedro, Gurov, Dilian, 1964-, Huisman, M. | Specification and verification of synchronization with condi... | |||
| 11 | | Calculi for Program Incorrectness and Arithmetic | Rümmer, Philipp, 1978-, | 2008 | Calculi for Program Incorrectness and Arithmetic | ||
| 12 | | Towards a Framework for Static Analysis Based on Points-to I... | Edvinsson, Marcus, 1978-, | 2007 | Towards a Framework for Static Analysis Based on Points-to I... | ||
| 13 | | Verification Based Failure Detection for Real-Time Java and ... | Paganelli, Gabriele, 1982-, | 2013 | Verification Based Failure Detection for Real-Time Java and ... | ||
| 14 | | Combining and Strengthening Program Analysis and Verificatio... | Gedell, Tobias, 1980-, | 2008 | Combining and Strengthening Program Analysis and Verificatio... | ||
| 15 | | Dynamic Frames Based Verification Method for Concurrent Java... | Mostowski, Wojciech, 1976-, | Dynamic Frames Based Verification Method for Concurrent Java... | |||
| 16 | | Pluggable checking and inferencing of nonnull types for Java... | Ekman, Torbjörn, Hedin, Görel, | Pluggable checking and inferencing of nonnull types for Java... | |||
| 17 | | Integration of a Security Type System into a Program Logic | Hä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" | |||
| 19 | | Tracking Information Flows in Interactive and Object-Oriente... | Rafnsson, Willard Thor, 1982-, | 2012 | Tracking Information Flows in Interactive and Object-Oriente... | ||
| 20 | | Mutation-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... | |||
| 21 | | Provably Correct Runtime Monitoring | Aktug, Irem, Dam, Mads, Gurov, Dilian, | Provably Correct Runtime Monitoring | |||
| 22 | | Extensible Compiler Construction | Ekman, Torbjörn, | 2006 | Extensible Compiler Construction | ||
| 23 | | Practical, Flexible programming with Information Flow Contro... | Broberg, Niklas, 1979-, | 2011 | Practical, Flexible programming with Information Flow Contro... | ||
| 24 | | Inlined Reference Monitors Certification,Concurrency and Tre... | Lundblad, Andreas, 1983-, | 2013 | Inlined Reference Monitors Certification,Concurrency and Tre... | ||
| 25 | | Reasoning About Loops Using Vampire in KeY | Ahrendt, Wolfgang, 1967-, Kovacs, Laura, 1980-, Robillard, Simon, 1989-, | Reasoning About Loops Using Vampire in KeY | |||
| 26 | | Predicting Time and Memory Demands of Object-Oriented Progra... | Persson, Patrik, | 2000-04-12 | Predicting Time and Memory Demands of Object-Oriented Progra... | ||
| 27 | | TuFT: Tunnel Fire Tools - Teknisk dokumentation | Fridolf, Karl, Frantzich, Håkan, | 2014 | TuFT: Tunnel Fire Tools - Teknisk dokumentation | ||
| 28 | | Demand-driven evaluation of collection attributes | Magnusson, Eva, Ekman, Torbjörn, Hedin, Görel, | Demand-driven evaluation of collection attributes | |||
| 29 | | Algorithmic Verification Techniques for Mobile Code | Aktug, Irem, 1980-, | 2008 | Algorithmic Verification Techniques for Mobile Code | ||
| 30 | | Learning Component Behavior from Tests Theory and Algorithms... | Cassel, Sofia, | 2015 | Learning Component Behavior from Tests Theory and Algorithms... | ||
| 31 | | Developing 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... | |||
Referenserna är hämtade från Libris kontrollera dem före användning!
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:
Syskonsajter: Loggbok.nu | Pluggis.nu | Radiolinker.com
© Copyright 2019 Illius Media