Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""bic Book Industry Communication:U Computing & information technology:UY Computer science"" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-20 z 47
Tytuł:
Heterogeneity, High Performance Computing, Self-Organization and the Cloud
Autorzy:
John P. Morrison
David Kenny
Theo Lynn
Pokaż więcej
Temat:
resource management
blueprints
application
supply chain
PaaS
Saas
big data
HPCaaS
self-management
self-organisation
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
HF5001-6182
Opis pliku:
image/jpeg
Relacje:
Palgrave Studies in Digital Business & Enabling Technologies
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/49254  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Tytuł:
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 II
Autorzy:
Dirk Beyer
Marieke Huisman
Pokaż więcej
Temat:
state space
semantics
programming languages
program compilers
specifications
formal logic
model checking
multi core processors
computer architecture
formal methods
software engineering
computer software selection and evaluation
model checker
verification
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
Opis pliku:
image/jpeg
Relacje:
Theoretical Computer Science and General Issues
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/60990  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Tytuł:
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
Autorzy:
Dirk Beyer
Marieke Huisman
Pokaż więcej
Temat:
cryptography
privacy
world wide web
semantics
programming languages
formal specification
program compilers
formal logic
computer science
separation logic
formal methods
data privacy
security systems
software engineering
computer software selection and evaluation
internet
verification
authentication
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
Opis pliku:
image/jpeg
Relacje:
Theoretical Computer Science and General Issues
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/60989  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Tytuł:
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
Autorzy:
Alessandra Russo
Andy Schürr
Pokaż więcej
Temat:
formal logic
computer software maintenance
formal methods
software engineering
semantics
programming languages
computer software selection and evaluation
formal specification
specifications
verification
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
Opis pliku:
image/jpeg
Relacje:
Theoretical Computer Science and General Issues
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/48199  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Tytuł:
Control Theory Tutorial: Basic Concepts Illustrated by Software Examples
Autorzy:
Steven A. Frank
Pokaż więcej
Temat:
Control Theory
Wolfram Mathematica Software
Robust Control
Engineering Design Tradeoffs
Feedback Control Systems
Optimal Control
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
Opis pliku:
application/octet-stream
Relacje:
SpringerBriefs in Applied Sciences and Technology
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/44033  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Tytuł:
Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings
Autorzy:
Xiaofeng Wang
Juan Garbajosa
Ademar Aguiar
Pokaż więcej
Temat:
test-driven development
project and people management
continuous experimentation
empirical software engineering
agile software development
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
Opis pliku:
application/octet-stream
Relacje:
Lecture Notes in Business Information Processing
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/40468  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Tytuł:
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Autorzy:
Amal Ahmed
Pokaż więcej
Temat:
distributed computer systems
program verification
software engineering specifications
systems verification
processors
semantics
type
program compilers
artificial intelligence
formal logic
formal model
java
model checking
computer architecture
separation logic
programming language
theorem proving
computer software selection and evaluation
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
Opis pliku:
image/jpeg
Relacje:
Theoretical Computer Science and General Issues Series
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/57149  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Tytuł:
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Autorzy:
Ralf Küsters
Lujo Bauer
Pokaż więcej
Temat:
security analysis
cryptography
privacy
world wide web
semantics
programming languages
formal specification
program compilers
specifications
formal logic
computer science
separation logic
formal methods
data privacy
security systems
software engineering
computer software selection and evaluation
internet
verification
authentication
bic Book Industry Communication:U Computing & information technology:UY Computer science
QA75.5-76.95
Opis pliku:
image/jpeg
Relacje:
Security and Cryptology
Dostęp URL:
https://directory.doabooks.org/handle/20.500.12854/56986  Link otwiera się w nowym oknie
Książka elektroniczna
Szczegóły
Wyświetlanie 1-20 z 47

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies