Keresési eredmények - "szoftver"

1

SOFSEM 95 : Theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : Proceedings

SOFSEM 95 : Theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : Procee...

Megjelenés: 1995

Tárgyszavak: “...számítógéptudomány -- szoftver -- konferencia...”

könyv

2

The Essence of Software Engineering

The Essence of Software Engineering

Megjelenés: 2018

Tárgyszavak: “...szoftver projekt -- menedzselés...”
Ugrás a forráshoz

könyv

3

QoS Prediction in Cloud and Service Computing : Approaches and Applications

QoS Prediction in Cloud and Service Computing : Approaches and Applications

Szerző: Zhang, Yilei
Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

4

Algorithms and Architectures for Parallel Processing : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

Algorithms and Architectures for Parallel Processing : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

5

Networked Systems : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Networked Systems : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

6

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

7

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

8

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

9

Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

10

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity

Szerző: Zeume, Thomas
Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

11

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

12

Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

13

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

14

Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

15

Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

16

Computer Security – ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

Computer Security – ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

17

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

18

Euro-Par 2016: Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

Euro-Par 2016: Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

19

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv

20

Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Megjelenés: 2017

Tárgyszavak: “...szoftver...”
Ugrás a forráshoz

könyv