top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Programming language concepts / Carlo Ghezzi, Mehdi Jazayeri
Programming language concepts / Carlo Ghezzi, Mehdi Jazayeri
Creatore [Ghezzi, Carlo]
Estensione xvi, 327 p. ; 24 cm.
Disciplina 005.13
Accesso persona Jazayeri, Mehdi
ISBN 0471087556
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-002052780
[Ghezzi, Carlo]  
Materiale a stampa
Lo trovi qui: New York University
Programmierung - eine Einführung in die Informatik mit Standard ML / Gert Smolka
Programmierung - eine Einführung in die Informatik mit Standard ML / Gert Smolka
Creatore [Smolka, Gert]
Estensione 1 online resource
Disciplina 005.13
ISBN 9783486595345
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Nota di contenuto Front Matter -- 1 Schnellkurs -- 2 Programmiersprachliches -- 3 Höherstufige Prozeduren -- 4 Listen und Strings -- 5 Sortieren -- 6 Konstruktoren und Ausnahmen -- 7 Bäume -- 8 Mengenlehre -- 9 Mathematische Prozeduren -- 10 Induktive Korrektheitsbeweise -- 11 Laufzeit rekursiver Prozeduren -- 12 Statische und dynamische Semantik -- 13 Konkrete Syntax -- 14 Datenstrukturen -- 15 Speicher und veränderliche Objekte -- 16 Stapelmaschinen und Übersetzer -- Back Matter
Record Nr. NYU-005959058
[Smolka, Gert]  
Materiale a stampa
Lo trovi qui: New York University
Adobe Dreamweaver CS4 [electronic resource] : técnicas esenciales / David Karlins
Adobe Dreamweaver CS4 [electronic resource] : técnicas esenciales / David Karlins
Creatore [Karlins, David]
Estensione 1 online resource (ix, 253 p.)
Disciplina 005.13
Accesso ente e-libro, Co.
Genere/Forma Electronic books
Soggetto non controllato Programacion
ISBN 9786071502179
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione spa
Record Nr. DUKE-007712954
[Karlins, David]  
Materiale a stampa
Lo trovi qui: Duke University
Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Peter Thiemann
Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Peter Thiemann
Edizione [1st ed. 2016.]
Estensione 1 online resource (XIII, 806 p. 32 illus.) online resource.
Disciplina 005.13
Accesso persona Thiemann, Pětr
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783662494981
9783662494974
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Simulating Cities: A Software Engineering Perspective -- Regular Programming for Quantitative Properties of Data Streams -- Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication Topologies in the pi-calculus -- Modular Termination Verification for Non-blocking Concurrency -- Call-by-Push-Value from a Linear Logic point of view -- Visible Type Application -- Automatically Splitting a Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate -- An application of computable distributions to the semantics of probabilistic programming languages -- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs -- Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations -- Needle & Knot: Binder boilerplate tied up -- On the Relative Expressiveness of Higher-Order Session Processes -- A Realizability Model for a Semantical Value Restriction -- Probabilistic functions and cryptographic oracles in higher order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs -- Functional Big-step Semantics -- Classical by-need -- Macrofication: Refactoring by Reverse Macro Expansion -- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs -- The Expressive Power of Monotonic Parallel Composition.
Record Nr. DUKE-007680811
Materiale a stampa
Lo trovi qui: Duke University
Essentials of programming languages / Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
Essentials of programming languages / Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
Creatore [Friedman, Daniel P.]
Edizione [2nd ed.]
Estensione xviii, 389 p. : ill. ; 24 cm.
Disciplina 005.13
Accesso persona Wand, Mitchell
Haynes, Christopher Thomas
ISBN 0262062178 (hc. : alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-002994362
[Friedman, Daniel P.]  
Materiale a stampa
Lo trovi qui: Duke University
A practical introduction to denotational semantics / Lloyd Allison
A practical introduction to denotational semantics / Lloyd Allison
Creatore [Allison, Lloyd]
Estensione xii, 132 p. : ill. ; 24 cm.
Disciplina 005.13
ISBN 0521306892
0521314232 (pbk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-000692387
[Allison, Lloyd]  
Materiale a stampa
Lo trovi qui: Duke University
R recipes : a problem-solution approach / Larry A. Pace
R recipes : a problem-solution approach / Larry A. Pace
Creatore [Pace, Larry A., author]
Estensione 1 online resource (xvi, 264 pages) : illustrations.
Disciplina 005.13
Genere/Forma Electronic books
ISBN 9781484201305
1484201302
1484201310
9781484201312
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006180866
[Pace, Larry A., author]  
Materiale a stampa
Lo trovi qui: New York University
JBoss AS 5 Performance Tuning
JBoss AS 5 Performance Tuning
Creatore [Marchioni, Francesco]
Estensione 1 online resource (475 pages)
Disciplina 005.13
Genere/Forma Electronic books
ISBN 9781849514033
1849514038
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto JBoss AS 5 Performance Tuning; JBoss AS 5 Performance Tuning; Credits; About the Author; About the Reviewers; www.PacktPub.com; Support files, eBooks, discount offers and more; Why Subscribe?; Free Access for Packt account holders; Preface; What this book covers; What you need for this book; Who this book is for; Conventions; Reader feedback; Customer support; Errata; Piracy; Questions; 1. Performance Tuning Concepts; Preface; What you will get from this book?; What is performance?; Scalability: the other side of performance; The tuning process; Tuning in the software development cycle.
Building the performance testEstablish a baseline; Collect data; How long should data collection last?; Analyze data; Configure and test again; Tuning Java Enterprise applications; Areas of tuning; Summary; 2. Installing the Tools for Tuning; Welcome to scientific tuning; The rationale behind the choice of the tools; Profiling the Java Virtual Machine; Installing the JVM; Installing VisualVM; Connecting to a local server; Connecting to a remote server; Monitoring your server; The Monitor tab; The Threads tab; The Profiler tab; Collecting snapshots; Extending VisualVM.
Profiling your applications with Eclipse Test and Performance Tools Platform (TPTP) ProjectInstalling the TPTP suite; Updating Eclipse; How to profile an application; Going beyond the basics of TPTP; Load testing your application with JMeter; Building a Test Plan; Step 1: Create a Thread Group; Step 2: Create a Sampler; Step 3: Create a Listener; Making your test plan a bit more realistic; How to create a complex Test Plan; Running JMeter as a shell; Operating system tools and commands; Windows users; Unix users; Dealing with low CPU utilization; Dealing with high CPU utilization.
Dealing with high resource contentionDealing with high disk utilization; Summary; 3. Tuning the Java Virtual Machine; The starting point; Choosing the JVM settings; Setting the correct heap size; The correct amount of memory to grant your application; Step # 1: Finding the maximum heap ( -Xmx); Step # 2: Finding the initial heap size ( -Xms); I cannot allocate enough memory for the JVM!; Where do I configure JVM settings in JBoss AS?; Sizing the garbage collector generations; Which is the correct ratio between the young and old generations?; The garbage collector algorithms.
Choosing the right garbage collector for your applicationThe G1 garbage collector; Debugging garbage collection; Making good use of the memory; Avoid creating large Java objects; Handling 'Out of Memory' errors; Finding the memory leak in your code; A practical example; Application description; Setting up a test bed; Benchmark aftermath; Consideration #1; Consideration #2; Action; Further optimization; Summary; 4. Tuning the JBoss AS; From release 4.x to 5.x, and on; Comparing server releases; Creating a custom application server configuration; JBoss AS pools; The System thread pool.
Record Nr. NYU-003573779
[Marchioni, Francesco]  
Materiale a stampa
Lo trovi qui: New York University
JBPM Developer Guide
JBPM Developer Guide
Creatore [Salatino, Mauricio]
Estensione 1 online resource (577 pages)
Disciplina 005.13
Genere/Forma Electronic books
ISBN 9781847195692
1847195695
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto JBPM Developer Guide; jBPM Developer Guide; Credits; About the Author; About the Reviewers; Preface; What this book covers; Who this book is for; Conventions; Reader feedback; Customer support; Errata; Piracy; Questions; 1. Why Developers Need BPM?; Business Process, why should I know about that?; ""A sequence of tasks that happen in a repeatable order""; ""executed by humans and/or systems""; ""to achieve a business goal""; I know what BPs are, but what about the final ""M"" in BPM?; BPM stages; BPM stages in a real-life scenario; BPM improvements; Global understanding of our processes.
Agile interaction between systems, people, and teamsReduce paperwork; Real-time process information; Process information analysis; Statistics and measures about each execution; BPM and system integration ""history""; Some buzzwords that we are going to hear when people talk about BPM; Theoretical definitions; Integration (system integration); Workflow; Service Oriented Architecture (SOA); Orchestration; Technological terms; Workflow; Enterprise Service Bus (ESB); BPEL (WS-BPEL); Business Process Management Systems (BPMS), my tool and your tool from now on; BPM systems versus BPM suites.
Why we really need to know BPM and BPMS, and how do they change/impact on our daily lifeNew approach; Homework; Summary; 2. jBPM for Developers; Graph Oriented Programming; Common development process; Database model; Business logic; User interfaces; Decoupling processes from our applications; Graph Oriented Programming on top of OOP; Implementing Graph Oriented Programming on top of the Java language (finally Java code!); Modeling nodes in the object-oriented world; Modeling a transition in the object-oriented world; Expanding our language; Process Definition: a node container.
Implementing our process definitionThe Node concept in Java; The Transition concept in Java; The Definition concept in Java; Testing our brand new classes; Process execution; Wait states versus automatic nodes; Asynchronous System Interactions; Human tasks; Creating the execution concept in Java; Homework; Creating a simple language; Nodes description; Stage one; Stage two; Stage three; Homework solution; Quick start guide to building Maven projects; Summary; 3. Setting Up Our Tools; Background about the jBPM project; JBoss Drools; JBoss ESB; JBoss jBPM; Supported languages; Other modules.
Tools and softwareMaven-why do I need it?; Standard structure for all your projects; Centralized project and dependencies description; Maven installation; Installing MySQL; Downloading MySQL JConnector; Eclipse IDE; Install Maven support for Eclipse; SVN client; Starting with jBPM; Getting jBPM; From binary; config directory; database directory; designer directory; docs directory; examples directory; lib directory; src directory; From source code; jBPM structure; Core module; DB module; Distribution module; Enterprise module; Example module; Identity module; Simulation module.
Record Nr. NYU-003494160
[Salatino, Mauricio]  
Materiale a stampa
Lo trovi qui: New York University
Programming in Modula-2 / Niklaus Wirth
Programming in Modula-2 / Niklaus Wirth
Creatore [Wirth, Niklaus]
Edizione [3rd, corr. ed.]
Estensione 1 online resource (202 pages) : illustrations.
Disciplina 005.13
001.64/24
Genere/Forma Electronic books
ISBN 9783642968785
3642968783
9783642968808
3642968805
0387150781
9780387150789
3540122060
9783540122067
3540150781
9783540150787
0387122060
9780387122069
Classificazione 54.53
DAT 364f
ES 920
QH 500
ST 250 M63
ST 250
ST 260 M63
ST 260
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface -- 1 -- 1. Introduction -- 2. A first example -- 3. A notation to describe the syntax of Modula -- 4. Representation of Modula programs -- 5. Statements and expressions -- 6. Control structures -- 7. Elementary data types -- 8. Constant and variable declarations -- 9. The data structure Array -- 2 -- 10. Procedures -- 11. The concept of locality -- 12. Parameters -- 13. Function procedures -- 14. Recursion -- 3 -- 15. Type declarations -- 16. Enumeration types -- 17. Subrange types -- 18. Set types -- 19. Record types -- 20. Records with variant parts -- 21. Dynamic data structures and pointers -- 22. Procedure types -- 4 -- 23. Modules -- 24. Definition and implementation parts -- 25. Program decomposition into modules -- 26. Local modules -- 27. Sequential input and output -- 28. Screen-oriented input and output -- 5 -- 29. Low-level facilities -- 30. Concurrent processes and coroutines -- 31. Device handling, concurrency, and interrupts -- Report on the Programming Language Modula-2 -- Appendix 1 : The Syntax of Modula-2 -- Appendix 2: Standard Utility Modules -- Terminal -- FileSystem -- InOut -- RealInOut -- Windows -- TextWindows -- GraphicWindows -- CursorMouse -- Menu -- Storage -- MathLib0 -- Appendix 3: The ASCII Character Set -- Appendix 4.
Record Nr. NYU-004663404
[Wirth, Niklaus]  
Materiale a stampa
Lo trovi qui: New York University