ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (131)
  • 2015-2019  (79)
  • 2005-2009  (50)
  • 1985-1989  (2)
  • Computer Science  (131)
Collection
Source
Keywords
Publisher
Language
Years
Year
Topic
  • 1
    Unknown
    Finite Element Method : Simulation, Numerical Analysis and Solution Techniques (2018)
    Rijeka : InTech
    Details
    Keywords: FEM ; Finite Element Method ; simulation
    Description / Table of Contents: Chapter 1: FEM Analysis of Mechanical and Structural Properties of Long Fiber-Reinforced Composites by Michal Petrů and Ondřej Novák --- Chapter 2: Finite Element Dynamic Analysis on Residual Stress Distribution of Titanium Alloy and Titanium Matrix Composite after Shot Peening Treatment by Lechun Xie, Zhou Wang, Chengxi Wang, Yan Wen, Liqiang Wang, Chuanhai Jiang, Weijie Lu, Lai-Chang Zhang and Lin Hua --- Chapter 3: Multiscale Wavelet Finite Element Analysis in Structural Dynamics by Mutinda Musuva and Cristinel Mares --- Chapter 4: Numerical Analysis of Hot Polymer-Coated Steel Pipeline Joints in Bending by Finian McCann, Guido Ridolfi, Erwan Karjadi, Harm Demmink and Helen Boyd --- Chapter 5: Application of Finite Element Analysis in Multiscale Metal Forming Process by Zhengyi Jiang and Haibo Xie --- Chapter 6: Finite Element Thermal Analysis of Metal Parts Additively Manufactured via Selective Laser Melting by Dario Pitassi, Enrico Savoia, Vigilio Fontanari, Alberto Molinari, Valerio Luchin, Gianluca Zappini and Matteo Benedetti --- Chapter 7: Adaptive Modeling and Simulation of Elastic, Dielectric and Piezoelectric Problems by Grzegorz Zboiński --- Chapter 8: Vibration Simulation of Electric Machines by Marcel Janda and Kristyna Jandova --- Chapter 9: Numerically and Analytically Forecasting the Coal Burst Using Energy Based Approach Methods by Faham Tahmasebinia, Chengguo Zhang, Ismet Canbulat, Onur Vardar and Serkan Saydam --- Chapter 10: Linear Thermo-Poroelasticity and Geomechanics by Horacio Florez --- Chapter 11: Numerical Analysis of the Incompressible Fluid Flow and Heat Transfer by Toshio Tagawa --- Chapter 12: Numerical Simulation of Wave (Shock Profile) Propagation of the Kuramoto-Sivashinsky Equation Using an Adaptive Mesh Method by Denson Muzadziwa, Stephen T. Sikwila and Stanford Shateyi --- Chapter 13: Numerical Analysis on the Simulated Heavy Rainfall Event of Tropical Cyclone Fung-Wong by Lei-Ming Ma and Xu-Wei Bao --- Chapter 14: Weighted Finite-Element Method for Elasticity Problems with Singularity by Viktor Anatolievich Rukavishnikov and Elena Ivanovna Rukavishnikova
    Pages: Online-Ressource (322 Seiten)
    ISBN: 9789535138501
    URL: https://www.intechopen.com/books/finite-element-method-simulation-numerical-analysis-and-solution-techniques
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Digitalisierung : Bildung / Technik / Innovation (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Pages: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-52854-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Digitale Souveränität : Bürger / Unternehmen / Staat (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Pages: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55796-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Intelligent Human Computer Interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Special purpose computers ; Database management ; User interfaces (Computer systems) ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics) ; User Interfaces and Human Computer Interaction ; Database Management ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Can Machines Design? Optimizing User Interfaces for Human Performance --- Geometrical Shapes Rendering on a Dot-Matrix Display --- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM --- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques --- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach --- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment --- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) --- List Navigation Using Edge Menu --- Simplexity and Vicariance. On Human Cognition Principles for Man-Machine Interaction --- Design Considerations for Self-paced Interactive Notes on Video Lectures - A Learner's Perspective and Enhancements of Learning Outcome --- Using Psycholinguistic Features for the Classification of Comprehenders from Summary Speech Transcripts --- Lector: Towards Reengaging Students in the Educational Process Inside Smart Classrooms --- Predicting Driver's Work Performance in Driving Simulator Based on Physiological Indices --- Interpersonal Human-Human and Human-Robot Interactions --- Exploring the Dynamics of Relationships Between Expressed and Experienced Emotions --- Standard Co-training in Multiword Expression Detection --- Comparative Study on Normalization in Emotion Recognition from Speech --- Detecting Vigilance in People Performing Continual Monitoring Task
    Pages: Online-Ressource (XVIII, 216 pages) , 78 illustrations
    ISBN: 9783319720388
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-72038-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    The Huawei and Snowden Questions : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Computer engineering ; Economic policy ; Computer Science ; Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy
    Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward
    Pages: Online-Ressource (XIV, 116 pages) , 6 illustrations, 5 illustrations in color
    ISBN: 9783319749501
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74950-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Language Technologies for the Challenges of the Digital Age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Data mining ; Artificial intelligence ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Document Preparation and Text Processing ; Artificial Intelligence (incl. Robotics) ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Reconstruction of Separable Particle Verbs in a Corpus of Spoken German --- Detecting Vocal Irony --- The Devil is in the Details: Parsing Unknown German Words --- Exploring Ensemble Dependency Parsing to Reduce Manual Annotation Workload --- Different German and English Co-reference Resolution Models for Multi-Domain Content Curation Scenarios --- Word and Sentence Segmentation in German: Overcoming Idiosyncrasies in the Use of Punctuation in Private Communication --- Fine-Grained POS Tagging of German Social Media and Web Texts --- Developing a Stemmer for German Based on a Comparative Analysis of Publicly Available Stemmers --- Negation Modeling for German Polarity Classification --- NECKAr: A Named Entity Classifier for Wikidata --- Investigating the Morphological Complexity of German Named Entities: The Case of the GermEval NER Challenge --- Detecting Named Entities and Relations in German Clinical Reports --- In-Memory Distributed Training of Linear-Chain Conditional Random Fields with an Application to Fine-Grained Named Entity Recognition --- What does this imply? Examining the Impact of Implicitness on the Perception of Hate Speech --- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication --- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource --- How Social Media Text Analysis Can Inform Disaster Management --- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks --- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena --- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors --- Twitter Geolocation Prediction Using Neural Networks --- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy --- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems --- Supporting Sustainable Process Documentation --- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information --- Using Argumentative Structure to Grade Persuasive Essays
    Pages: Online-Ressource (XIII, 310 pages) , 54 illustrations
    ISBN: 9783319737065
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73706-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Pages: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69953-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Data structures (Computer science) ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
    Pages: Online-Ressource (XX, 429 pages) , 93 illustrations
    ISBN: 9783319899602
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Data Encryption ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM
    Pages: Online-Ressource (XXVII, 392 pages) , 41 illustrations
    ISBN: 9781430265849
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6584-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Cracking Codes with Python : An Introduction to Building and Breaking Ciphers (2018)
    San Francisco, CA : No Starch Press
    Details
    Keywords: Python ; programming
    Description / Table of Contents: Introduction --- Chapter 1 - Making Paper Cryptography Tools --- Chapter 2 -Programming in the Interactive Shell --- Chapter 3 - Strings and Writing Programs --- Chapter 4 - The Reverse Cipher --- Chapter 5 - The Caesar Cipher --- Chapter 6 - Hacking the Caesar Cipher with Brute-Force --- Chapter 7 - Encrypting with the Transposition Cipher --- Chapter 8 - Decrypting with the Transposition Cipher --- Chapter 9 - Programming a Program to Test Your Program --- Chapter 10 - Encrypting and Decrypting Files --- Chapter 11 - Detecting English Programmatically --- Chapter 12 - Hacking the Transposition Cipher --- Chapter 13 - A Modular Arithmetic Module for the Affine Cipher --- Chapter 14 - Programming the Affine Cipher --- Chapter 15 - Hacking the Affine Cipher --- Chapter 16 - Programming the Simple Substitution Cipher --- Chapter 17 - Hacking the Simple Substitution Cipher --- Chapter 18 - Programming the Vigenere Cipher --- Chapter 19 - Frequency Analysis --- Chapter 20 - Hacking the Vigenere Cipher --- Chapter 21 - The One-Time Pad Cipher --- Chapter 22 - Finding and Generating Prime Numbers --- Chapter 23 - Generating Keys for the Public Key Cipher --- Chapter 24 - Programming the Public Key Cipher
    Pages: Online-Ressource (416 Seiten) , Illustrationen, Diagramme
    Edition: 2nd edition
    ISBN: 9781593278229
    URL: https://inventwithpython.com/cracking/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    C von A bis Z : das umfassende Handbuch (2009)
    Bonn : Galileo Press
    Details
    Keywords: C ; ANSI C
    Description / Table of Contents: Hier bekommen Sie C-Wissen pur. Egal, ob Sie gerade anfangen, C zu lernen oder ein kompetentes Nachschlagewerk für Fragen rund um C benötigen, mit diesem Buch sind Sie bestens beraten. Ausführlich werden die Grundlagen von C dargestellt, angefangen von den elementaren Datentypen bis hin zu Arrays, Zeigern und dynamischer Speicherverwaltung. Auch fortgeschrittene Themen wie das Programmieren von Webanwendungen mit der CGI-Schnittstelle und eigenen Datenbank-Clients mit der C-API von MySQL, Netzwerk- und Cross-Plattform-Entwicklung kommen nicht zu kurz.
    Pages: Online-Ressource (1190 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 9783836214117
    URL: http://openbook.galileocomputing.de/c_von_a_bis_z/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    PHP PEAR : Anwendung und Entwicklung - Erweiterungen für PHP schreiben (2005)
    Bonn : Galileo Press
    Details
    Keywords: PHP ; PEAR ; PECL
    Description / Table of Contents: Wer PHP effizient einsetzen will, sollte die umfangreichen Erweiterungen von PEAR nutzen. Dabei ist PEAR mehr als nur eine einfache Bibliothek. Vergleichbar dem CPAN-Projekt für Perl bietet PEAR zahlreiche Bibliotheken und nützliche Hilfsmittel für PHP-Entwickler, die sich dank des PEAR-Installers auf einfache Weise in bestehende PHP-Installationen integrieren lassen. So lassen sich Entwicklungprozesse erheblich verkürzen. Ein Hindernis stellten bisher lediglich die unzureichnenden Dokumentationen dar. Das Buch von Carsten Möhrke schafft Abhilfe. Es führt in die Nutzung ein, beschreibt ausführlich die Installation und alle wichtigen PEAR- und PECL-Pakete. Auch die Entwicklung eigener Pakete für das Archiv wird beschrieben.
    Pages: Online-Ressource (798 Seiten)
    Edition: 1. Aufl.
    ISBN: 3898425800
    URL: http://openbook.galileocomputing.de/php_pear/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Rails Kochbuch : rapid Web development mit Rails 1.2 (2007)
    Beijing : O'Reilly
    Details
    Keywords: Ruby on Rails
    Pages: Online-Ressource (545 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897217140
    URL: http://www.oreilly.de/german/freebooks/railsckbkger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    Unknown
    Sicherheit im Internet (2007)
    Beijing : O'Reilly
    Details
    Keywords: Internet ; Kryptoanalyse ; Computersicherheit ; Datensicherung ; Firewall ; Electronic Banking ; Passwort ; Zugriffskontrolle
    Pages: Online-Ressource (349 Seiten)
    Edition: 3. Aufl.
    ISBN: 9783897217157
    URL: http://www.oreilly.de/german/freebooks/sii3ger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Scribus 1.2 kompakt : das offizielle Anwenderhandbuch (2005)
    Saarbrücken : Bomots
    Details
    Keywords: Scribus
    Pages: Online-Ressource (118 Seiten)
    Edition: 2. Aufl.
    ISBN: 9783000143878
    URL: http://it-rezensionen.chip.de/openbooks/openbook/scribus-kompakt-bomots.html
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    LINUX-Firewalls : ein praktischer Einstieg (2006)
    Beijing : O'Reilly
    Details
    Keywords: Firewall ; SuSE LINUX 9.0 ; LINUX 2.6 ; Kernel ; Debian GNU/LINUX 3.1
    Pages: Online-Ressource (632 Seiten)
    Edition: 2. Aufl.
    ISBN: 3897214466
    URL: http://www.oreilly.de/german/freebooks/linuxfire2ger/toc.html
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Objektorientierte Programmierung : das umfassende Handbuch (2009)
    Bonn : Galileo Press
    Details
    Keywords: Objektorientierte Programmierung ; OOP ; C++ ; Java ; Ruby ; C# ; Aspektorientierung
    Description / Table of Contents: In diesem Buch finden Sie alles, was Sie brauchen, um sich in die objektorientierte Programmierung einzuarbeiten. Die beiden Autoren erläutern alle Prinzipien und ihre Umsetzung anschaulich und verständlich anhand einer Vielzahl typischer Beispiele. Als Sprachen werden C++, Java, Ruby, C# und PHP eingesetzt. Anhand eines größeren Projekts bekommen Sie zudem einmal von Anfang bis Ende gezeigt, wie Sie OOP konsequent realisieren können. Des Weiteren bietet das Buch eine Einführung in die aspektorientierte Programmierung.
    Pages: Online-Ressource (656 Seiten)
    Edition: 2., akt. und erw. Aufl.
    ISBN: 9783836214018
    URL: http://openbook.galileocomputing.de/oop/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    Unknown
    Shell-Programmierung : Einführung, Praxis, Referenz (2005)
    Bonn : Galileo Press
    Details
    Keywords: Shell ; Shellscript
    Description / Table of Contents: In den ersten zehn Kapiteln des Buches erfahren Sie alles, was Sie zur Shell-Programmierung wissen müssen. Weitere Kapitel gehen auf die unverzichtbaren Tools grep, sed und awk ein, die in Kombination (oder auch allein) mit der Shellscript-Programmierung zu wertvollen Helfern werden können.
    Pages: Online-Ressource (782 Seiten)
    Edition: 1. Aufl.
    ISBN: 3898426831
    URL: http://openbook.galileocomputing.de/shell_programmierung/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    Unknown
    Visual Basic 2005 : das umfassende Handbuch (2007)
    Bonn : Galileo Press
    Details
    Keywords: VisualBASIC 2005 ; ADO.NET 2.0
    Description / Table of Contents: In diesem Buch stellt Andreas Kühnel die .Net-basierte Programmierung mit Visual Basic 2005 in all ihren Facetten vor. Neben dem Framework und der Entwicklungsumgebung Visual Studio sowie der Sprachsyntax von Visual Basic geht er ausführlich auf die objektorientierte Programmierung ein, stellt häufig verwendete Programmtechniken vor und zeigt, wie man grafische Oberflächen entwickelt. Sein umfassendes Kompendium wird sowohl Umsteigern als auch Einsteigern gerecht.
    Pages: Online-Ressource (1233 Seiten)
    Edition: 2., akt. und erw. Aufl.
    ISBN: 3898425851
    URL: http://openbook.galileocomputing.de/visual_basic/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    Computational and numerical challenges in environmental modelling (2006)
    Amsterdam ; Boston : Elsevier
    Details
    Keywords: DDC 577.01/5118 ; LC TD170.2 ; Ecology - Mathematical models ; Environmental protection - Mathematical models ; Pollution - Mathematical models
    Pages: Online-Ressource (xviii, 373 pages)
    Edition: 1st ed
    ISBN: 9780444522092
    URL: http://www.sciencedirect.com/science/publication?issn=1570579X&volume=13
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Java ist auch eine Insel : Einführung, Ausbildung, Praxis (2016)
    Bonn : Rheinwerk Verlag
    Details
    Keywords: Java ; Java Version 8 ; JSE 8
    Description / Table of Contents: Unser Handbuch ist die erste Wahl, wenn es um aktuelles und praktisches Java-Wissen geht. Java-Einsteiger, Studenten und Umsteiger profitieren seit mehr als einem Jahrzehnt von diesem Lehrwerk. Neben der Behandlung der Sprachgrundlagen von Java (Neu in Java 8: Lambda-Ausdrücke) gibt es kompakte Einführungen in Spezialthemen. So erfahren Sie einiges über Threads, Swing, Netzwerkprogrammierung, NetBeans, RMI, XML und Java, Servlets und Java Server Pages. Dieses Buch gehört in das Regal eines jeden Java-Programmierers.
    Pages: Online-Ressource (1312 Seiten) , Illustrationen, Diagramme
    Edition: 12., akt. Aufl.
    ISBN: 9783836241199
    URL: http://openbook.rheinwerk-verlag.de/javainsel/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    Unknown
    Ruby on Rails 2 : das Entwickler-Handbuch (2008)
    Bonn : Galileo Press
    Details
    Keywords: Ruby on Rails 2.0
    Description / Table of Contents: Das erste deutsche Rails-Handbuch für Entwickler zur aktuellen Version 2! Hier werden die zahlreichen und komplexen Möglichkeiten des Frameworks ausführlich und verständlich gezeigt. Lesen Sie, wie Sie Rails installieren, wie Sie Ihre ersten Anwendungen erstellen und lernen Sie schließlich alle Module des Frameworks kennen. Das Buch bleibt stets praxisbezogen, da Rails anhand mehrerer »Realworld«-Beispiele erläutert wird. Alle Applikationen sind dabei systematisch aufgebaut, von einfachen bis hin zu komplexen Anwendungen. Für alle, die zum ersten Mal mit Ruby arbeiten, enthält das Buch außerdem eine umfassende Einführung in die Programmiersprache.
    Pages: Online-Ressource (699 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427791
    URL: http://openbook.galileocomputing.de/ruby_on_rails/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    Unknown
    Excel 2007 : das umfassende Handbuch (2007)
    Bonn : Galileo Press
    Details
    Keywords: EXCEL 2007
    Description / Table of Contents: Dieses Buch bietet Ihnen umfassendes Excel-Wissen für den beruflichen Alltag. Es ist gleichermaßen Schritt-für-Schritt-Anleitung und Nachschlagewerk sowie eine Fundgrube praktischer Tipps. Lösungsorientiert lernen Sie »on the job« die wichtigsten Funktionen des Programms.
    Pages: Online-Ressource (1012 Seiten)
    Edition: 3., erw. und akt. Aufl.
    ISBN: 9783898428644
    URL: http://openbook.galileocomputing.de/excel_2007/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    Unknown
    Python : das umfassende Handbuch - Aktuell zu Python 2.5 (2008)
    Bonn : Galileo Press
    Details
    Keywords: Python 2.5
    Description / Table of Contents: Dieses Buch bietet sowohl eine umfassende Einführung in die Sprache Python als auch viele weiterführende Kapitel zu fortgeschrittenen Themen wie GUI-Entwicklung, Web-Programmierung mit Django oder Netzwerkkommunikation. Nach der Lektüre sind Sie in der Lage, Python professionell einzusetzen. Die Einführung erfolgt systematisch vom ersten einfachen Programm bis hin zu komplexen objektorientierten Programmen. Das Buch ist konsequent praxisorientiert und zum Lernen und Nachschlagen hervorragend geeignet.
    Pages: Online-Ressource (819 Seiten) , Illustrationen, Diagramme, Karten
    Edition: 1. Aufl.
    ISBN: 9783836211109
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    Unknown
    Praxisbuch Objektorientierung : von den Grundlagen zur Umsetzung (2006)
    Bonn : Galileo Press
    Details
    Keywords: Softwareentwicklung ; Objektorientierung ; Objektorientierte Programmierung ; Aspektorientierte Programmierung
    Description / Table of Contents: Kaum eine Software, die nicht mehr objektorientiert entworfen und entwickelt wird! Die beiden Autoren geben eine umfassende Einführung in die Prinzipien und die Anwendung der Objektorientierung. Das Buch ist aufgabenorientiert, bietet Beispiele in den Sprachen C++, Java, Ruby, und C# sowie ein Kapitel zur aspektorientierten Programmierung.
    Pages: Online-Ressource (609 Seiten)
    Edition: 1. Aufl.
    ISBN: 3898426246
    URL: http://openbook.galileocomputing.de/oo/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Integrationshandbuch Microsoft-Netzwerk : Windows Server 2003 R2, SBS 2003, ADS, Exchange Server, Windows XP und Microsoft Office (2006)
    Bonn : Galileo Press
    Details
    Keywords: Rechnernetz ; Systemverwaltung ; Netzwerkverwaltung ; Windows Server 2003 ; Active Directory ; Exchange Server 2003 ; Windows XP Professional Edition
    Description / Table of Contents: Ein Integrationshandbuch im besten Sinne: Das Wissen um das Zusammenspiel von Microsoft Windows Server 2003, ADS, Windows XP Professional, Office XP/2003 oder Exchange Server ist sehr komplex. Administratoren, die nach einer Gesamtlösung suchen, stellen fest, dass es immens viele Informationen, Fehlerbeschreibungen, Service Packs, Patches und Hotfixes zu den Einzelprodukten gibt, aber keinen Lösungsansatz, der dieses Wissen bündelt und in Beziehung setzt. Anders dieses Buch: Schritt für Schritt wird ein Gesamtsystem implementiert, das nicht nur über einen kurzen Zeitraum läuft, sondern wartbar bleibt und später auf neue Versionen upgedated werden kann. Die 3. Auflage des Standardwerkes wurde aktualisiert und erweitert um Ausführungen zu Small Business Server, Windows Server 2003 R2, Windows Terminalserver, Access-based Enumeration und Best Practices zum Drucken im Netzwerk.
    Pages: Online-Ressource (997 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 3898428478
    URL: http://openbook.galileocomputing.de/microsoft_netzwerk/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    Linux-UNIX-Programmierung : das umfassende Handbuch (2006)
    Bonn : Galileo Press
    Details
    Keywords: Betriebssystem ; Open Source ; LINUX ; UNIX
    Description / Table of Contents: Dieses Buch bietet einen umfassenden Einblick in die Systemprogrammierung unter Linux und Unix. Es ist für Leser mit Betriebssystem-Kenntnissen und C-Wissen geeignet. Aus dem Inhalt: Umfassende Einführung, E/A-Funktionen, Attribute von Dateien und Verzeichnissen, Zugriff auf Systeminformationen, Prozesse und Dämonprozesse, Umgebungsvariablen eines Prozesses, Signale, Interprozesskommunikation, Threads, Netzwerkprogrammierung, MySQL, Terminal E/A und Benutzerschnittstellen für die Konsole, Sicherheit, XWindow-Programmierung, Windowmanager, Systeminformationen, Devices, GTK+. Neu in dieser 2., erweiterten Auflage: ein Kapitel zu System- und Benutzerdateien, ein stark erweitertes Thread-Kapitel und Ausführungen zu Dämonen, Zombies und Prozessen und zu Unix-Domain-Sockets.
    Pages: Online-Ressource (1216 Seiten)
    Edition: 2., akt. und erw. Auf.
    ISBN: 9783898427494
    URL: http://openbook.galileocomputing.de/linux_unix_programmierung/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    Das Praxisbuch HDR-Fotografie : digitale High-End-Fotografie mit DRI, RAW und Panoramen (2008)
    Bonn : Galileo Press
    Details
    Keywords: High Dynamic Range ; Digitale Photographie ; Bildverarbeitung
    Pages: Online-Ressource (281 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836211031
    URL: http://openbook.galileodesign.de/hdr_fotografie/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    Unknown
    Einstieg in ActionScript : Flash-Programmierung verständlich erklärt (2006)
    Bonn : Galileo Press
    Details
    Keywords: ActionScript ; Flash 8 ; Flash MX 2004
    Pages: Online-Ressource (413 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427746
    URL: http://openbook.galileodesign.de/actionscript_einstieg/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    Unknown
    Dreamweaver 8 : Webseiten entwickeln mit HTML, CSS, XML, PHP und MySQL (2006)
    Bonn : Galileo Press
    Details
    Keywords: Dreamweaver 8.0
    Pages: Online-Ressource (639 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427395
    URL: http://openbook.galileodesign.de/dreamweaver8/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    Unknown
    LINUX Netzwerk-Handbuch : Infrastruktur, Dienst, Sicherheit (2005)
    Beijing : O'Reilly
    Details
    Keywords: LINUX ; Netzwerkverwaltung
    Pages: Online-Ressource (359 Seiten)
    Edition: 3. Aufl.
    ISBN: 3897214148
    URL: http://www.oreilly.de/german/freebooks/linag3ger/418_LinuxIVZ.html
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    Unknown
    Freie Netze. Freies Wissen : ein Beitrag zum Kulturhauptstadtjahr Linz 2009 (2007)
    Wien : Echo media
    Details
    Keywords: Kultur ; Internet ; digitale Netze
    Description / Table of Contents: Noch nie war es einfacher, Menschen und ihr Wissen in Form von Texten, Bildern oder Tönen zusammenzubringen und zu vernetzen. Freie Netze sind der Versuch, dieses Potential von Internet und PC auszuschöpfen und möglichst alle Menschen daran teilhaben zu lassen. FREIES WISSEN. Der Zugang zu digitalen Netzen bedeutet noch nicht den Zugang zu Inhalten. Ein freier Zugang zu Wissen ist aber die Basis für Innovation und Emanzipation. Den neuen Möglichkeiten für freien Zugang zu Wissen stehen neue und alte, soziale und rechtliche Barrieren gegenüber. Von siebzehn Autorinnen und Autoren werden die verschiedenen Anwendungsbereiche von Freien Netzen und Freiem Wissen dargestellt. In jedem der neun Kapitel kommen in Interviews Menschen wie Lawrence Lessig oder Richard Stallman zu Wort, die mit dem Thema als ExpertInnen, PionierInnen oder unmittelbar Betroffene zu tun hatten oder haben. Am Ende jedes Kapitels finden sich konkrete Projektvorschläge zur Umsetzung auf lokaler Ebene als Beitrag für das Linzer Kulturhauptstadtjahr 2009.
    Pages: Online-Ressource (328 Seiten)
    ISBN: 3901761640
    URL: http://www.freienetze.at/freie-netze-freies-wissen
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    Bio-informatique moléculaire : Une approche algorithmique (2006)
    Paris : Springer
    Details
    Keywords: Bioinformatics ; Biology ; Data processing ; Biotechnology ; Computer software ; Data structures (Computer science) ; Genetic engineering
    ISBN: 9782287339097
    URL: https://doi.org/10.1007/978-2-287-33909-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    Numerical methods for roots of polynomials (2007)
    Amsterdam ; London : Elsevier
    Details
    Keywords: DDC 512.9422 ; LC QA161.P59 ; Equations, Roots of ; Polynomials
    Pages: Online-Ressource (2 v)
    ISBN: 9780444527295
    URL: http://www.sciencedirect.com/science/publication?issn=1570579X&volume=14
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Joomla! 1.5 : das umfassende Handbuch (2009)
    Bonn : Galileo Press
    Details
    Keywords: Joomla! ; Joomla! 1.5 ; CMS ; Content Management System
    Description / Table of Contents: Joomla! ist ein populäres Open-Source-CMS, das durch seine leichte Zugänglichkeit, Leistungsfähigkeit und Flexibilität besticht. Es basiert auf PHP und MySQL und kann daher auf verschiedensten Serverumgebungen eingesetzt werden. Der Versionssprung von 1.0 auf 1.5 macht es deutlich: umfangreiche Änderungen, wie z. B. die grundlegende Überarbeitung des Joomla!-Frameworks, Datenbankabstraktion und verbesserte Caching-Verfahren machen Joomla! 1.5 noch funktionsreicher, performanter und sicherer. Das Buch bietet eine umfassende Einführung in Installation, Funktionsumfang und Betrieb von Joomla! 1.5. Darüber hinaus werden auch professionelle Themen wie Websitemigration, Entwicklung von Erweiterungen und Datensicherung detailliert dargestellt.
    Pages: Online-Ressource (820 Seiten)
    Edition: 2., akt. und erw. Aufl.
    ISBN: 9783898428811
    URL: http://openbook.galileocomputing.de/joomla15/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    Visual Basic 2008 : das umfassende Handbuch (2009)
    Bonn : Galileo Press
    Details
    Keywords: Visual Basic ; Visual Basic 2008 ; Visual Studio ; Objektorientierte Programmierung ; OOP
    Description / Table of Contents: Wer Anwendungen mit Visual Basic 2008 programmieren will, findet in diesem Buch alles, was er dafür braucht. Neben dem Framework und der Entwicklungsumgebung Visual Studio sowie der Sprachsyntax von Visual Basic wird ausführlich auf die objektorientierte Programmierung eingegangen. Häufig verwendete Programmiertechniken werden ebenso gezeigt wie die Entwicklung grafischer Oberflächen mit WinForms und WPF sowie die Datenbankanbindung mit ADO.Net. Das Buch enthält alle Neuerungen des Visual Studio 2008. So werden die Themen LINQ (Language Integrated Query, ganz neu in .NET 3.5) oder etwa XAML (eXtensible Application Markup Language) sehr ausführlich in eigenen neuen Kapiteln behandelt.
    Pages: Online-Ressource (1323 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 9783836211710
    URL: http://openbook.galileocomputing.de/visualbasic_2008/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    Unknown
    Einstieg in Visual Basic 2008 (2008)
    Bonn : Galileo Press
    Details
    Keywords: Visual Basic 2008
    Description / Table of Contents: Aktuell zum neuen Visual Studio 2008 erscheint diese Einführung in die Programmierung mit Visual Basic 2008. Hier finden Sie alles, was Sie zum Programmieren mit VB wissen müssen, angefangen bei den Grundlagen zu Variablen, Operatoren, Schleifen und Co. über Fehlerbehandlung, objektorientierte Programmierung bis hin zu Datenbank-Anwendungen mit ADO.NET und Internet-Anwendungen mit ASP.NET. Auch Einsteiger ohne Vorkenntnisse werden sich schnell zurechtfinden. Schritt-für-Schritt-Anleitungen, Übungsaufgaben mit kommentierten Lösungen und regelmäßige Zusammenfassungen erleichtern das Lernen und garantieren einen schnellen Erfolg. Ein umfangreiches Kapitel widmet sich detailliert den Neuerungen in Visual Basic 2008 im Vergleich zur Vorgängerversion.
    Pages: Online-Ressource (441 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836211925
    URL: http://openbook.galileocomputing.de/einstieg_vb_2008/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Visual C# 2008 : das umfassende Handbuch (2008)
    Bonn : Galileo Press
    Details
    Keywords: Visual C sharp 2008 ; .NET
    Description / Table of Contents: Dieses Buch bietet Ihnen einen gründlichen und umfassenden Einstieg in die C#-Programmierung. Der erste Teil enthält eine Einführung in .NET, Visual Studio 2008, C# und die objektorientierte Programmierung. Hier werden besonders Einsteiger angesprochen, die noch nicht objektorientiert unter .NET programmiert haben. Im zweiten Teil werden elementare Klassen und Programmiertechniken vorgestellt. Daran schließt sich die Windows-Programmierung an. Großen Raum nimmt die Entwicklung von grafischen Benutzerschnittstellen mit der neuen Windows Presentation Foundation, kurz WPF, ein. Auch ADO.NET und LINQ sind wichtige Themen des Buches.
    Pages: Online-Ressource (1365 Seiten)
    Edition: 4., akt. und erw. Aufl.
    ISBN: 9783836211727
    URL: http://openbook.galileocomputing.de/visual_csharp/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    JavaScript und AJAX : das umfassende Handbuch (2007)
    Bonn : Galileo Press
    Details
    Keywords: JavaScript ; AJAX
    Description / Table of Contents: Dies ist die 7. Auflage des Standardwerkes zu JavaScript. Sie wurde vollständig überarbeitet und aktualisiert. Der erste Teil vermittelt eine umfangreiche Einführung in JavaScript mit unverbrauchten, originellen Beispielen. Im zweiten Teil kommen die JavaScript-Kenner voll auf ihre Kosten: Ein eigenes umfangreiches AJAX-Kapitel wurde ergänzt, weitere Themen sind Browserkompatibilität, Formulare, DHTML, Kommunikation mit Java-Applets – kurz: Die ganze Palette des praktischen Einsatzes der Sprache. Im letzten Teil des Buches befindet sich eine ausführliche Referenz zum Nachschlagen.
    Pages: Online-Ressource (841 Seiten)
    Edition: 7., akt. Aufl.
    ISBN: 3898428591
    URL: http://openbook.galileocomputing.de/javascript_ajax/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    Adobe Photoshop CS2 professionell (2006)
    Bonn : Galileo Press
    Details
    Keywords: Adobe Photoshop CS2
    Description / Table of Contents: Sie kennen sich mit Photoshop gut aus, suchen aber noch Tipps und Tricks für einen produktiveren Einsatz? Dieses Buch bietet reines Profiwissen! Im Fokus stehen hier Techniken für Fortgeschrittene, Hilfestellungen für einen effektiven Workflow und Tipps zur Automatisierung und Optimierung. So finden Sie Profiwissen z.B. zu den Themen Auswahlen, Effekte, Dritthersteller-Tools, Druckausgabe, Farbmanagement, Workflow, Bridge, Skripte, CameraRAW, Probleme mit Digitalfotos und vieles mehr. Grundlagenwissen wird hier nicht mehr erläutert! Ein Buch, das zum Schmökern einlädt und viele erhellende Zusammenhänge aufzeigt, Ihnen aber besonders hilft, Zeit zu sparen!
    Pages: Online-Ressource (508 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427005
    URL: http://openbook.galileodesign.de/photoshop_cs2/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Unknown
    Managing Projects with GNU Make : use the power of GNU Make to build anything (2005)
    Beijing : O'Reilly
    Details
    Keywords: GNU ; GNU Emacs ; Make ; Utilities
    Pages: Online-Ressource (280 Seiten)
    Edition: 3rd ed., completely rev. & updated
    ISBN: 0596006101
    URL: http://www.oreilly.de/catalog/make3/book/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    Unknown
    Mit Open Source-Tools Spam und Viren bekämpfen : Lösungen für Postfix, Exim & sendmail (2005)
    Beijing : O'Reilly
    Details
    Keywords: Spam-Mail ; Computervirus ; Mail-Filter ; Open Source
    Pages: Online-Ressource (351 Seiten)
    Edition: 1. Aufl.
    ISBN: 389721377X
    URL: http://www.oreilly.de/german/freebooks/spamvirger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    Unknown
    PHPUnit : pocket reference (2006)
    Beijing : O'Reilly
    Details
    Keywords: PHPUnit ; API ; PHP
    Pages: Online-Ressource (84 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897215152
    URL: http://www.phpunit.de/manual/3.4/en/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    Praktischer Einstieg in MySQL mit PHP (2007)
    Beijing : O'Reilly
    Details
    Keywords: MySQL 5.0 ; MySQL 5.1 ; PHP 5.2
    Pages: Online-Ressource (349 Seiten)
    Edition: 2. Aufl.
    ISBN: 9783897217171
    URL: http://www.oreilly.de/german/freebooks/einmysql2ger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    Praxiswissen Ruby on Rails (2007)
    Beijing : O'Reilly
    Details
    Keywords: Ruby on Rails
    Pages: Online-Ressource (346 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897214767
    URL: http://www.oreilly.de/german/freebooks/rubyonrailsbasger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    Unknown
    Schnelleinstieg in Flex 2 (2007)
    Beijing : O'Reilly
    Details
    Keywords: Flex 2.0 ; Flash ; Rich Internet Applications
    Pages: Online-Ressource (91 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897216259
    URL: http://www.oreilly.de/german/freebooks/pdf_flexger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    Unknown
    Linux Device Drivers : where the Kernel meets the hardware (2005)
    Beijing : O'Reilly
    Details
    Keywords: LINUX ; Linux device drivers ; Treiber
    Pages: Online-Ressource (615 Seiten)
    Edition: 3rd ed.
    ISBN: 9780596005900
    URL: http://oreilly.com/catalog/linuxdrive3/book/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    GPL kommentiert und erklärt : rechtliche Erläuterungen zur GNU General Public License (2005)
    Beijing : O'Reilly
    Details
    Keywords: Open Source ; Lizenzvertrag
    Pages: Online-Ressource (182 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897213893
    URL: http://www.oreilly.de/german/freebooks/gplger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Gentoo Linux : Installation - Konfiguration - Administration (2008)
    München : Open Source Press
    Details
    Keywords: Linux ; Betriebssysteme
    Description / Table of Contents: Linux-Nutzer, die bei Einrichtung und Verwaltung ihres Systems großen Wert auf Unabhängigkeit legen, greifen zu Gentoo Linux. Herz einer jeden Gentoo-Installation ist Portage, ein fortschrittliches, den FreeBSD-Ports ähnliches Paketmanagementsystem. Anders als die Paketmanager anderer Distributionen setzt Portage nicht auf vorkompilierte Binärpakete, sondern arbeitet auf Quellcodebasis. Portage sowie die Vor- und Nachteile quellbasierten Paketmanagements allgemein bilden Kernthemen dieses Buches. Der Autor führt praxisnah durch Installation und Administration und beschreibt Besonderheiten insbesondere für jene, die bereits Erfahrung mit anderen Linux-Distributionen gesammelt haben, so dass auch versierte Anwender Neues über die Konzepte von Linux bzw. das Zusammenspiel seiner Komponenten erfahren. Als Beispielszenario dient das Einrichten eines Webservers. Das Buch zeigt darüber hinaus, wie man die Distribution selbst erweitert und den eigenen Rechner in ein maßgeschneidertes Linux-System verwandelt gemäß dem Motto des Projekts: "Gentoo is all about choices".
    Pages: Online-Ressource (416 Seiten)
    ISBN: 9783937514345
    URL: http://www.fosdoc.de/downloads/OSP_wrobel_gentoo.pdf
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    Versionskontrolle mit Subversion : Software-Projekte intelligent koordinieren (2005)
    Beijing : O'Reilly
    Details
    Keywords: Subversion
    Pages: Online-Ressource (329 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897213907
    URL: http://svnbook.red-bean.com/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    Computational theory of iterative methods (2007)
    Amsterdam ; London : Elsevier
    Details
    Keywords: DDC 518.26 ; LC QA297.8 ; Iterative methods (Mathematics)
    Pages: Online-Ressource (xv, 487 pages)
    ISBN: 9780444531629
    URL: http://www.sciencedirect.com/science/publication?issn=1570579X&volume=15
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    Unknown
    Nonlinear methods in numerical analysis (1987)
    Amsterdam ; New York : North-Holland
    Details
    Keywords: DDC 519.4 ; LC QA297 ; Numerical analysis
    Pages: Online-Ressource (278 pages)
    ISBN: 9780444701893
    URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=136
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    Unknown
    Der TYPO3-Webshop : Installation - Produktangebot - Zahlungsabwicklung (2007)
    München : Open Source Press
    Details
    Keywords: TYPO3 ; CMS ; Content Management Systeme
    Description / Table of Contents: Vorwort Gut 80% aller Online-Kunden haben ihren Einkauf schon einmal wegen fehlender Funktionalität oder mangelnder Benutzerfreundlichkeit des Shops abgebrochen. Und: Fast die Hälfte aller Online-Shops in Deutschland basiert auf Open-Source-Lösungen.1 Damit ist die Motivation zu diesem Buch auch schon deutlich umrissen: TYPO3 ist als Content Management System international etabliert, und zwar im Bereich privater Webseiten ebenso wie bei konzernweiten Internetlösungen – Grund genug also, den wichtigen Bereich des Online-Shoppings für dieses System erstmals in Buchform unter die Lupe zu nehmen. Dieses Buch wendet sich somit an all jene, die einen Webshop auf TYPO3- Basis aufsetzen und betreiben möchten. Eine vorhandene TYPO3-Installation – sei es auch auf der Grundlage eines statischen Standard-Templates – ist hierfür Voraussetzung, denn es geht nicht um eine Einführung in TYPO3 selbst. Es genügt jedoch solides TYPO3-Grundlagenwissen, um Ihren Internetauftritt um einen Webshop zu erweitern. Auch HTML- und CSS Kenntnisse sollten Sie mitbringen, um die notwendigen Anpassungen an das jeweilige Layout vornehmen zu können. Zudem verlangen Installation und Konfiguration des Shops Administratorrechte; ein Redakteur-Account reicht dazu nicht aus.
    Pages: Online-Ressource (301 Seiten)
    ISBN: 9783937514437
    URL: https://www.opensourcepress.de/openbooks.html
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    Unknown
    Praxiswissen Ruby (2007)
    Beijing : O'Reilly
    Details
    Keywords: Ruby
    Description / Table of Contents: Ruby ist die modernste und am klügsten konzipierte Programmiersprache. Sie ist objektorientiert und wird auch als "Multiparadigmen-Sprache" bezeichnet, weil sie dem Programmierer kein bestimmtes Programmierparadigma aufdrängt. Der Leser wird umfassend und praxisnah in diese moderne Programmiersprache eingeführt. Er wird mit allen Sprachgrundlagen vertraut gemacht, die zur Beherrschung dieser Sprache notwendig sind. Objektorientiertheit, Datenbankanbindung und Web-Anwendung mit Ruby stellen daneben die besonderen Schwerpunkte dieser Einführung dar. Die Arbeit mit dem Webframework Ruby on Rails runden das Buch ab. Wer bisher zögerte, eine Programmiersprache zu erlernen, hat mit dem Erscheinen dieses Buches keine Ausrede mehr. Niemals war es so leicht, sich eine komplexe Programmiersprache anzueignen.
    Pages: Online-Ressource (408 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897214781
    URL: http://www.oreilly.de/german/freebooks/rubybasger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    Unknown
    Groovy für Java-Entwickler (2007)
    Beijing : O'Reilly
    Details
    Keywords: Groovy ; Java
    Description / Table of Contents: Groovy ist eine neue Open-Source-Programmiersprache, die mit dem Ziel erschaffen wurde, produktivitätssteigernde Features moderner Interpretersprachen wie Python, Ruby und Smalltalk nahtlos in die Java-Welt zu integrieren. Was Java-Entwickler wissen müssen, um diese aufregenden Eigenschaften für ihre Arbeit zu nutzen, erfahren Sie in diesem Buch. Mit großem Sachverstand stellt Jörg Staudemeyer die Unterschiede zu Java, die verschiedenen Einsatzmöglichkeiten und so manchen verblüffenden Kniff vor. Das Buch behandelt bereits die wichtigesten Neuerungen der Version 1.5.
    Pages: Online-Ressource (352 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897214835
    URL: http://www.oreilly.de/german/freebooks/groovyger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    Unknown
    Adobe Photoshop CS4 - Fortgeschrittene Techniken : Kreative Lösungen für den professionellen Arbeitsalltag (2009)
    Bonn : Galileo Press
    Details
    Keywords: Adobe Photoshop CS4
    Description / Table of Contents: Sie setzen Adobe Photoshop CS4 oder Photoshop CS4 Extended professionell ein und müssen täglich unterschiedlichste Aufgabenstellungen lösen? Dann sind Sie sicher immer auf der Suche nach effizienten Problemlösungen, offen für neue Ideen und wollen auf dem neuesten Stand der (Photoshop-)Technik bleiben. Dieses Buch hilft Ihnen, über den Tellerrand zu schauen und vom fortgeschrittenen Anwender zum Photoshop-Profi zu werden. Lernen Sie, Probleme bei Digitalfotos zu beheben: Rauschen, Moiré, Unschärfe, Pixelfehler, Optische Verzerrungen. Trauen Sie sich, neue Wege zu gehen beim Einsatz altbekannter Funktionen wie Freistelltechniken, Masken, Kanälen und dem LAB-Modus -- oder setzen Sie gezielt alternative Programme von Drittanbietern ein. Dabei zeigt das Buch Strategien für die Anwendungsbereiche Fotobearbeitung, Videobearbeitung, Druckvorstufe, Web und 3D. Themen sind u.a. Camera Raw, HDR, Panoramen, Compositings & Montagen, Farb- und Tonwertkorrekturen, Farbmanagement, Sonderfarben, Filter, Animation, Workflow mit Dreamweaver, Fireworks und CS4-Videoprogrammen. Für die Beschleunigung Ihrer Arbeit gibt es außerdem Tipps zur Automatisierung, zum Scripten mit Photoshop und Flex, zum Teamwork und zur Versionierung. So schöpfen Sie das Potenzial von Photoshop CS4 wirklich aus!
    Pages: Online-Ressource (843 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836212373
    URL: http://openbook.galileodesign.de/photoshop_cs4/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    Unknown
    Handbook of Computational Economics, Volume 2 (2006)
    Amsterdam : Elsevier
    Details
    Pages: Online-Ressource (829-1660)
    ISBN: 9780444512536
    URL: http://www.sciencedirect.com/science/book/9780444512536
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    Unknown
    Advanced methods for space simulations (2007)
    Tokyo : TERRAPUB
    Details
    Keywords: space simulations ; simulation techniques ; simulation software
    Description / Table of Contents: Simulation Techniques --- One-dimensional Electromagnetic Particle Code: KEMPO1 A Tutorial on Microphysics in Space Plasmas / Y. Omura / pp. 1-21 --- Vlasov-code simulation / J. Büuchner / pp. 23-46 --- δf Particle-in-Cell Plasma Simulation Model: Properties and Applications / R. D. Sydora / pp. 47-60 --- Automatic Adaptive Multi-Dimensional Particle In Cell / G. Lapenta / pp. 61-76 --- Generalized Curvilinear Coordinates in Hybrid and Electromagnetic Codes / D. W. Swift / pp. 77-89 --- A New Methodology for Multi-Scale Simulation of Plasmas / H. Karimabadi, Y. Omelchenko, J. Driscoll, R. Fujimoto, and K. Perumalla / pp. 91-99 --- Numerical methods used in the Lyon-Fedder-Mobarry Global code to model the magnetosphere / J. G. Lyon / pp. 101-109 --- Unstructured Meshes and Finite Elements in Space Plasma Modelling: Principles and Applications / R. Marchand, J. Y. Lu, K. Kabin, and R. Rankin / pp. 111-143 --- Visualization of Tangled Vector Field Topology and Global Bifurcation of Magnetospheric Dynamics / D. Cai, K. Nishikawa, and B. Lembege / pp. 145-166 --- Introduction to Virtual Reality Visualization by the CAVE system / N. Ohno and A. Kageyama / pp. 167-207 --- Simulation Software --- KEMPO1 Kyoto university ElectroMagnetic Particle cOde: 1d version / Y. Omura / pp. 209-235 --- The Elements for Setting up a Hybrid or Electromagnetic Code in Curvilinear Coordinates / D. W. Swift / pp. 237-282
    Pages: Online-Ressource (VII, 282 Seiten)
    ISBN: 9784887041387
    URL: http://www.terrapub.co.jp/e-library/amss/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    Unknown
    Computer simulation of space plasmas (1985)
    Tokyo : TERRAPUB
    Details
    Keywords: space plasmas ; computer simulations ; particle simulations ; MHD simulations
    Description / Table of Contents: PART I PARTICLE SIMULATIONS --- INTRODUCTION TO PARTICLE SIMULATION MODELS AND OTHER APPLICATION TO ELECTROSTATIC PLASMA WAVES / Hideo Okuda / pp. 3-41 --- PARTICLE SIMULATION OF ELECTROMAGNETIC WAVES AND ITS APPLICATION TO SPACE PLASMAS / Hiroshi Matsumoto and Yoshiharu Omura / pp. 43-102 --- RELATIVISTIC CODE APPLIED TO RADIATION GENERATION / A. T. Lin / pp. 103-116 --- MODERN DEVELOPMENT IN PARTICLE SIMULATION / J. C. Adam / pp. 117-130 --- PART II MHD SIMULATIONS --- PRINCIPLES OF MAGNETOHYDRODYNAMIC SIMULATION IN SPACE PLASMAS / Tetsuya Sato / pp. 133-153 --- MHD MODELLING OF THE EARTH'S MAGNETOSPHERE / C. C. Wu / pp. 155-177 --- NUMERICALLY-SIMULATED FORMATION AND PROPAGATION OF INTERPLANETARY SHOCKS / S. T. Wu / pp. 179-201 --- ANOMALOUS TRANSPORT BY KELVIN-HELMHOLTZ INSTABILITIES / Akira Miura / pp. 203-224 --- PART III OTHER-METHOD SIMULATIONS --- PARTICLE BEHAVIOR IN THE MAGNETOSPHERE / R. A. Wolf and R. W. Spiro / pp. 227-254 --- HYBRID SIMULATION TECHNIQUES APPLIED TO THE EARTH'S BOW SHOCK / D. Winske and M. M. Leroy / pp. 255-278 --- VLASOV SIMULATION OF ION ACOUSTIC DOUBLE LAYERS / G. Chanteur / pp. 279-301 --- SIMULATION MODELS FOR SPACE PLASMAS AND BOUNDARY CONDITIONS AS A KEY TO THEIR DESIGN AND ANALYSIS / Christian T. Dum / pp. 303-375
    Pages: Online-Ressource (X, 380 Seiten)
    ISBN: 9027719527
    URL: http://www.terrapub.co.jp/e-library/cssp/
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    Unknown
    LINUX Praxishandbuch (2005)
    Beijing : O'Reilly
    Details
    Keywords: LINUX
    Pages: Online-Ressource (430 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897214164
    URL: http://www.oreilly.de/german/freebooks/runux5ger/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    Unknown
    Freie Kultur : Wesen und Zukunft der Kreativität (2006)
    München : Open Source Press
    Details
    Keywords: Kultur ; Kreativität ; Medienindustrie
    Description / Table of Contents: Niemals zuvor lag die Macht zur Kontrolle von Kreativität derart konzentriert in der Hand einiger weniger – der Medienindustrie. Gemäß ihren wirtschaftlichen Interessen erstickt sie schöpferische Prozesse oder zwingt diese in für sie einträgliche Bahnen. Unsere Gesellschaft steht für den freien Markt ebenso wie für die Freiheit der Rede; warum aber lässt sie eine solche Bevormundung zu? Indem wir mit unserer Tradition der freien Kultur brechen, so zeigt Lawrence Lessig, "der bedeutendste Denker zum Thema geistiges Eigentum im Internet-Zeitalter" ("The New Yorker"), verlieren wir die Freiheit zur Kreativität und zuletzt auch die Freiheit, Neues zu denken. Mit Hartmut Pilch, dem Vorsitzenden des FFII, und Annegret Claushues haben wir zwei fachlich wie sprachlich hochkompetente Übersetzer gewinnen können, die Inhalt und Form des Textes jederzeit gerecht werden.
    Pages: Online-Ressource (304 Seiten)
    ISBN: 9783937514154
    URL: http://www.fosdoc.de/downloads/OSP_lessig_freiekultur.pdf
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    Unknown
    Topics in multivariate approximation and interpolation (2006)
    Amsterdam ; Boston : Elsevier
    Details
    Keywords: DDC 519.5/35 ; LC QA278 ; Approximation theory - Research ; Interpolation - Research ; Multivariate analysis - Research
    Pages: Online-Ressource (ix, 346 pages)
    Edition: 1st ed
    ISBN: 9780444518446
    URL: http://www.sciencedirect.com/science/publication?issn=1570579X&volume=12
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    Unknown
    VMware und Microsoft Virtual Server : Virtuelle Server im professionellen Einsatz (2005)
    Bonn : Galileo Press
    Details
    Keywords: VMware ; virtuelle Server
    Description / Table of Contents: Bei steigender Komplexität moderner Server-Landschaften und stetig wachsender Rechenleistung ist Servervirtualisierung nicht mehr als die logische Konsequenz. Die Entwicklung in der Unternehmenspraxis bestätigt das: Die Produkte der Firma VMware, der GSX und der ESX-Server, sind gefragt wie nie. Mittlerweile bietet neben einigen anderen Herstellern auch Microsoft eine eigene Softwarelösung an: den Virtual Server. Dieses Buch bietet von der Konzeption bis zum Einsatz das nötige Wissen für professionelle Virtualisierungsprojekte im Unternehmen. Es klärt nicht nur die Frage, was Virtualisierung bedeutet und welches Produkt sich für welchen Zweck am besten eignet, sondern liefert auch umfassendes Profi-Wissen für den praktischen Einsatz, die Einrichtung und Verwaltung virtueller Server-Welten.
    Pages: Online-Ressource (612 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427012
    URL: http://openbook.galileocomputing.de/vmware/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    Unknown
    Digitale Souveränität : Bürger / Unternehmen / Staat (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Pages: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55796-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    Unknown
    Ad Hoc Networks (2017)
    Rijeka : InTech
    Details
    Keywords: mobile devices ; wireless devices ; MANET
    Description / Table of Contents: Chapter 1: Data-Gathering and Aggregation Protocol for Networked Carrier Ad Hoc Networks: The Optimal and Heuristic Approach by Chao Gao, Guorong Zhao and Jianhua Lu --- Chapter 2: A Composite Trust Model for Secure Routing in Mobile Ad-Hoc Networks by Rutvij H. Jhaveri, Narendra M. Patel and Devesh C. Jinwala --- Chapter 3: Performance Analysis of Three Routing Protocols in MANET Using the NS-2 and ANOVA Test with Varying Speed of Nodes by Subhrananda Goswami, Subhankar Joardar, Chandan Bikash Das, Samarajit Kar and Dibyendu Kumar Pal --- Chapter 4: Cooperative Routing in Multi-Radio Multi-Hop Wireless Network by Kun Xie, Shiming He, Xin Wang, Dafang Zhang and Keqin Li --- Chapter 5: MANET Network in Internet of Things System by Rasa Bruzgiene, Lina Narbutaite and Tomas Adomkus --- Chapter 6: Radio Frequency-Based Indoor Localization in Ad-Hoc Networks by Mehdi Golestanian, Joshua Siva and Christian Poellabauer
    Pages: Online-Ressource (146 Seiten)
    ISBN: 9789535131106
    URL: https://www.intechopen.com/books/ad-hoc-networks
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    Unknown
    Multi-agent Systems (2017)
    Rijeka : InTech
    Details
    Keywords: software agents
    Description / Table of Contents: Chapter 1: Introductory Chapter: Multi-Agent Systems by Jorge Rocha, Inês Boavida-Portugal and Eduardo Gomes --- Chapter 2: Motion Coordination Problems with Collision Avoidance for Multi-Agent Systems by Jesús Santiaguillo-Salinas and Eduardo Aranda-Bricaire --- Chapter 3: Multiagent Systems in Automotive Applications by Raul Campos-Rodriguez, Luis Gonzalez-Jimenez, Francisco Cervantes-Alvarez, Francisco Amezcua-Garcia and Miguel Fernandez-Garcia --- Chapter 4: Time Critical Mass Evacuation Simulation Combining A Multi- Agent System and High-Performance Computing by Leonel Aguilar, Maddegedara Lalith and Muneo Hori --- Chapter 5: Robust Adaptive Cooperative Control for Formation-Tracking Problem in a Network of Non-Affine Nonlinear Agents by Muhammad Nasiruddin bin Mahyuddin and Ali Safaei --- Chapter 6: Management of a Single-User Multi-Robot Teleoperated System for Maintenance in Offshore Plants by Seungyeol Lee and Jeon-Il Moon --- Chapter 7: Multiagent System for Image Mining by Nicksson Ckayo Arrais de Freitas and Marcelino Pereira dos Santos Silva --- Chapter 8: A Toolbox to Analyze Emergence in Multiagent Simulations by Danilo Saft and Volker Nissen --- Chapter 9: Hybrid Architecture to Support Context-Aware Systems by Maricela Bravo, José A. Reyes-Ortiz, Leonardo Sánchez-Martínez and Roberto A. Alcántara-Ramírez --- Chapter 10: Resilience Enhancement in Cyber-Physical Systems: A Multiagent-Based Framework by Fábio Emanuel Pais Januário, Joaquim Leitão, Alberto Cardoso and Paulo Gil
    Pages: Online-Ressource (212 Seiten)
    ISBN: 9789535135364
    URL: https://www.intechopen.com/books/multi-agent-systems
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    Unknown
    Digitale Datenbanken : Eine Medientheorie im Zeitalter von Big Data (2015)
    Bielefeld : transcript
    Details
    Keywords: Media ; Computer ; Database ; Search Engine ; Big Data ; Internet ; Digital Media ; Media Theory ; Media History ; Media Studies ; Medien ; Computer ; Datenbank ; Suchmaschine ; Big Data ; Internet ; Digitale Medien ; Medientheorie ; Mediengeschichte ; Medienwissenschaft
    Description / Table of Contents: We have long moved on from a mere information age to the era of big data. Here, databases represent both the enormous potential for gaining knowledge of data collection and the alarming information excesses of digital culture. Furthermore, the term refers to concrete technologies and processes of gathering and accessing digital information. Media theory has to locate databases in between these very different conceptions. Marcus Burkhardt retraces the history of databases and asks how technical procedures of processing digital information determine what can be found how in databases and what knowledge can be gained through them. | Wir leben längst nicht mehr nur im Informationszeitalter, sondern in der Ära von Big Data. In dieser steht die Datenbank gleichzeitig für die riesigen Erkenntnispotenziale von Informationssammlungen wie für die bedrohlichen Informationsexzesse der digitalen Medienkultur. Zudem bezeichnet der Begriff konkrete Technologien und Verfahren der Sammlung und Bereitstellung von digitalen Informationen. Zwischen diesen sehr unterschiedlichen Auffassungen gilt es, Datenbanken medientheoretisch zu verorten. Marcus Burkhardt zeichnet die Geschichte der Datenbanken nach und fragt, wie technische Verfahren der Verwaltung digitaler Informationen bedingen, was auf welche Weise in Datenbanken gefunden und durch sie gewusst werden kann.
    Pages: Online-Ressource (388 Seiten)
    ISBN: 9783839430286
    URL: https://www.transcript-verlag.de/978-3-8376-3028-2/
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    Unknown
    Computer Simulation (2017)
    Rijeka : InTech
    Details
    Keywords: computer modelling ; computer simulation
    Description / Table of Contents: Chapter 1: Modelling and Simulation of Complex Adaptive System: The Diffusion of Socio-Environmental Innovation in the RENDRUS Network by Aida Huerta Barrientos and Yazmin Dillarza Andrade --- Chapter 2: Rendering Techniques in 3D Computer Graphics Based on Changes in the Brightness of the Object Background by Nika Bratuž, Helena Gabrijelčič Tomc and Dejana Javoršek --- Chapter 3: Modelling and Visualisation of the Optical Properties of Cloth by Tanja Nuša Kočevar and Helena Gabrijelčič Tomc --- Chapter 4: Textile Forms’ Computer Simulation Techniques by Andreja Rudolf, Slavica Bogović, Beti Rogina Car, Andrej Cupar, Zoran Stjepanovič and Simona Jevšnik --- Chapter 5: Computer Simulation of Bioprocess by Jianqun Lin, Ling Gao, Huibin Lin, Yilin Ren, Yutian Lin and Jianqiang Lin --- Chapter 6: Developing a Hybrid Model and a Multi-Scale 3D Concept of Integrated Modelling High-Temperature Processes by Marcin Hojny --- Chapter 7: Computer-Aided Physical Simulation of the Soft-Reduction and Rolling Process by Marcin Hojny --- Chapter 8: Surrogate Modelling with Sequential Design for Expensive Simulation Applications by Joachim van der Herten, Tom Van Steenkiste, Ivo Couckuyt and Tom Dhaene --- Chapter 9: Computer Simulation of High-Frequency Electromagnetic Fields by Andrey D. Grigoriev --- Chapter 10: Modeling and Simulation of Task Allocation with Colored Petri Nets by Mildreth Alcaraz-Mejia, Raul Campos-Rodriguez and Marco Caballero-Gutierrez --- Chapter 11: Multi-Criteria Decision-Making in the Implementation of Renewable Energy Sources by Dejan Jovanovic and Ivan Pribicevic
    Pages: Online-Ressource (264 Seiten)
    ISBN: 9789535132066
    URL: https://www.intechopen.com/books/computer-simulation
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    Unknown
    Cloud Computing : Architecture and Applications (2017)
    Rijeka : InTech
    Details
    Keywords: Cloud computing ; Internet of Things
    Description / Table of Contents: Chapter 1: State-of-the-Art Antenna Technology for Cloud Radio Access Networks (C-RANs) by Waleed Tariq Sethi, Abdullah Alfakhri, Muhammad Ahmad Ashraf, Amr G. Alasaad and Saleh Alshebeili --- Chapter 2: Cloud Computing for Next-Generation Sequencing Data Analysis by Shanrong Zhao, Kirk Watrous, Chi Zhang and Baohong Zhang --- Chapter 3: Green-Aware Virtual Machine Migration Strategy in Sustainable Cloud Computing Environments by Xiaoying Wang, Guojing Zhang, Mengqin Yang and Lei Zhang --- Chapter 4: M-ary Optical Computing by Jian Wang and Yun Long --- Chapter 5: Networking Solutions for Integrated Heterogeneous Wireless Ecosystem by Roman Florea, Aleksandr Ometov, Adam Surak, Sergey Andreev and Yevgeni Koucheryavy
    Pages: Online-Ressource (138 Seiten)
    ISBN: 9789535132448
    URL: https://www.intechopen.com/books/cloud-computing-architecture-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    Unknown
    Pattern Recognition : Analysis and Applications (2016)
    Rijeka : InTech
    Details
    Keywords: artificial intelligence ; pattern recognition
    Description / Table of Contents: Pattern recognition continued to be one of the important research fields in computer science and electrical engineering. Lots of new applications are emerging, and hence pattern analysis and synthesis become significant subfields in pattern recognition. This book is an edited volume and has six chapters arranged into two sections, namely, pattern recognition analysis and pattern recognition applications. This book will be useful for graduate students, researchers, and practicing engineers working in the field of machine vision and computer science and engineering.
    Pages: Online-Ressource (134 Seiten)
    ISBN: 9789535128045
    URL: http://www.intechopen.com/books/pattern-recognition-analysis-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 76
    Unknown
    Holographic Materials and Optical Systems (2017)
    Rijeka : InTech
    Details
    Keywords: holography
    Description / Table of Contents: Chapter 1: Volume Holography: Novel Materials, Methods and Applications by Tina Sabel and Marga C. Lensen --- Chapter 2: Volume Holographic Optical Elements as Solar Concentrators by Maria Antonietta Ferrara, Gaetano Bianco, Fabio Borbone, Roberto Centore, Valerio Striano and Giuseppe Coppola --- Chapter 3: Volume Bragg Gratings: Fundamentals and Applications in Laser Beam Combining and Beam Phase Transformations by Ivan Divliansky --- Chapter 4: Holographically Recorded Low Spatial Frequency Volume Bragg Gratings and Holographic Optical Elements by Suzanne Martin, Hoda Akbari, Sanjay Keshri, Dennis Bade, Izabela Naydenova, Kevin Murphy and Vincent Toal --- Chapter 5: Holographic Optical Elements and Application by Nam Kim, Yan-Ling Piao and Hui-Ying Wu --- Chapter 6: Holographic Data Storage Using Parallel-Aligned Liquid Crystal on Silicon Displays by Francisco J. Martínez Guardiola, Andrés Márquez Ruiz, Sergi Gallego Rico, Roberto Fernández Fernández, Jorge Francés Monllor, Manuel Ortuño Sánchez, Inmaculada Pascual Villalobos and Augusto Beléndez Vázquez --- Chapter 7: Microtopography and Thickness Measurement with Digital Holographic Microscopy Highlighting and Its Tomographic Capacity by Miguel León-Rodríguez, Juan A. Rayas-Alvarez, Amalia Martínez- García and Raúl R. Cordero --- Chapter 8: 3D Capture and 3D Contents Generation for Holographic Imaging by Elena Stoykova, Hoonjong Kang, Youngmin Kim, Joosup Park, Sunghee Hong and Jisoo Hong --- Chapter 9: Multiwavelength Digital Holography and Phase-Shifting Interferometry Selectively Extracting Wavelength Information: Phase-Division Multiplexing (PDM) of Wavelengths by Tatsuki Tahara, Reo Otani, Yasuhiko Arai and Yasuhiro Takaki --- Chapter 10: Dynamic Imaging with X-ray Holography by Büttner Felix --- Chapter 11: Indirect Off-Axis Holography for Antenna Metrology by Ana Arboleya, Jaime Laviada, Juha Ala-Laurinaho, Yuri Álvarez, Fernando Las-Heras and Antti V. Räisänen --- Chapter 12: Surface Characterization by the Use of Digital Holography by Dahi Ghareab Abdelsalam, Takeshi Yasui, Takayuki Ogawa and Baoli Yao --- Chapter 13: Digital Holographic Interferometry for Analysing High-Density Gradients in Fluid Mechanics by Jean-Michel Desse and François Olchewsky --- Chapter 14: Holography: The Usefulness of Digital Holographic Microscopy for Clinical Diagnostics by Zahra El-Schich, Sofia Kamlund, Birgit Janicke, Kersti Alm and Anette Gjörloff Wingren --- Chapter 15: Unlabeled Semen Analysis by Means of the Holographic Imaging by Giuseppe Coppola, Maria Antonietta Ferrara, Giuseppe Di Caprio, Gianfranco Coppola and Brian Dale --- Chapter 16: One-Step Holographic Photoalignment for Twisted Nematic Liquid Crystal Gratings by Kotaro Kawai, Moritsugu Sakamoto, Kohei Noda, Tomoyuki Sasaki, Nobuhiro Kawatsuki and Hiroshi Ono --- Chapter 17: Application of High Performance Photoinitiating Systems for Holographic Grating Recording by C. Ley, C. Carré, A. Ibrahim and X. Allonas --- Chapter 18: Fluorite Crystals with Color Centers: A Medium for Recording Extremely Stable but Broadly Transformable Holograms by Aleksandr I. Ryskin, Aleksandr E. Angervaks and Andrei V. Veniaminov --- Chapter 19: New Photo-Thermo-Refractive Glasses for Holographic Optical Elements: Properties and Applications by Nikonorov Nikolay, Ivanov Sergey, Dubrovin Victor and Ignatiev Alexander --- Chapter 20: Active Holography by Zurab V. Wardosanidze --- Chapter 21: Two-Wave Mixing in Organic-Inorganic Hybrid Structures for Dynamic Holography by Vera Marinova, Shiuan Huei Lin and Ken Yuh Hsu
    Pages: Online-Ressource (516 Seiten)
    ISBN: 9789535130383
    URL: http://www.intechopen.com/books/holographic-materials-and-optical-systems
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    Unknown
    Recent Progress in Parallel and Distributed Computing (2017)
    Rijeka : InTech
    Details
    Keywords: parallel computing ; distributed computing
    Description / Table of Contents: Chapter 1: Introductory Chapter: The Newest Research in Parallel and Distributed Computing by Wen-Jyi Hwang --- Chapter 2: Social Trust: Evaluating Node Influential Capability in Social Networks by Yap Hock Yeow and Lim Tong-Ming --- Chapter 3: A Distributed Computing Architecture for the Large-Scale Integration of Renewable Energy and Distributed Resources in Smart Grids by Ignacio Aravena, Anthony Papavasiliou and Alex Papalexopoulos --- Chapter 4: GPU Computing Taxonomy by Abdelrahman Ahmed Mohamed Osman --- Chapter 5: Distributed Software Development Tools for Distributed Scientific Applications by Vaidas Giedrimas, Leonidas Sakalauskas and Anatoly Petrenko --- Chapter 6: DANP-Evaluation of AHP-DSS by Wolfgang Ossadnik, Ralf H. Kaspar and Benjamin Föcke
    Pages: Online-Ressource (122 Seiten)
    ISBN: 9789535133162
    URL: https://www.intechopen.com/books/recent-progress-in-parallel-and-distributed-computing
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 78
    Unknown
    Heuristics and Hyper-Heuristics : Principles and Applications (2017)
    Rijeka : InTech
    Details
    Keywords: heuristics
    Description / Table of Contents: Chapter 1: Hyper-Heuristics and Metaheuristics for Selected Bio-Inspired Combinatorial Optimization Problems by Aleksandra Swiercz --- Chapter 2: Multi-Objective Hyper-Heuristics by Mashael Suliaman Maashi --- Chapter 3: Heuristics Techniques for Scheduling Problems with Reducing Waiting Time Variance by Satyasundara Mahapatra, Rati Ranjan Dash and Sateesh K. Pradhan --- Chapter 4: Efficient Heuristics for Scheduling with Release and Delivery Times by Nodari Vakhania --- Chapter 5: Advanced Particle Filter Methods by Roi Yozevitch and Boaz Ben-Moshe --- Chapter 6: On the Use of Hybrid Heuristics for Providing Service to Select the Return Channel in an Interactive Digital TV Environment by Marcos César da Rocha Seruffo, Ádamo Lima de Santana, Carlos Renato Lisboa Francês and Nandamudi Lankalapalli Vijaykumar
    Pages: Online-Ressource (134 Seiten)
    ISBN: 9789535133841
    URL: https://www.intechopen.com/books/heuristics-and-hyper-heuristics-principles-and-applications
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    Unknown
    A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Data Encryption ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM
    Pages: Online-Ressource (XXVII, 392 pages) , 41 illustrations
    ISBN: 9781430265849
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6584-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    Unknown
    Ganzheitliche Digitalisierung von Prozessen : Perspektivenwechsel – Design Thinking – Wertegeleitete Interaktion (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Management ; Industrial management ; Information technology ; Business ; Data processing ; Computers ; Computer Science ; Information Systems and Communication Service ; Innovation/Technology Management ; IT in Business
    Description / Table of Contents: Modelle --- Modellierungssprachen --- Vorgehensweise von der Modellbildung zur Digitalisierung --- Vorbereitung der Prozessimplementierung --- Umsetzung --- Praxisbeispiel
    Pages: Online-Ressource (X, 254 Seiten) , 143 Abbildungen, 69 Abbildungen in Farbe
    ISBN: 9783658226480
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-22648-0
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    Unknown
    Bitcoin and Beyond : Cryptocurrencies, Blockchains, and Global Governance (2018)
    London, New York : Routledge
    Details
    Keywords: Bitcoin ; Blockchain ; cryptocurrency ; governance
    Description / Table of Contents: Chapter 1: Introduction: What are blockchains and how are they relevant to governance in the contemporary global political economy? / Malcolm Campbell-Verduyn --- Chapter 2: Moneys at the Margins – From Political Experiment to Cashless Societies / Moritz Hütten and Matthias Thiemann --- Chapter 3: The Internal and External Governance of Blockchain-Based Organisations: Evidence from Cryptocurrencies / Ying-Ying Hsieh, JP Vergne, and Sha Wang --- Chapter 4: The Mutual Constitution of Technology and Global Governance: Bitcoin, Blockchains, and the International Anti-Money Laundering Regime / Malcolm Campbell-Verduyn and Marcel Goguen --- Chapter 5: Between Liberalization and Prohibition: Prudent Enthusiasm and the Governance of Bitcoin/Blockchain Technology / Kai Jia and Falin Zhang --- Chapter 6: Cryptocurrencies and Digital Payment Rails in Networked Global Governance: Perspectives on Inclusion and Innovation / Daivi Rodima-Taylor and William W. Grimes --- Chapter 7: Governing What Wasn’t Meant To Be Governed:　A Controversy-Based Approach to the Study of Bitcoin Governance / Francesca Musiani, Alexandre Mallard and Cécile Méadel --- Chapter 8: Experiments in Algorithmic Governance: A History and Ethnography of "The DAO," a Failed Decentralized Autonomous Organization / Quinn DuPont --- Chapter 9: Conclusion: Towards A Block Age or Blockages of Global Governance? / Malcolm Campbell-Verduyn
    Pages: Online-Ressource (XIII, 207 Seiten) , Diagramme
    ISBN: 9781315211909
    URL: https://www.taylorfrancis.com/books/9780415792141
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    Unknown
    Zukunft der Arbeit in Industrie 4.0 (2015)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Robotics ; Automation ; Industrial engineering ; Production engineering ; Engineering economics ; Engineering economy ; Manufacturing industries ; Machines ; Tools ; Engineering ; Industrial and Production Engineering ; Robotics and Automation ; Engineering Economics, Organization, Logistics, Marketing ; Manufacturing, Machines, Tools ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Einordnung und Hintergründe --- Positionen der Sozialpartner --- Erfahrungen und Herausforderungen in der Industrie --- Forschungsfragen und Entwicklungsstrategien --- Ausblick
    Pages: Online-Ressource (VIII, 167 Seiten) , 38 Abbildungen
    ISBN: 9783662459157
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-45915-7
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    Unknown
    Autonomes Fahren : Technische, rechtliche und gesellschaftliche Aspekte (2015)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Commercial law ; Automotive engineering ; Robotics ; Automation ; Community psychology ; Environmental psychology ; Engineering ; Automotive Engineering ; Robotics and Automation ; Community and Environmental Psychology ; Commercial Law
    Description / Table of Contents: Teil I Human and Machine --- Teil II Mobilität --- Teil III Verkehr --- Teil IV Sicherheit --- Teil V Recht und Haftung --- Teil VI Akzeptanz
    Pages: Online-Ressource (XIV, 732 Seiten)
    ISBN: 9783662458549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-45854-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    Unknown
    Digitalisierung : Bildung / Technik / Innovation (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Pages: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-52854-9
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    Unknown
    Think Big, Start Small : StreetScooter die e-mobile erfolgsstory: Innovationsprozesse radikal effizienter (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Project management ; Engineering design ; Automotive Engineering ; Project Management ; Engineering Design
    Description / Table of Contents: A - Die Entwicklung: Drei Erfolgsstories --- Die StreetScooter-Gründer-Story --- Die StreetScooter-Meilensteine 2008-2017 --- Die StreetScooter-Entwicklungsstory --- Die StreetScooter-Protagonisten-Story --- B - Die Lösung: Return on Engineering: Die StreetScooter-Lösungsbausteine. C - Die Perspektive: Die StreetScooter-Netzwerk-Story --- Die StreetScooter-Produktions-Story --- Die StreetScooter-Post-Story --- Die StreetScooter-Mobilitätslösung --- Die StreetScooter-Vision. A - The Development: Three Stories of Success --- The StreetScooter Founder Story --- The StreetScooter Milestones 2008-2017 --- The StreetScooter Development Story --- The StreetScooter Protagonists Story --- B - The Solution: Return on Engineering: The StreetScooter Building Blocks --- C - The Perspective: The StreetScooter Network Story --- The StreetScooter Production Story --- The StreetScooter Post Story --- The StreetScooter Mobility Solution --- The StreetScooter Vision
    Pages: Online-Ressource (VII, 213 Seiten)
    ISBN: 9783662549971
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-54997-1
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    Unknown
    Zukunft der Arbeit – Eine praxisnahe Betrachtung (2018)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Keywords: Engineering ; Robotics ; Automation ; Industrial engineering ; Production engineering ; Economic sociology ; Engineering ; Industrial and Production Engineering ; Organizational Studies, Economic Sociology ; Robotics and Automation
    Description / Table of Contents: Einleitung --- Prognostizierte Veränderungen der gestaltbaren Arbeitssystemdimensionen --- Systeme zur Assistenz und Effizienzsteigerung in manuellen Produktionsprozessen der Industrie auf Basis von Projektion und Tiefendatenerkennung --- Betriebliche Auswirkungen industrieller Servicerobotik am Beispiel der Kleinteilemontage --- Erweiterte Horizonte – Ein technischer Blick in die Zukunft der Arbeit --- Soziotechnische Assistenzsysteme für die Produktionsarbeit in der Textilbranche --- Lernförderliche Arbeitssysteme für die Arbeitswelt von morgen --- Assistenz und Wissensvermittlung am Beispiel von Montage- und Instandhaltungstätigkeiten --- Der Mensch in Interaktion mit autonomen Planungs- und Steuerungssystemen für Cyber-Physische Produktionssysteme --- ReApp – Wiederverwendbare Roboterapplikationen für flexible Roboteranlagen - Auswirkungen der Ergebnisse aus ReApp auf betriebliche Funktionen am Beispiel eines Anwendungsfalls in der Elektroindustrie --- Modellierungsansatz für ein arbeitsplatznahes Beschreibungsmodell der »Arbeitswelt Industrie 4.0 --- Die Zukunft der Arbeit im demografischen Wandel --- “Social Manufacturing and Logistics“ – Arbeit in der digitalisierten Produktion --- Lernförderliche Arbeitsorganisation in der Industrie 4.0 --- Decision Support Pipelines – Durchgängige Datenverarbeitungsinfrastrukturen für die Entscheidungen von morgen --- Gerechtigkeit in flexiblen Arbeits- und Managementprozessen --- Technologie, Organisation, Qualifikation
    Pages: Online-Ressource (XI, 246 Seiten) , 62 Abbildungen, 56 Abbildungen in Farbe
    ISBN: 9783662492666
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-49266-6
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    Unknown
    Wireless Sensor Networks : Insights and Innovations (2017)
    Rijeka : InTech
    Details
    Keywords: wireless ; sensor networks ; mobile wireless ; connectivity
    Description / Table of Contents: Chapter 1: Mobile Wireless Sensor Networks: An Overview by Velmani Ramasamy --- Chapter 2: Routing Protocols for Wireless Sensor Networks (WSNs) by Noman Shabbir and Syed Rizwan Hassan --- Chapter 3: Gradient Descent Localization in Wireless Sensor Networks by Nuha A.S. Alwan and Zahir M. Hussain --- Chapter 4: A Novel Hybrid Methodology Applied Optimization Energy Consumption in Homogeneous Wireless Sensor Networks by Plácido Rogerio Pinheiro, Álvaro Meneses Sobreira Neto, Alexei Barbosa Aguiar and Pedro Gabriel Calíope Dantas Pinheiro --- Chapter 5: WSN in Conservation Management by Akbar Ghobakhlou and Shane Inder --- Chapter 6: Recent Advances on Implantable Wireless Sensor Networks by Hugo Dinis and Paulo M. Mendes --- Chapter 7: Low-Cost Energy-Efficient Air Quality Monitoring System Using Wireless Sensor Network by Kavi Kumar Khedo and Vishwakarma Chikhooreeah --- Chapter 8: Modern Clustering Techniques in Wireless Sensor Networks by I.S. Akila, S.V. Manisekaran and R. Venkatesan --- Chapter 9: Fuzzy Adaptive Setpoint Weighting Controller for WirelessHART Networked Control Systems by Sabo Miya Hassan, Rosdiazli Ibrahim, Nordin Saad, Vijanth Sagayan Asirvadam, Kishore Bingi and Tran Duc Chung --- Chapter 10: A Hybrid Sink Repositioning Technique for Data Gathering in Wireless Sensor Networks by Prerana Shrivastava
    Pages: Online-Ressource (206 Seiten)
    ISBN: 9789535135623
    URL: https://www.intechopen.com/books/wireless-sensor-networks-insights-and-innovations
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 90
    Unknown
    Security of Networks and Services in an All-Connected World : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers and civilization ; Computer Science ; Computer Communication Networks ; Systems and Data Security ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation ; Computers and Society ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Making Flow-Based Security Detection Parallel --- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts --- Achieving Reproducible Network Environments with INSALATA --- Towards a Software-Defined Security Framework for Supporting Distributed Cloud --- Optimal Service Function Chain Composition in Network Functions Virtualization --- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services --- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications --- Towards Internet Scale Quality-of-Experience Measurement with Twitter --- Hunting SIP Authentication Attacks Efficiently --- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks --- Flow-Based Detection of IPv6-specific Network Layer Attacks --- Towards a Hybrid Cloud Platform Using Apache Mesos --- Visual Analytics for Network Security and Critical Infrastructures --- Preserving Relations in Parallel Flow Data Processing --- SmartDEMAP: A Smart Contract Deployment and Management Platform --- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads --- Situational Awareness: Detecting Critical Dependencies and Devices in a Network --- A Framework for SFC Integrity in NFV Environments --- Multi-domain DDoS Mitigation based on Blockchains
    Pages: Online-Ressource (XX, 192 pages) , 55 illustrations
    ISBN: 9783319607740
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60774-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    Unknown
    Agile Processes, in Software Engineering, and Extreme Programming : 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Business ; Management information systems ; Software engineering ; Computer science ; Business and Management ; Business Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Full Research Papers --- Experience Reports --- Empirical Studies Papers --- Doctoral Symposium Papers
    Pages: Online-Ressource (XIII, 334 pages) , 37 illustrations
    ISBN: 9783319335155
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33515-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 92
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.
    Pages: Online-Ressource (XIII, 306 pages) , 55 illustrations
    ISBN: 9783319576336
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57633-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    Unknown
    Efficient Learning Machines : Theories, Concepts, and Applications for Engineers and System Designers (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics)
    Description / Table of Contents: Machine learning techniques provide cost-effective alternatives to traditional methods for extracting underlying relationships between information and data and for predicting future events by processing existing information to train models. Efficient Learning Machines explores the major topics of machine learning, including knowledge discovery, classifications, genetic algorithms, neural networking, kernel methods, and biologically-inspired techniques. Mariette Awad and Rahul Khanna’s synthetic approach weaves together the theoretical exposition, design principles, and practical applications of efficient machine learning. Their experiential emphasis, expressed in their close analysis of sample algorithms throughout the book, aims to equip engineers, students of engineering, and system designers to design and create new and more efficient machine learning systems. Readers of Efficient Learning Machines will learn how to recognize and analyze the problems that machine learning technology can solve for them, how to implement and deploy standard solutions to sample problems, and how to design new systems and solutions. Advances in computing performance, storage, memory, unstructured information retrieval, and cloud computing have coevolved with a new generation of machine learning paradigms and big data analytics, which the authors present in the conceptual context of their traditional precursors. Awad and Khanna explore current developments in the deep learning techniques of deep neural networks, hierarchical temporal memory, and cortical algorithms. Nature suggests sophisticated learning techniques that deploy simple rules to generate highly intelligent and organized behaviors with adaptive, evolutionary, and distributed properties. The authors examine the most popular biologically-inspired algorithms, together with a sample application to distributed datacenter management. They also discuss machine learning techniques for addressing problems of multi-objective optimization in which solutions in real-world systems are constrained and evaluated based on how well they perform with respect to multiple objectives in aggregate. Two chapters on support vector machines and their extensions focus on recent improvements to the classification and regression techniques at the core of machine learning
    Pages: Online-Ressource (XIX, 268 pages) , 88 illustrations
    ISBN: 9781430259909
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-5990-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    Unknown
    Energy Efficient Servers : Blueprints for Data Center Optimization (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer organization ; Computers ; Computer Science ; Computer Systems Organization and Communication Networks ; Information Systems and Communication Service
    Description / Table of Contents: Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these features and the role firmware and software play in initialization and control. Using examples from cloud, HPC, and enterprise environments, the book demonstrates how various power management technologies are utilized across a range of server utilization. It teaches the reader how to monitor, analyze, and optimize their environment to best suit their needs. It shares optimization techniques used by data center administrators and system optimization experts at the world’s most advanced data centers
    Pages: Online-Ressource (XXI, 360 pages) , 103 illustrations
    ISBN: 9781430266389
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6638-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    Unknown
    Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Software engineering ; Mathematical statistics ; Computers ; Artificial intelligence ; Computer graphics ; Computer Science ; Information Systems and Communication Service ; Artificial Intelligence (incl. Robotics) ; Computer Communication Networks ; Software Engineering/Programming and Operating Systems ; Probability and Statistics in Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Smart algorithms --- Data classification and processing --- Stochastic modelling --- Performance evaluation --- Queuing systems --- Wireless networks and security --- Image processing and computer vision
    Pages: Online-Ressource (XIII, 278 pages) , 75 illustrations
    ISBN: 9783319472171
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47217-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 96
    Unknown
    Policy-Oriented Technology Assessment Across Europe (2016)
    London : Palgrave Macmillan
    Details
    Keywords: Computer network architectures ; Political theory ; Public policy ; Political science ; Public administration ; Computer Systems Organization and Communication Networks ; Political Theory ; Public Policy ; Science, Humanities and Social Sciences, multidisciplinary ; Political Science ; Public Administration
    Description / Table of Contents: This book is open access under a CC-BY license. Policy-making to address grand challenges faces greater complexity than any previous project of modernization. Future scenarios are haunted by uncertainty and there is real ambivalence as to the values that policy should strive for. In this situation decision-makers look to research and innovation to provide answers and solutions. But neither can the great transitions ahead be planned by science, nor will conventional methods of innovation bring such transitions about. A turn to interactive governance is therefore underway with policy-makers and citizens becoming increasingly involved in processes of deliberating futures. Technology Assessment (TA) is the art of structuring such processes. TA goes beyond traditional expert policy analysis by systematically combining a multi-disciplinary evidence base with participatory approaches to policy deliberation. TA thus seeks to act as a hub for serious and transparent dialogue between policy, industry, science, and society about the challenges ahead and the available options for overcoming them responsibly. This volume offers an up-to-date account of the expansion of technology assessment capacities across new European member states. The contributions of this volume are written by leading European researchers and practitioners in technology assessment (TA) and are based on the PACITA (Parliaments and Civil Society in Technology Assessment) project. Lars Klüver is Director of the Danish Board of Technology, Copenhagen, Denmark. Rasmus Øjvind Nielsen is Researcher at the Danish Board of Technology, Copenhagen, Denmark. Marie Louise Jørgensen is Project Manager at the Danish Board of Technology, Copenhagen, Denmark
    Pages: Online-Ressource (XVI, 171 pages)
    ISBN: 9781137561725
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-137-56172-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    Unknown
    Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Computers ; Law and legislation ; Management information systems ; Computer Science ; Management of Computing and Information Systems ; Software Engineering ; Legal Aspects of Computing ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: This book is open access under a CC BY license. This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation
    Pages: Online-Ressource (XIV, 220 pages) , 37 illustrations
    ISBN: 9783319577357
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57735-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    Unknown
    Computation and the Humanities : Towards an Oral History of Digital Humanities (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; User interfaces (Computer systems) ; Application software ; Computers ; Computers and civilization ; Computer Science ; History of Computing ; User Interfaces and Human Computer Interaction ; Computer Appl. in Arts and Humanities ; Computers and Society
    Description / Table of Contents: Once Neglected, Now Emerging and Absolutely Necessary: On the History of Digital Humanities or An Introduction --- Why Oral History? ---  ‘Individuation is There in all the Different Strata:’ an Oral History Conversation between John Burrows, Hugh Craig and Willard McCarty --- ‘It was a Time When the University was Still Taking Account of the Meaning of universitas scientiarum’: an Oral History Conversation between Wilhelm Ott and Julianne Nyhan --- ‘hic Rhodus, hic salta’: An Oral History Interview Between Tito Orlandi and Julianne Nyhan --- ‘They Took a Chance’: An Oral History Conversation between Susan Hockey and Julianne Nyhan ---  ‘And Here We go Back Again to the Influence of Algorithmic Thinking’: An Oral History conversation between Judy Malloy and Julianne Nyhan --- ‘I Would Think of Myself as Sitting Inside the Computer, Moving Things Around in Order to Accomplish the Goal of my Programming’: An Oral History Conversation Between Mary Dee Harris and Julianne Nyhan --- ‘I Was Absolutely Convinced That There Had to be a Better Way’: An Oral History Conversation Between John Nitti and Julianne Nyhan --- ‘It’s a Little Mind-Boggling Actually’: An Oral History Conversation between Helen Agüera and Julianne Nyhan ---  ‘I Heard About the Arrival of the Computer’: An Oral History Conversation Between Hans Rutimann and Julianne Nyhan ---  ‘Langezeit habe ich der Universitaet nachgetrauert’: An Oral History Conversation between Michael Sperberg-McQueen and Julianne Nyhan.-‘It’s Probably the Only Modestly Widely used System with a Command Language in Latin’: An Oral History Conversation Between Manfred Thaller and Julianne Nyhan ---  ‘I was Keen on Getting Computers into Humanists’ Thinking’: An Oral History Conversation Between John Bradley and Julianne Nyhan ---  ‘Moderate Expectations, Tolerable Disappointments’: An Oral History Conversation between Claus Huitfeldt and Julianne Nyhan --- ‘So, Into the Chopper it Went’: An Oral History Conversation between Gabriel Egan and Julianne Nyhan --- Revolutionaries and Underdogs --- By Way of a Conclusion
    Pages: Online-Ressource (XI, 285 pages)
    ISBN: 9783319201702
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-20170-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 99
    Unknown
    S-BPM in the Production Industry : A Stakeholder Approach (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: Introduction --- Industrial Challenges. S-BPM's Industrial Capabilities --- Lot-Size One Production. People-Centred Production Design --- Human-Controlled Production --- Learnings --- The Future: Obstacles and Opportunities
    Pages: Online-Ressource (XIV, 232 pages) , 78 illustrations
    ISBN: 9783319484662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-48466-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 100
    Unknown
    S-BPM in the Wild : Practical Value Creation (2015)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: 1 Introduction --- Part I Business Operation Support --- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry --- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology --- 4 Introducing S-BPM at an IT Service Providers --- 5 A Service Hardware Application Case Fiducia --- 6 Designing an Agile Process Layer for Competitive Differentiation --- Part II Consultancy and Education Support --- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds --- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management --- 9 A Reference Model for Maintenance Processes --- 10 Role and Rights Management --- 11 Embodying Business Rules in S-BPM --- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario --- Part III Technical Execution Support --- 13 An Abstract State Machine Interpreter for S-BPM --- 14 Structured Communication—Approaching S-BPM with Microsoft Technologies --- 15 ERP Integration in S-BPM Processes
    Pages: Online-Ressource (XIV, 283 pages) , 134 illustrations
    ISBN: 9783319175423
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-17542-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...