240-248 - Computer Science - Finding books in the library - Research Guides at Hebrew University of Jerusalem

חיפוש בקטלוג הספרייה

המלצת הספרייה

Cracking the Coding Interview by Gayle Laakmann McDowell
Call Number: 240 Mc36
ISBN: 9780984782857
Cracking the Coding Interview, 6th Edition is here to help you through this process, teaching you what you need to know and enabling you to perform at your very best. I've coached and interviewed hundreds of software engineers. The result is this book. Learn how to uncover the hints and hidden details in a question, discover how to break down a problem into manageable chunks, develop techniques to unstick yourself when stuck, learn (or re-learn) core computer science concepts, and practice on 189 interview questions and solutions.
Clean Code by Robert C. Martin
Call Number: 240.2 Ma77
ISBN: 9780132350884
Noted software expert Robert C. Martin presents a revolutionary paradigm with Clean Code: A Handbook of Agile Software Craftsmanship. Martin has teamed up with his colleagues from Object Mentor to distil their best agile practice of cleaning code "on the fly" into a book that will instil within you the values of a software craftsman and make you a better programmer--but only if you work at it.
Logic Design and Verification Using SystemVerilog (Revised) by Donald Thomas
Call Number: 242.17 Th65 2016
ISBN: 9781523364022
Publication Date: 2016
SystemVerilog is a Hardware Description Language that enables designers to work at the higher levels of logic design abstractions that match the increased complexity of current day integrated circuit and field-programmable gate array (FPGA) designs. The majority of the book assumes a basic background in logic design and software programming concepts.
Introduction to Modern Cryptography, Second Edition by Jonathan Katz; Yehuda Lindell
Call Number: 243.7 Ka79 2015
ISBN: 9781466570269
Cryptography is ubiquitous and plays a key role in ensuring data secrecy and integrity as well as in securing computer systems more broadly. Introduction to Modern Cryptography provides a rigorous yet accessible treatment of this fascinating subject. The authors introduce the core principles of modern cryptography, with an emphasis on formal definitions, clear assumptions, and rigorous proofs of security.
Legal Protection of Computer Software by David Bainbridge
Call Number: Law library
ISBN: 9781845924508
Publication Date: 2008
Formerly titles Software Copyright Law, this new fifth edition has been significantly reworked to take account of the relevant legislative changes, offering practical guidance and workable policies and solutions to all issues relating to the development and exploitation of computer software. The new revised content includes information on software patents, issues of confidentiality, and restarint of trade in relation to former employee, freelance programmes and developers.

Software

240 Programming Techniques

240.1 Program specifications

240.2 Software engineering, Proper programming practices

240.3 Documentation practices (Flowcharts)

240.4 Programming environment, Programming systems, X-Window system, Microsoft .net

240.5 Visual programming

240.6 Object oriented software engineering

241 Software definition, Implementation of software

241.1 Editors, Assemblers, Macro generators

241.2 Compilers, Compiler generators (Lexical analysis, Parsing, Semantic analysis, Code generation, Code optimization)

241.3 Interpreters

241.4 Loaders

241.5 Portability, Macro generators, Portability via higher level languages

241.8 Semantics of programming languages (see also 252.4)

241.83 Implementation models

241.84 Axiomatic semantics

241.85 Denotational semantics

241.88 Program correctness

242 Programming languages

242.1 Machine oriented languages, System implementation languages

242.11 Assemblers conventional, Macro assemblers (see also 216)

242.13 Low level machine oriented

242.15 Macro techniques, Macro languages

242.17 High level machine oriented languages, System implementation languages (see also 261.7 Design Language)

242.2 Specific languages

242.21 FORTRAN

242.22 BASIC

242.23 FORTRAN dialects (MAD)

242.24 SIMSCRIPT, SIMSCRIPT II

242.25 LOTUS

242.26 APL

242.29 COBOL

242.3 Algebraic languages

242.31 ALGOL 60

242.32 SIMULA 67 (see also 281)

242.33 PASCAL, ALGOL W, PL2, MODULA

242.34 ADA

242.35 C

242.36 ALGOL 68

242.37 PL/1

242.4 List, String languages, Symbol manipulation languages

242.41 Scripting Languages--AWK, Perl, Python, JavaScript

242.42 Functional programming--LISP, Scheme, ML

242.44 String languages--SNOBOL, ICON

242.46 Formula manipulation languages (see also 237.6)

242.47 Logic programming, Constraint--PROLOG

242.48 Macro languages

242.5 Parallel programming languages

242.51 MPI & openMP

242.52 OpenCL

242.53 CUDA

242.6 Data-flow languages, Value oriented languages

242.7 Object oriented languages

242.75 C++

242.76 SMALLTALK, and other languages

242.77 Java

242.8 Software systems for data analysis--SPSS, SAS

243 Supervisory systems

243.1 Basic monitors

243.2 Multiprogramming, Multiprocessing, Timesharing

243.3 Data bases

243.31 Object oriented databases

243.32 Database languages, Software and systems (commercial)--SQL, DB2, DB languages

243.4 Data structures, Data types, File systems

243.5 Operating systems

243.51 UNIX, LINUX

243.52 VAX/VMS

243.54 MS-DOS, OS-2, NT, Windows, Microsoft operating systems

243.6 Scheduling algorithms, Queuing theory

243.7 Security, Cryptography

243.8 Parallel processing, Distributed processing

243.9 Concurrency control, Distributed systems

244 Utility programs

244.1 Input/Output

244.2 Debugging

244.3 Garbage collection

245 Patents, Software copyrights

246 Performance evaluation, Software evaluation, Tests, Performance Measurements

247 Reliability software (see also 241.88)

248 Programming Paradigm

Computer Science - Finding books in the library: 240-248

חיפוש בקטלוג הספרייה

המלצת הספרייה

Software