Autore	Lewis Mark C (Mark Christopher), <1974->
Edizione	[Second edition.]
Pubbl/distr/stampa	Boca Raton : , : Taylor & Francis, CRC Press, , [2017]
Descrizione fisica	1 online resource (662 pages)
Disciplina	005.7/3
Collana	Chapman & Hall/CRC Textbooks in Computing
Soggetto topico	Scala (Computer program language) Data structures (Computer science) Object-oriented methods (Computer science)
Soggetto genere / forma	Electronic books.
ISBN	1-4987-3219-4 1-315-38266-0 1-4987-3217-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	1. Scala language basics -- 2. Basics of object-orientation and software development -- 3. Details of object-orientation in Scala -- 4. Abstraction and polymorphism -- 5. GUIs and graphics -- 6. Other collection types -- 7. Stacks and queues -- 8. Multithreading and concurrency -- 9. Low-level multithreading and java libraries -- 10. Stream I/O and XML -- 11. Networking -- 12. Linked lists -- 13. Priority queues -- 14. Refactoring -- 15. Recursion -- 16. Trees -- 17. Regular expressions and context-free parsers -- 18. Binary heaps -- 19. Direct access binary files -- 20. Spatial trees -- 21. Augmenting trees -- 22. Hash tables.
Record Nr.	UNINA-9910162856603321

Autore	Blaha Michael
Edizione	[1st edition]
Pubbl/distr/stampa	Boca Raton, Fla. : , : CRC Press, , 2010
Descrizione fisica	1 online resource (262 p.)
Disciplina	005.7/3
Collana	Emerging directions in database systems and applications
Soggetto topico	Databases Software patterns Data structures (Computer science)
Soggetto genere / forma	Electronic books.
ISBN	1-315-38013-7 1-138-40223-0 1-282-90292-X 9786612902925 1-4398-1990-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Front cover; Summary of Mathematical Templates; Summary of Antipatterns; Summary of Archetypes; Contents; Preface; Chapter 1: Introduction; Part I: Mathematical Templates; Chapter 2: Tree Template; Chapter 3: Directed Graph Template; Chapter 4: Undirected Graph Template; Chapter 5: Item Description Template; Chapter 6: Star Schema Template; Chapter 7: Summary of Templates; Part II: Antipatterns; Chapter 8: Universal Antipatterns; Chapter 9: Non-Data-Warehouse Antipatterns; Part III: Archetypes; Chapter 10: Archetypes; Part IV: Identity; Chapter 11: Identity; Part V: Canonical Models Chapter 12: Language TranslationChapter 13: Softcoded Values; Chapter 14: Generic Diagrams; Part VI: Relational Database Design; Chapter 16: Relational Database Design; Appendix A: Explanation of the UML Notation; Appendix B: Explanation of the IDEF1X Notation; Appendix C: Glossary; Back cover
Record Nr.	UNINA-9910459347503321

Autore	Doan AnHai
Edizione	[1st edition]
Pubbl/distr/stampa	Waltham, Mass., : Morgan Kaufmann, 2012
Descrizione fisica	1 online resource (521 p.)
Disciplina	005.7/3
Altri autori (Persone)	HalevyAlon IvesZachary G
Soggetto topico	Data integration (Computer science)
Soggetto genere / forma	Electronic books.
ISBN	1-280-85131-7 9786613711687 0-12-391479-5
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	pt. 1. Foundational data integration techniques -- pt. 2. Integration with extended data representations -- pt. 3. Novel integration architectures.
Record Nr.	UNINA-9910462087603321

Edizione	[1st ed. 1996.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996
Descrizione fisica	1 online resource (X, 558 p.)
Disciplina	005.7/3
Collana	Lecture Notes in Computer Science
Soggetto topico	Computers Software engineering Programming languages (Electronic computers) Theory of Computation Software Engineering Programming Languages, Compilers, Interpreters
ISBN	3-540-70642-9
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Seven years of COMPASS -- Inductively defined relations: A brief tutorial extended abstract -- On the role of category theory in the area of algebraic specifications -- Unification of theories: A challenge for computing science -- The larch shared language: Some open problems -- The lambda calculus as an abstract data type -- Unifying theories in different institutions -- Interchange format for inter-operability of tools and translation -- Experiments with partial evaluation domains for rewrite specifications -- Class-sort polymorphism in GLIDER -- Deontic concepts in the algebraic specification of dynamic systems: The permission case -- Reification — Changing viewpoint but preserving truth -- A category-based equational logic semantics to constraint programming -- Concurrent state transformations on abstract data types -- A view on implementing processes: Categories of circuits -- Combining algebraic and set-theoretic specifications -- Minimal term rewriting systems -- InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations -- Rewriting and reasoning with set-relations II: The non-ground case completeness -- Termination of curryfied rewrite systems -- Formal specifications and test: Correctness and oracle -- Behavioural equivalence, bisimulation, and minimal realisation -- Using limits of parchments to systematically construct institutions of partial algebras -- Behavioural specifications in type theory -- Swinging data types -- Context institutions -- Object-oriented functional programming and type reconstruction -- Moving between logical systems -- Modular algebraic specifications and the orientation of equations into rewrite rules -- A model for I/O in equational languages with don't care non-determinism -- Tool design for structuring mechanisms for algebraic specification languages with initial semantics.
Record Nr.	UNISA-996465666503316

Edizione	[1st ed. 1995.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995
Descrizione fisica	1 online resource (VIII, 532 p.)
Disciplina	005.7/3
Collana	Lecture Notes in Computer Science
Soggetto topico	Data structures (Computer science) Software engineering Programming languages (Electronic computers) Computer logic Data Structures and Information Theory Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs
ISBN	3-540-49198-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings -- Bulk types and query language design -- From abstract data types to logical frameworks -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics of the algebraic and logic programming language LPG -- Behavioural theories -- Equations for describing dynamic nets of communicating systems -- A lazy approach to partial algebras -- Transactions in object-oriented specifications -- Local specification of distributed families of sequential objects -- Dynamic abstract data types based on algebraic graph transformations -- Modular termination of term rewriting systems revisited -- Institutions for behaviour specification -- An algebraic semantics for the object specification language TROLL light -- Defining equations in terminal coalgebras -- Sort inheritance for order-sorted equational presentations -- Axiomatic specification of large information systems: Experiences and consequences -- An object-oriented airport: Specification and refinement in Maude -- Topological methods for algebraic specification -- A hierarchy of institutions separated by properties of parameterized abstract data types -- Dynamical behavior of object systems -- A theory-based topological notion of institution -- Typing abstract data types -- Multialgebras, power algebras and complete calculi of identities and inclusions -- Institutional frames -- Implementation of data structures in an imperative framework -- What is an Abstract Data Type, after all?.
Record Nr.	UNISA-996466118803316