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.
Automated software engineering
| Automated software engineering |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer Academic Publishers |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Expert systems (Computer science) Génie logiciel Systèmes experts (Informatique) Programari Programes d'ordinador |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1573-7535 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142662303321 |
| [Dordrecht], : Kluwer Academic Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logistics : 13th International Conference, ICCL 2022, Barcelona, Spain, September 21–23, 2022, Proceedings / / edited by Jesica de Armas, Helena Ramalhinho, Stefan Voß
| Computational Logistics : 13th International Conference, ICCL 2022, Barcelona, Spain, September 21–23, 2022, Proceedings / / edited by Jesica de Armas, Helena Ramalhinho, Stefan Voß |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (479 pages) |
| Disciplina | 658.7 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Technology - Sociological aspects
Information technology Information and Communication Technologies (ICT) Logística industrial Sistemes d'informació Programes d'ordinador |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031165795
3031165799 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Maritime and Port Logistics -- Hybrid Berth Allocation for Bulk Ports with Unavailability and Stock Level Constraints -- A self-adaptive hybrid search technique with its application to the quadratic semi-assignment, and berth allocation problems -- The Continuous Multi-port Berth Allocation Problem with Speed Optimization -- Optimization of a Ship-based Logistics System for Carbon Capture and Storage -- A Linear Time Algorithm for Optimal Quay Crane Scheduling -- Impact of Rubber-Tired Gantry Crane Dimension on Container Terminal Productivity -- Vehicle Routing and Urban Logistics -- Fleet Size Control in First-mile Ride-sharing Problem -- ILS-RVND algorithm for Multi-trip Pickup and Delivery Problem, with Split Loads, Profits and Multiple Time Windows -- The Biobjective Consistent Traveling Salesman Problem -- Optimized dispatch of fire and rescue resources -- Industrial waste collection optimization: a real-world case study in Northern Italy -- Solving a School Bus Routing Problem in Rural Areas: An Application in Brazil -- Hinterland intermodal transport routing as an added value tool for port community systems: a Colombian case study -- Integrated path planning and task assignment model for on-demand last-mile UAVbased delivery -- Dynamic Time Slot Pricing using Delivery Costs Approximations -- The Green Sequencing and Routing Problem -- The Long-haul Transportation Problem with Refueling Deviations and Time-dependent Travel Time -- The Dynamic Drone Scheduling Delivery Problem -- Integrating clustering methodologies and routing optimization algorithms for last-mile parcel delivery -- Warehousing and Location -- SLAPStack: A Simulation Framework and a Large-Scale Benchmark Use-Case for Autonomous Block Stacking Warehouses -- Locating hydrogen production in Norway under uncertainty -- Oblivious Stacking and MAX k-CUT for Circle Graphs -- How can a refrigerated warehouse be used to store energy? -- CrossLog: Automatic Mixed-Palletizing for Cross-Docking Logistics Centers -- Supply Chain and Production Management -- A framework on centralised to decentralised logistics control structures applied in two case studies -- Risk-Aware Procurement Optimization in a Global Technology Supply Chain -- Freight Costs Versus Service Level: Optimizing the Distribution of a Materials Trader -- Reference model for data-driven supply chain collaboration -- Heuristics for single-item dynamic lot-sizing with rework of internal returns -- A Carbon-Aware Planning Framework for Production Scheduling in Mining -- Multi-shift Worker Assignment Problem with a Heterogeneous Workforce in Semiautomated Electronics Production. |
| Record Nr. | UNINA-9910595055503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh
| Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh |
| Autore | Löh Clara |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (152 pages) |
| Disciplina | 005.1 |
| Collana | Surveys and Tutorials in the Applied Mathematical Sciences |
| Soggetto topico |
Automatic theorem proving - Computer programs
Demostració automàtica de teoremes Programes d'ordinador |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031146497
9783031146480 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910595451503321 |
Löh Clara
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh
| Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / / Clara Löh |
| Autore | Löh Clara |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (152 pages) |
| Disciplina | 005.1 |
| Collana | Surveys and Tutorials in the Applied Mathematical Sciences |
| Soggetto topico |
Automatic theorem proving - Computer programs
Demostració automàtica de teoremes Programes d'ordinador |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031146497
9783031146480 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996490345603316 |
|
Löh Clara
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Requirements engineering
| Requirements engineering |
| Pubbl/distr/stampa | London, : Springer-Verlag |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico |
Requirements engineering
Software engineering Computer software - Development Logiciels - Développement Génie logiciel Programari Programes d'ordinador |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1432-010X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138887403321 |
| London, : Springer-Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soft computing : a fusion of foundations, methodologies and applications
| Soft computing : a fusion of foundations, methodologies and applications |
| Pubbl/distr/stampa | Berlin : , : Springer, , 1997- |
| Descrizione fisica | 1 online resource |
| Disciplina | 006.3 |
| Soggetto topico |
Soft computing
Application software Fuzzy systems Neural networks (Computer science) Artificial intelligence Informatique douce Logiciels d'application Systèmes flous Réseaux neuronaux (Informatique) Intelligence artificielle Xarxes neuronals (Informàtica) Intel·ligència artificial Programes d'ordinador Informàtica tova |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques |
| ISSN | 1433-7479 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138872303321 |
| Berlin : , : Springer, , 1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software focus
| Software focus |
| Pubbl/distr/stampa | Chichester, West Sussex, UK, : John Wiley & Sons, 2000-2002 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Computer software
Software engineering Logiciels Génie logiciel Enginyeria d'ordinadors Programes d'ordinador |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1529-7950 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555062803321 |
| Chichester, West Sussex, UK, : John Wiley & Sons, 2000-2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software quality journal
| Software quality journal |
| Pubbl/distr/stampa | [Andover, Hants, United Kingdom], : Chapman & Hall |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Quality control
Logiciels - Qualité - Contrôle Computers Programes d'ordinador Control de qualitat |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1573-1367 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142368603321 |
| [Andover, Hants, United Kingdom], : Chapman & Hall | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Text and Math Into LaTeX / / by George Gratzer
| Text and Math Into LaTeX / / by George Gratzer |
| Autore | Gratzer George A. |
| Edizione | [6th ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (628 pages) |
| Disciplina | 686.22544536 |
| Soggetto topico |
Computer software
Coding theory Information theory Computer science - Mathematics Mathematical Software Coding and Information Theory Mathematical Applications in Computer Science Programes d'ordinador Matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 9783031552816 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Short Contents -- Contents -- Foreword -- Preface to the Sixth Edition -- Introduction -- What's this book about? -- A quick overview of this book. -- What is document markup? -- The three layers -- The three platforms -- An outline of the book -- Mission statement -- Conventions -- PART I Mission Impossible -- CHAPTER 1 Short course -- 1.1 Getting started -- 1.1.1 Your LATEX -- 1.1.2 Sample files -- 1.1.3 Editing cycle -- 1.1.4 Typing the source file -- 1.2 The keyboard -- 1.3 Your first text note -- 1.4 Lines too wide -- 1.5 A note with formulas -- 1.6 The building blocks of a formula -- 1.7 Displayed formulas -- 1.7.1 Equations -- 1.7.2 Symbolic referencing -- 1.7.3 Aligned formulas -- 1.7.4 Cases -- 1.8 The anatomy of a document -- 1.9 Your own commands -- 1.10 Adding an illustration -- 1.11 The anatomy of a presentation -- CHAPTER 2 And one more thing -- 2.1 Structure -- 2.2 Auxiliary files -- 2.3 Logical and visual design -- 2.4 General error messages -- 2.5 Errors in math -- 2.6 Your errors: Davey's Dos and Don'ts -- PART II Text into LATEX -- CHAPTER 3 Typing text -- 3.1 The keyboard -- 3.1.1 Basic keys -- 3.1.2 Special keys -- 3.1.3 Prohibited keys -- 3.2 Words, sentences, and paragraphs -- 3.2.1 Spacing rules -- 3.2.2 Periods -- 3.3 Commanding LATEX -- 3.3.1 Commands and environments -- 3.3.2 Scope -- 3.3.3 Types of commands -- 3.4 Symbols not on the keyboard -- 3.4.1 Quotation marks -- 3.4.2 Dashes -- 3.4.3 Ties or nonbreakable spaces -- 3.4.4 Special characters -- 3.4.5 Ellipses -- 3.4.6 Ligatures -- 3.4.7 Accents and symbols in text -- 3.4.8 Logos and dates -- 3.4.9 Hyphenation -- 3.5 Comments and footnotes -- 3.5.1 Comments -- 3.5.2 Footnotes -- 3.6 Lines, paragraphs, and pages -- 3.6.1 Lines -- 3.6.2 Paragraphs -- 3.6.3 Pages -- 3.6.4 Multicolumn printing -- 3.7 Spaces -- 3.7.1 Horizontal spaces -- 3.7.2 Vertical spaces.
3.7.3 Relative spaces -- 3.7.4 Expanding spaces -- 3.8 Boxes -- 3.8.1 Line boxes -- 3.8.2 Frame boxes -- 3.8.3 Paragraph boxes -- 3.8.4 Marginal comments -- 3.8.5 Solid boxes -- 3.8.6 Fine tuning boxes -- CHAPTER 4 Text environments -- 4.1 Some general rules -- 4.2 List environments -- 4.2.1 Numbered lists -- 4.2.2 Bulleted lists -- 4.2.3 Captioned lists -- 4.2.4 A rule and combinations -- 4.3 Style and size environments -- 4.4 Proclamations (theorem-like structures) -- 4.4.1 The full syntax -- 4.4.2 Proclamations with style -- 4.5 Proof environments -- 4.6 Tabular environments -- 4.6.1 Table styles -- 4.7 Tabbing environments -- 4.8 Miscellaneous displayed text environments -- PART III Fonts for text and math -- CHAPTER 5 Font basics -- 5.1 Shape, size, serif -- 5.2 Document font families -- 5.3 Shape commands -- 5.3.1 Italic corrections -- 5.3.2 Series -- 5.4 Size changes -- 5.5 Orthogonality -- 5.6 Obsolete two-letter commands -- CHAPTER 6 Font encoding -- 6.1 OT1, T1, . . . -- 6.2 Low-level commands -- 6.3 PostScript fonts -- The Times font and MathTime -- Lucida Bright fonts -- 6.4 LATEX localized -- PART IV Math into LATEX -- CHAPTER 7 Typing math -- 7.1 Math environments -- 7.2 Spacing rules -- 7.3 Equations -- 7.4 Basic constructs -- 7.4.1 Arithmetic operations -- 7.4.2 Binomial coefficients -- 7.4.3 Ellipses -- 7.4.4 Integrals -- 7.4.5 Roots -- 7.4.6 Text in math -- 7.4.7 Hebrew and Greek letters -- 7.5 Delimiters -- 7.5.1 Stretching delimiters -- 7.5.2 Delimiters that do not stretch -- 7.5.3 Limitations of stretching -- 7.5.4 Delimiters as binary relations -- 7.6 Operators -- 7.6.1 Operator tables -- 7.6.2 Congruences -- 7.6.3 Large operators -- 7.6.4 Multiline subscripts and superscripts -- 7.7 Math accents -- 7.8 Stretchable horizontal lines -- 7.8.1 Horizontal braces -- 7.8.2 Overlines and underlines. 7.8.3 Stretchable arrow math symbols -- 7.9 Building a formula step-by-step -- 7.10 Formula Gallery -- CHAPTER 8 More math -- 8.1 Spacing of symbols -- 8.1.1 Classification -- 8.1.2 Three exceptions -- 8.1.3 Spacing commands -- 8.1.4 Examples -- 8.1.5 The phantom command -- 8.2 The STIX math symbols -- Swinging it -- The STIX project -- Installation and usage -- 8.3 Building new symbols -- 8.3.1 Stacking symbols -- 8.3.2 Negating and side-setting symbols -- 8.3.3 Changing the type of a symbol -- 8.4 Math alphabets and symbols -- 8.4.1 Math alphabets -- 8.4.2 Math symbol alphabets -- 8.4.3 Bold math symbols -- 8.4.4 Size changes -- 8.4.5 Continued fractions -- 8.5 Vertical spacing -- 8.6 Tagging and grouping -- 8.7 Miscellaneous -- Generalized fractions -- Boxed formulas -- CHAPTER 9 Multiline math displays -- 9.1 Visual Guide -- 9.1.1 Columns -- 9.1.2 Subsidiary math environments -- 9.1.3 Adjusted columns -- 9.1.4 Aligned columns -- 9.1.5 Touring the Visual Guide -- 9.2 Gathering formulas -- 9.3 Splitting long formulas -- 9.4 Some general rules -- 9.4.1 General rules -- 9.4.2 Subformula rules -- 9.4.3 Breaking and aligning formulas -- 9.4.4 Numbering groups of formulas -- 9.5 Aligned columns -- 9.5.1 An align variant -- 9.5.2 eqnarray, the ancestor of align -- 9.5.3 The subformula rule revisited -- 9.5.4 The alignat environment -- 9.5.5 Inserting text -- 9.6 Aligned subsidiary math environments -- 9.6.1 Subsidiary variants -- 9.6.2 Split -- 9.7 Adjusted columns -- 9.7.1 Matrices -- 9.7.2 Arrays -- 9.7.3 Cases -- 9.8 Commutative diagrams -- 9.9 Adjusting the display -- PART V Document Structure -- CHAPTER 10 Documents -- 10.1 The structure of a document -- 10.2 The preamble -- 10.3 Top matter -- Abstract -- 10.4 Main matter -- 10.4.1 Sectioning -- 10.4.2 Cross-referencing -- 10.4.3 Floating tables and illustrations -- 10.5 Back matter. 10.5.1 Bibliographies in articles -- 10.5.2 Simple indexes -- 10.6 Visual design -- CHAPTER 11 The AMS article document class -- 11.1 Why amsart? -- 11.1.1 Submitting an article to the AMS -- 11.1.2 Submitting an article to Algebra Universalis -- 11.1.3 Submitting to other journals -- 11.1.4 Submitting to conference proceedings -- 11.2 The top matter -- 11.2.1 Article information -- 11.2.2 Author information -- 11.2.3 AMS information -- 11.2.4 Multiple authors -- 11.2.5 Examples -- 11.2.6 Abstract -- 11.3 The sample article -- 11.4 Article templates -- 11.5 Options -- 11.6 The AMS packages -- 11.7 Legacy documents -- PART VI PDF Documents -- CHAPTER 12 Hyperlinks -- 12.1 Hyperlinks for LATEX -- 12.1.1 Hyperlinks -- 12.1.2 Using -- 12.1.3 backref and colorlinks -- 12.1.4 Bookmarks -- 12.1.5 Additional commands -- 12.2 Line numbers -- CHAPTER 13 Presentations -- 13.1 Quick and dirty -- 1. First changes -- 2. Changes in the body -- 3. Improving the presentation -- 4. Adjusting the navigation -- 13.2 Baby beamers -- 13.2.1 Overlays -- 13.2.2 Understanding overlays -- 13.2.3 More on the \only and \onslide commands -- 13.2.4 Lists as overlays -- 13.2.5 Out-of-sequence slides -- 13.2.6 Blocks and slides -- 13.2.7 Links -- 13.2.8 Columns -- 13.2.9 Coloring -- 13.3 The structure of a presentation -- 13.3.1 Longer presentations -- 13.3.2 Navigation symbols -- 13.4 Notes -- 13.5 Themes -- 13.6 Planning your presentation -- 13.7 What did I leave out? -- CHAPTER 14 Illustrations -- 14.1 First steps: objects on the page -- 14.1.1 Straight lines -- 14.1.2 Parameters for lines -- 14.1.3 Circles, ellipses, dots, and parts thereof -- 14.1.4 The next step: curved lines between points -- 14.1.5 A few more predefined objects -- 14.2 Some tools of the trade -- 14.2.1 Transformations -- 14.2.2 A little repetition -- 14.2.3 Adding some color. 14.3 Next Step: text and labels on the page -- 14.3.1 Labels, labels everywhere -- 14.3.2 Larger blocks of text -- 14.3.3 Let TikZ do the computations -- 14.4 Graphs of functions and presentations of data -- 14.5 A little planning goes a long way -- 14.5.1 An interesting example -- 14.6 Conclusions -- 14.6.1 TikZ manual -- 14.6.2 Vector graphics -- PART VII Customization -- CHAPTER 15 Commands and environments -- 15.1 Custom commands -- 15.1.1 Examples and rules -- 15.1.2 Arguments -- 15.1.3 Short arguments -- 15.1.4 Optional arguments -- 15.1.5 Redefining commands -- 15.1.6 Defining operators -- 15.1.7 Redefining names -- 15.1.8 Showing the definitions of commands -- 15.1.9 Delimited commands -- 15.2 Custom environments -- 15.2.1 Modifying existing environments -- 15.2.2 Arguments -- 15.2.3 Optional arguments with default values -- 15.2.4 Short contents -- 15.2.5 Brand-new environments -- 15.3 A custom command file -- 15.4 The sample article with custom commands -- 15.5 Numbering and measuring -- 15.5.1 Counters -- 15.5.2 Length commands -- 15.6 Custom lists -- 15.6.1 Length commands for the list environment -- 15.6.2 The list environment -- 15.6.3 Two complete examples -- 15.6.4 The The trivlist environment -- 15.7 The dangers of customization -- PART VIII Long Documents -- CHAPTER 16 BIBTEX -- 16.1 The database -- 16.1.1 Entry types -- 16.1.2 Typing fields -- 16.1.3 Articles -- 16.1.4 Books -- 16.1.5 Conference proceedings and collections -- 16.1.6 Theses -- 16.1.7 Technical reports -- 16.1.8 Manuscripts and other entry types -- 16.1.9 Abbreviations -- 16.2 Using BIBTEX -- 16.2.1 Sample files -- 16.2.2 Setup -- 16.2.3 Four steps of BIBTEXing -- 16.2.4 BIBTEX files -- 16.2.5 BIBTEX rules and messages -- 16.2.6 Submitting an article -- 16.2.7 Some resources -- CHAPTER 17 Beyond BIBTEX -- 17.1 BibLATEX -- 17.1.1 Introduction. 17.1.2 BibLATEX overview. |
| Record Nr. | UNINA-9910851998603321 |
|
Gratzer George A.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
