Info
Advanced Relational Programming / by Filippo Cacace and Gianfranco Lamperti
| Advanced Relational Programming / by Filippo Cacace and Gianfranco Lamperti |
| Autore | Cacace, Filippo |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1996 |
| Descrizione fisica | xvi, 398 p. ; 24 cm |
| Altri autori (Persone) | Lamperti, Gianfranco |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N15 - Theory of programming languages [MSC 2020] 68P15 - Database theory [MSC 2020] |
| Soggetto non controllato |
Database
Database programming Developments Languages Programming Programming languages Relational database Software Software engineering |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296263 |
Cacace, Filippo
|
||
| Dordrecht, : Springer, : Kluwer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
APL2 in Depth / Norman D. Thomson, Raymond P. Polivka
| APL2 in Depth / Norman D. Thomson, Raymond P. Polivka |
| Autore | Thomson, Norman D. |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, 1995 |
| Descrizione fisica | xiv, 264 p. : ill. ; 24 cm |
| Altri autori (Persone) | Polivka, Raymond P. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N15 - Theory of programming languages [MSC 2020] |
| Soggetto non controllato |
Algorithms
C programming language Data structures Design Language Modeling Networks Scala Selection Software Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00294880 |
|
Thomson, Norman D.
|
||
| New York [etc.], : Springer-Verlag, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Artificial intelligence : concepts, methodologies, tools, and applications / / Information Resources Management Association, editor
| Artificial intelligence : concepts, methodologies, tools, and applications / / Information Resources Management Association, editor |
| Pubbl/distr/stampa | Hershey, Pennsylvania : , : Information Science Reference, , 2017 |
| Descrizione fisica | PDFs (3,048 pages) : illustrations |
| Disciplina | 006.3 |
| Soggetto topico | Artificial intelligence - Industrial applications |
| Soggetto non controllato |
Ethics and social issues
Intelligent information systems Machine learning Natural language processing Problem solving techniques Robotics Software engineering Web technologies |
| ISBN |
9781522517603
9781522517597 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamental concepts and theories -- Development and design methodologies -- Tools and technologies -- Utilization and application -- Organizational and social implications -- Managerial impacts. |
| Record Nr. | UNINA-9910156177603321 |
| Hershey, Pennsylvania : , : Information Science Reference, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Current Trends in Web Engineering [[electronic resource] ] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / / edited by Andreas Harth, Nora Koch
| Current Trends in Web Engineering [[electronic resource] ] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / / edited by Andreas Harth, Nora Koch |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXXII, 361 p. 119 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Computer communication systems Computers Software engineering Management information systems Computer science Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Information Systems and Communication Service Software Engineering Management of Computing and Information Systems |
| Soggetto genere / forma | Conference papers and proceedings. |
| Soggetto non controllato |
Computer science
Computer Communication Networks Software engineering Information systems Information storage and retrieval systems Information Systems Applications (incl. Internet) Information Storage and Retrieval Information Systems and Communication Service Management of Computing and Information Systems |
| ISBN | 3-642-27997-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An evaluation of mashup tools based on support for heterogeneous mashup components / Saeed Aghaee, Cesare Pautasso -- An approach to construct dynamic service mashups using lightweight semantics / Dong Liu [and others] -- Task-Based recommendation of mashup components / Vincent Tietz [and others] -- Integration of telco services into enterprise mashup applications / Olexiy Chudnovskyy [and others] -- Orchestrated user interface mashups using w3c widgets / Scott Wilson [and others] -- Cross-Domain embedding for vaadin applications / Janne Lautamaki, Tommi Mikkonen -- Web linking-based protocols for guiding restful m2m interaction / Jesus Bellido, Rosa Alarcon, Cristian Sepulveda -- Batched transactions for restful web services / Sebastian Kochman, Pawel T. Wojciechowski, Milosz Kmieciak -- Secure mashup-providing platforms -- implementing encrypted wiring / Matthias Herbert [and others] -- A conceptual framework for linked data exploration / Alessandro Bozzon [and others] -- Support for reusable explorations of linked data in the semantic web / Marcelo Cohen, Daniel Schwabe -- Generation of semantic clouds based on linked data for efficient multimedia semantic annotation / Han-Gyu Ko, In-Young Ko -- Ontology based segmentation of geo-referenced queries / Mamoun Abu Helou -- SimSpectrum: a similarity based spectral clustering approach to generate a tag cloud / Frederico Durao [and others] -- Graph access pattern diagrams (GAP-D): towards a unified approach for modeling navigation over hierarchical, linear and networked structures / Matthias Keller, Martin Nussbaumer -- Data-Driven and user-driven multidimensional data visualization / Rober Morales-Chaparro, Juan C. Preciado, Fernando Sanchez-Figueroa -- Context-Aware and adaptive web interfaces: a crowdsourcing approach / Michael Nebeling, Moira C. Norrie -- Massive multiplayer human computation for fun, money, and survival / Lukas Biewald -- Enterprise crowdsourcing solution for software development in an outsourcing organization / Ranganathan Jayakanthan, Deepak Sundararajan -- A model-driven framework for developing web service oriented applications / Achilleas Achilleos, Georgia M. Kapitsaki, George A. Papadopoulos -- Developing enterprise web applications using the story driven modeling approach / Christoph Eickhoff [and others] -- Aspect-Oriented modeling of web applications with HiLA / Gefei Zhang, Matthias Holzl -- Model-Driven web form validation with UML and OCL / Eban Escott [and others] -- Modernization of legacy web applications into rich internet applications / Roberto Rodriguez-Echeverria [and others] -- Quality models for web [2.0] sites: a methodological approach and a proposal / Roberto Polillo -- Exploring the quality in use of web 2.0 applications: the case of mind mapping services / Tihomir Orehovacki, Andrina Granic, Dragutin Kermek -- Detecting conflicts and inconsistencies in web application requirements / Matias Urbieta [and others] -- Streamlining complexity: conceptual page re-modeling for rich internet applications / Andrea Pandurino [and others] -- A flexible graph-based data model supporting incremental schema design and evolution / Katrin Braunschweig, Maik Thiele, Wolfgang Lehner -- ProLD: propagate linked data / Peter Kalchgruber -- Casual relation detection for activities from heterogeneous sources / Philipp Katz, Alexander Schill -- XML document versioning, revalidation and constraints / Jakub Maly, Martin Necasky -- A reuse-oriented product-line method for enterprise web applications / Neil Mather, Samia Oussena -- A flexible architecture for client-side adaptation / Sergio Firmenich [and others] -- Applications of mobile application interface description language MAIDL / Prach Chaisatien, Korawit Prutsachainimmit, Takehiro Tokuda -- A domain-specific language for do-it-yourself analytical mashups / Julian Eberius, Maik Thiele, Wolfgang Lehner -- Information extraction from web pages based on their visual representation / Ruslan R. Fayzrakhmanov -- End-User programming for web mashups: open research challenges / Saeed Aghaee, Cesare Pautasso -- Multi-dimensional context-aware adaptation for web applications / Vivian Genaro Motti, Jean Vanderdonckt -- Engineering the personal social semantic web / Fabian Abel, Geert-Jan Houben -- Automating the use of web APIs through lightweight semantics / Maria Maleshkova [and others] -- Improving quality in use of web applications in a systematic way / Philip Lew, Juis Olsina. |
| Record Nr. | UNISA-996465689903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Finite difference computing with exponential decay models / Hans Petter Langtangen
| Finite difference computing with exponential decay models / Hans Petter Langtangen |
| Autore | Langtangen, Hans P. |
| Pubbl/distr/stampa | Cham, : Springer Open, 2016 |
| Descrizione fisica | XIV, 200 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 34-XX - Ordinary differential equations [MSC 2020] |
| Soggetto non controllato |
Exponential decay models
Finite-difference methods Ordinary differential equations Python programming Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114771 |
|
Langtangen, Hans P.
|
||
| Cham, : Springer Open, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite difference computing with exponential decay models / Hans Petter Langtangen
| Finite difference computing with exponential decay models / Hans Petter Langtangen |
| Autore | Langtangen, Hans P. |
| Pubbl/distr/stampa | Cham, : Springer Open, 2016 |
| Descrizione fisica | XIV, 200 p. : ill. ; 24 cm |
| Soggetto topico |
34-XX - Ordinary differential equations [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Exponential decay models
Finite-difference methods Ordinary Differential Equations Python programming Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114771 |
|
Langtangen, Hans P.
|
||
| Cham, : Springer Open, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke
| The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke |
| Autore | Goericke Stephan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XXI, 257 p. 58 illus., 47 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems |
| Soggetto non controllato |
Computer science
Software engineering Management information systems |
| ISBN | 3-030-29509-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910366656203321 |
|
Goericke Stephan
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke
| The Future of Software Quality Assurance [[electronic resource] /] / edited by Stephan Goericke |
| Autore | Goericke Stephan |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XXI, 257 p. 58 illus., 47 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems |
| Soggetto non controllato |
Computer science
Software engineering Management information systems |
| ISBN | 3-030-29509-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465465103316 |
|
Goericke Stephan
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Managed Software Evolution [[electronic resource] /] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
| Managed Software Evolution [[electronic resource] /] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin |
| Autore | Reussner Ralf |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XXII, 426 p. 160 illus., 79 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Computers Software Engineering Software Management Management of Computing and Information Systems Theory of Computation |
| Soggetto non controllato |
Computer science
Software engineering Management information systems Computers |
| ISBN | 3-030-13499-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introducing Managed Software Evolution -- 2 The Nature of Software Evolution -- 3 Addressed Challenges -- 4 Introduction to Case Studies -- 5 Tacit Knowledge in Software Evolution -- 6 Continuous Design Decision Support -- 7 Model-based Round-Trip Engineering and Testing of Evolving Software Product Lines -- 8 Performance Analysis Strategies for Software Variants and Versions -- 9 Maintaining Security in Software Evolution -- 10 Learning from Evolution for Evolution -- 11 Formal Verication of Evolutionary Changes -- 12 Case Studies for the Community -- 13 Lessons Learned -- 14 Future Research. |
| Record Nr. | UNINA-9910337857603321 |
|
Reussner Ralf
|
||
| Cham, : Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
MultiBody System SIMulation : Numerical Methods, Algorithms, and Software / Reinhold von Schwerin
| MultiBody System SIMulation : Numerical Methods, Algorithms, and Software / Reinhold von Schwerin |
| Autore | Schwerin, Reinhold von |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 1999 |
| Descrizione fisica | xx, 338 p. : ill. ; 24 cm |
| Soggetto non controllato |
Algorithms
Analysis Complex Systems Complexity Design Modeling Numerical methods Optimization Programming Quality assurance Scientific Computing Simulation Software engineering Topology Visualization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00299800 |
|
Schwerin, Reinhold von
|
||
| Berlin ; Heidelberg, : Springer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
