Search Results for Computer Applications.

|

|

|

ADA Moduna dönüştürmek için tıklayınız

|

Yardım

Remember to clear the cache and close the browser window.

Ana Sayfa

Search Limit

8

Search Field

Arama:

Gelişmiş Arama

Search Results Elektronik Kaynaklar

Arama Sonuçlarını Sınırlandır

Daraltılmış:

English arama terimini sil

+

Dil: English

Yazar

SpringerLink (Online service)

(88)

ProQuest (Firm)

(83)

Zelkowitz, Marvin V., 1945-

(22)

International Federation of Automatic Control.

(8)

Bhateja, Vikrant. editor.

(5)

Satapathy, Suresh Chandra. editor.

(5)

Leondes, Cornelius T.

(4)

Reis, Luís Paulo. editor.

(4)

Rocha, Álvaro. editor.

(4)

Yovits, M. C. (Marshall Clinton)

(4)

Adeli, Hojjat. editor.

(3)

Correia, Ana Maria. editor.

(3)

Costanzo, Sandra. editor.

(3)

(3)

International Federation of Automatic Control. Committee on Systems Engineering.

(3)

Kacprzyk, Janusz. editor.

(3)

Kulisch, Ulrich.

(3)

Nalwa, Hari Singh, 1954-

(3)

Zelkowitz, Marvin V., 1945- editor.

(3)

Abramovich, Sergei.

(2)

Adamatzky, Andrew. editor.

(2)

Aghajan, Hamid K.

(2)

Alexandris, Christina.

(2)

(2)

Ao, Sio-Iong. editor.

(2)

Austerlitz, Howard.

(2)

Barlotti, A. (Adriano), 1923-

(2)

Bovik, Alan C. (Alan Conrad), 1958-

(2)

Bowerman, Bruce L., author.

(2)

(2)

Catlow, C. R. A. (Charles Richard Arthur), 1947-

(2)

Gabbay, Dov M., 1945-

(2)

Gani, R. (Rafiqul)

(2)

Hammer, P. L., 1936-2006.

(2)

Haussecker, Horst.

(2)

Institute for Computer Applications in Science and Engineering.

(2)

Institute of Materials, Minerals, and Mining.

(2)

International Federation for Information Processing.

(2)

International Federation of Automatic Control. Technical Committee on Applications.

(2)

Joshi, Amit. editor.

(2)

Jähne, Bernd, 1953-

(2)

Kim, Haeng Kon. editor.

(2)

Kominkova Oplatkova, Zuzana. editor.

(2)

Kumar, Sanjeev. editor.

(2)

Lee, Sung Chil, 1957-

(2)

Leszczynski, Jerzy, 1949-

(2)

Massachusetts Institute of Technology. degree granting institution.

(2)

Mastorakis, Nikos E.

(2)

Mohapatra, Durga Prasad. editor.

(2)

Murphree, Emily S., author.

(2)

O'Connell, Richard T., author.

(2)

Pattnaik, Prasant Kumar. editor.

(2)

Prokopova, Zdenka. editor.

(2)

Raman, Balasubramanian. editor.

(2)

(2)

(2)

Roy, Partha Pratim. editor.

(2)

Rubinoff, Morris.

(2)

Sahay, Amar., author.

(2)

(2)

ScienceDirect (Online service)

(2)

Sen, Debashis. editor.

(2)

Senkerik, Roman. editor.

(2)

Sharp, J. J. (James Jack), 1939-

(2)

(2)

Silhavy, Petr. editor.

(2)

Silhavy, Radek. editor.

(2)

Simmons, C. H. (Colin H.)

(2)

Udgata, Siba K. editor.

(2)

University of Glasgow (United Kingdom). Department not provided. degree granting institution.

(2)

Yoo, Chai Hong.

(2)

Abbott, Doug, 1944-

(1)

Ablameyko, Sergey, 1956-

(1)

Abraham, Ajith. editor.

(1)

(1)

Achenie, Luke E. K.

(1)

Adachi, Hideaki.

(1)

Advanced Research Institute on Discrete Optimization and Systems Applications (1977 : Banff, Alta.)

(1)

Agachi, Paul Șerban.

(1)

Agnew, David, 1947-

(1)

Agrawala, Ashok K.

(1)

Agterberg, F. P.

(1)

(1)

Akansu, Ali N., 1958-

(1)

Alabama Agricultural and Mechanical University. Electrical Engineering & Computer Science. degree granting institution.

(1)

Alahi, Alexandre, contributor.

(1)

(1)

Alharbi, Mohammed N., author. (orcid)0000-0002-9483-3155

(1)

Allen, Arnold O.

(1)

Allen, David T.

(1)

Alshaer, Mashael Abdulrahman, author.

(1)

Altiok, Tayfur.

(1)

Ambrosius, Lee, author.

(1)

American Society for Cell Biology.

(1)

(1)

Amouzegar, Mahyar A. editor.

(1)

An, Hong, author.

(1)

(1)

Andrade Flauzino, Rogerio. author.

(1)

Annual Conference of Computer Applications and Quantitative Methods in Archaeology (40th : 2012 : Southampton)

(1)

Arnold, David B.

(1)

(1)

Aspen University. Computer Science. degree granting institution.

(1)

Attenborough, Mary (Mary Patricia), 1954-

(1)

Augusto, Juan Carlos.

(1)

Aumann, Robert J.

(1)

Austerlitz, Howard. Data acquisition techniques using personal computers.

(1)

Avdaković, Samir. editor.

(1)

Ayres, Robert U.

(1)

Baca, José. editor.

(1)

Bacon, D. H. (Dennis Henry)

(1)

Ballard, Will, author.

(1)

Bandekar, Ashutosh, author.

(1)

Bankman, I. N. (Isaac N.)

(1)

Bansal, Dipali, author.

(1)

Baranoski, Gladimir Valerio Guimarães, 1964-

(1)

Bartz, D. (Dirk)

(1)

Basak, Subhash C., 1945-

(1)

Baskerville, Richard. editor.

(1)

Bates, Martin, 1952-

(1)

Bates-Brkljac, Nada.

(1)

(1)

Baylor University. Engineering and Computer Science. degree granting institution.

(1)

Beck, Robert E., 1941-

(1)

Bedenik, Branko S.

(1)

(1)

Behera, Himansu Sekhar. editor.

(1)

Beliakov, Gleb. editor.

(1)

Ben Jouida, Sihem, author.

(1)

Ben-Daya, M. (Mohamed)

(1)

Benthem, Johan van, 1949-

(1)

Berger, Arnold S.

(1)

Berger, Carolynn M.

(1)

Berger, Gabrielle N. author.

(1)

Berger, Hans P.

(1)

Berztiss, Alfs T. Specification and implementation of abstract data types.

(1)

(1)

Bhatia, Sanjiv K. editor.

(1)

Bhattacharya, Diptendu. author.

(1)

Bhattacharyya, D.

(1)

Bhushan, Bharat. editor.

(1)

Biringen, Sedat.

(1)

Birkholz, Erik Pace.

(1)

Birnberg, Howard G.

(1)

Birnberg, Howard G. Project management for building designers and owners.

(1)

Biswas, Taposh, author.

(1)

Black, John (John Arthur)

(1)

Black, Stewart C., 1930-

(1)

Blackburn, Patrick, 1959-

(1)

Blythe, David, 1961-

(1)

Boashash, Boualem.

(1)

Bocconi, Stefania.

(1)

Boicescu, V. (Vlad), 1945-

(1)

Bonk, Brian M., author.

(1)

(1)

(1)

Bouchaud, Jean-Philippe, 1962-

(1)

Boucher, Thomas O.

(1)

Bougrain, Laurent, editor.

(1)

(1)

Bourlard, Hervé, 1956-

(1)

Bowyer, Adrian.

(1)

Boyle, Brandon H.

(1)

Brand, Ludwig, editor.

(1)

(1)

Braunschweig, Bertrand.

(1)

British Universities Film Council.

(1)

Bronson, Richard.

(1)

Brunner, Romuald M. author.

(1)

Buchanan, Bruce G. Principles of rule-based expert systems.

(1)

Buchanan, William.

(1)

Budin, Gerhard.

(1)

Budowle, Bruce, 1953-

(1)

Budzynski, Thomas H.

(1)

Bugliarello, George.

(1)

Bukoveczky, Juraj.

(1)

Buongiorno, Joseph.

(1)

Burgess, Morgan Lyn, author.

(1)

Burney, DeAnna McKinnie., author.

(1)

Burney, Micaela L., author.

(1)

Bézier, Pierre.

(1)

Bílý, Matěj.

(1)

(1)

Calise, Fulvio. editor.

(1)

Camacho-Lara, Sergio. editor.

(1)

Camposano, Raul.

(1)

Cantoni, Lorenzo. editor.

(1)

(1)

(1)

Cappellini, Vito.

(1)

Cardona, Manuel N. editor.

(1)

(1)

Carnegie Mellon University. Mechanical Engineering. degree granting institution.

(1)

Carrera, Isela G. editor.

(1)

Carroll, John J., 1958-

(1)

Carroll, John M. (John Millar), 1950-

(1)

Casciola, Luciano. editor.

(1)

Castillo, Oscar. editor.

(1)

Catani, Fabio. editor.

(1)

Cavallaro, Andrea.

(1)

Tümünü genişlet

Materyal Türü

Yayın Yılı

-

(91)

(45)

(44)

(40)

(37)

(23)

(23)

(22)

(22)

(21)

(19)

(19)

(18)

(18)

(17)

(17)

(17)

(17)

(17)

(17)

(15)

(13)

(12)

(11)

(10)

(10)

(10)

(10)

(9)

(9)

(9)

(9)

(8)

(7)

(6)

(6)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Electronic books.

(495)

(81)

Artificial intelligence.

(50)

Computational intelligence.

(47)

Conference papers and proceedings.

(45)

Computer science.

(40)

Artificial Intelligence (incl. Robotics).

(36)

(25)

COMPUTERS -- Data Processing.

(23)

COMPUTERS -- Hardware -- General.

(23)

COMPUTERS -- Machine Theory.

(23)

Electrical engineering.

(23)

COMPUTERS -- Computer Literacy.

(22)

COMPUTERS -- Computer Science.

(22)

COMPUTERS -- Information Technology.

(22)

COMPUTERS -- Reference.

(22)

Electronic data processing.

(21)

(20)

Computer graphics.

(19)

Communications Engineering, Networks.

(17)

Computer vision.

(13)

TECHNOLOGY & ENGINEERING -- Engineering (General)

(13)

Computer security.

(11)

Computer-aided design.

(11)

Image processing -- Digital techniques.

(11)

(10)

Complexity, Computational.

(9)

(9)

Computer science -- Mathematics.

(9)

Control engineering.

(9)

(9)

TECHNOLOGY & ENGINEERING -- Chemical & Biochemical.

(9)

Biomedical engineering.

(8)

COMPUTERS -- Internet -- Security.

(8)

COMPUTERS -- Networking -- Security.

(8)

COMPUTERS -- Security -- General.

(8)

Computer mathematics.

(8)

Computer networks -- Security measures.

(8)

Electronic book.

(8)

Handbooks and manuals.

(8)

Human-computer interaction.

(8)

Image processing.

(8)

Signal, Image and Speech Processing.

(8)

TECHNOLOGY & ENGINEERING -- Imaging Systems.

(8)

TECHNOLOGY & ENGINEERING -- Reference.

(8)

Computer engineering.

(7)

Computer integrated manufacturing systems.

(7)

Medicine & Public Health.

(7)

(6)

Computer interfaces.

(6)

(6)

(6)

Economics/Management Science.

(6)

Electroencephalography.

(6)

(6)

Management information systems.

(6)

SCIENCE -- Chemistry -- Industrial & Technical.

(6)

Software engineering.

(6)

TECHNOLOGY & ENGINEERING -- Technical & Manufacturing Industries & Trades.

(6)

Visual Basic for Applications (Computer program language)

(6)

(5)

Application software.

(5)

Automatic control.

(5)

COMPUTERS -- Digital Media -- Graphics Applications.

(5)

COMPUTERS -- Image Processing.

(5)

Computer Communication Networks.

(5)

Computer architecture.

(5)

Computer communication systems.

(5)

(5)

Datenverarbeitung

(5)

Engineering mathematics.

(5)

(5)

Mathematical Applications in Computer Science.

(5)

(5)

Mechanical engineering.

(5)

PHOTOGRAPHY -- Techniques -- Digital.

(5)

Quality control.

(5)

Structural analysis (Engineering) -- Data processing.

(5)

System analysis.

(5)

TECHNOLOGY & ENGINEERING -- Industrial Engineering.

(5)

TECHNOLOGY & ENGINEERING -- Material Science.

(5)

TECHNOLOGY & ENGINEERING -- Mechanical.

(5)

User interfaces (Computer systems)

(5)

(4)

(4)

(4)

Application software -- Development.

(4)

Aufsatzsammlung

(4)

Automatic control -- Data processing -- Congresses.

(4)

Automatic control -- Data processing.

(4)

(4)

Brain-computer interfaces.

(4)

Business -- Computer programs.

(4)

Business Information Systems.

(4)

Chemical process control -- Data processing.

(4)

Computer Applications.

(4)

Computer integrated manufacturing systems -- Congresses.

(4)

Computer networks.

(4)

Computer-assisted instruction.

(4)

Data Mining and Knowledge Discovery.

(4)

Engineering design.

(4)

Geometry -- Data processing.

(4)

Image Processing and Computer Vision.

(4)

Imaging systems in medicine.

(4)

Imaging systems.

(4)

Industrial safety.

(4)

Information Systems and Communication Service.

(4)

Information technology.

(4)

Information visualization.

(4)

Intelligence artificielle.

(4)

MATHEMATICS -- General.

(4)

Materials science.

(4)

Microprocessors.

(4)

Nanotechnology.

(4)

Parallel processing (Electronic computers)

(4)

Pattern recognition systems.

(4)

Processor Architectures.

(4)

Quality Control, Reliability, Safety and Risk.

(4)

(4)

SCIENCE -- Chemistry -- Physical & Theoretical.

(4)

Science -- Data processing.

(4)

Signal processing -- Digital techniques.

(4)

Systems and Data Security.

(4)

TECHNOLOGY & ENGINEERING -- Electronics -- Digital.

(4)

TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.

(4)

TECHNOLOGY & ENGINEERING -- Structural.

(4)

(3)

(3)

(3)

(3)

(3)

Applied mathematics.

(3)

Applied physics.

(3)

Artificial intelligence -- Industrial applications.

(3)

BASIC (Computer program language)

(3)

BASIC (Langage de programmation)

(3)

(3)

Bioinformatics.

(3)

Business -- Data processing.

(3)

COMPUTERS -- Information Theory.

(3)

COMPUTERS -- Interactive & Multimedia.

(3)

COMPUTERS -- Systems Architecture -- General.

(3)

Chemical process control -- Data processing -- Congresses.

(3)

Circuits and Systems.

(3)

Computational Mathematics and Numerical Analysis.

(3)

Computer Simulation.

(3)

Computer arithmetic.

(3)

Computer programming.

(3)

Computer simulation.

(3)

Computer-aided design -- Congresses.

(3)

Conception assistée par ordinateur.

(3)

Continuum Mechanics and Mechanics of Materials.

(3)

Continuum mechanics.

(3)

Control, Robotics, Mechatronics.

(3)

Dataprocessing.

(3)

Digital electronics.

(3)

Electronic apparatus and appliances.

(3)

Electronic circuits.

(3)

Electronic data processing -- Distributed processing.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

Engineering & Applied Sciences.

(3)

Expert systems (Computer science)

(3)

Expert systems (Computer science) -- Industrial applications.

(3)

Graphics processing units -- Programming.

(3)

HEALTH & FITNESS -- Diseases -- Nervous System (incl. Brain)

(3)

Imaging / Radiology.

(3)

Industrial engineering.

(3)

(3)

(3)

Künstliche Intelligenz

(3)

MATHEMATICS -- Probability & Statistics -- General.

(3)

MEDICAL -- Diagnosis.

(3)

MEDICAL -- Diagnostic Imaging.

(3)

MEDICAL -- Drug Guides.

(3)

MEDICAL -- Neurology.

(3)

MEDICAL -- Nursing -- Pharmacology.

(3)

MEDICAL -- Pharmacology.

(3)

MEDICAL -- Pharmacy.

(3)

Mathematical models.

(3)

(3)

Microcomputers.

(3)

Microelectronics.

(3)

Nanostructured materials.

(3)

Numerische Mathematik

(3)

(3)

Power electronics -- Encyclopedias.

(3)

Power electronics.

(3)

(3)

Process control -- Data processing.

(3)

Production engineering.

(3)

Robotics and Automation.

(3)

SCIENCE -- Physics -- Crystallography.

(3)

Signals Processing

(3)

(3)

TECHNOLOGY & ENGINEERING -- Civil -- General.

(3)

TECHNOLOGY & ENGINEERING -- Electrical.

(3)

TECHNOLOGY & ENGINEERING -- Hydraulics.

(3)

TECHNOLOGY & ENGINEERING -- Signals & Signal Processing.

(3)

(3)

(2)

Tümünü genişlet

Kütüphane

Başkent Kütüphanesi

Lokasyon

Atasev Özel Koleksiyonu

Elsevier E-Kitap Koleksiyonu

Merkez Kütüphane

Proquest E-Tez Koleksiyonu

Tümünü genişlet

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Cooliris görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

639 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 4 5 6 7 8 .. 54

Eposta Adresleri:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

000000000000DEFAULTTR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2 için kapak resmi

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

61.

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

by

Silhavy, Radek. editor.

http://dx.doi.org/10.1007/978-3-319-57264-2

Format:

Alıntı:

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer

Light & skin interactions : simulations for computer graphics applications için kapak resmi

Light & skin interactions : simulations for computer graphics applications

62.

Light & skin interactions : simulations for computer graphics applications

by

Baranoski, Gladimir Valerio Guimarães, 1964-

ScienceDirect https://www.sciencedirect.com/science/book/9780123750938

Format:

Alıntı:

Light & skin interactions : simulations for computer graphics applications / Baranoski, Gladimir

Multimodal signal processing : theory and applications for human-computer interaction için kapak resmi

Multimodal signal processing : theory and applications for human-computer interaction

63.

Multimodal signal processing : theory and applications for human-computer interaction

by

Thiran, Jean-Philippe.

ScienceDirect https://www.sciencedirect.com/science/book/9780123748256

Format:

Alıntı:

Multimodal signal processing : theory and applications for human-computer interaction / Thiran

Computer vision and applications : a guide for students and practitioners için kapak resmi

Computer vision and applications : a guide for students and practitioners

64.

Computer vision and applications : a guide for students and practitioners

by

Jähne, Bernd, 1953-

ScienceDirect http://www.sciencedirect.com/science/book/9780123797773

Format:

Alıntı:

Computer vision and applications : a guide for students and practitioners / Jähne, Bernd, 1953-

Computer applications in food technology : use of spreadsheets in graphical, statistical, and process analyses için kapak resmi

Computer applications in food technology : use of spreadsheets in graphical, statistical, and process analyses

65.

Computer applications in food technology : use of spreadsheets in graphical, statistical, and process analyses

by

Singh, R. Paul.

ScienceDirect http://www.sciencedirect.com/science/book/9780126463828

Format:

Alıntı:

Computer applications in food technology : use of spreadsheets in graphical, statistical, and

Computer vision and applications : a guide for students and practitioners için kapak resmi

Computer vision and applications : a guide for students and practitioners

66.

Computer vision and applications : a guide for students and practitioners

by

Jähne, Bernd, 1953-

ScienceDirect http://www.sciencedirect.com/science/book/9780123822567

Format:

Alıntı:

Computer vision and applications : a guide for students and practitioners / Jähne, Bernd, 1953-

Novel Applications and Methods for the Computer-Aided Understanding and Design of Enzyme Activity için kapak resmi

Novel Applications and Methods for the Computer-Aided Understanding and Design of Enzyme Activity

67.

Novel Applications and Methods for the Computer-Aided Understanding and Design of Enzyme Activity

by

Bonk, Brian M., author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902215

Format:

Alıntı:

Novel Applications and Methods for the Computer-Aided Understanding and Design of Enzyme Activity /

Probability, statistics, and queueing theory : with computer science applications için kapak resmi

Probability, statistics, and queueing theory : with computer science applications

68.

Probability, statistics, and queueing theory : with computer science applications

by

Allen, Arnold O.

ScienceDirect https://www.sciencedirect.com/science/book/9780080571058

Format:

Alıntı:

Probability, statistics, and queueing theory : with computer science applications / Allen, Arnold O.

Combining Machine Learning with Computer Vision for Precision Agriculture Applications için kapak resmi

Combining Machine Learning with Computer Vision for Precision Agriculture Applications

69.

Combining Machine Learning with Computer Vision for Precision Agriculture Applications

by

Zermas, Dimitris, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10785826

Format:

Alıntı:

Combining Machine Learning with Computer Vision for Precision Agriculture Applications / Zermas

Computer Vision and Deep Learning with Applications to Object Detection, Segmentation, and Document Analysis için kapak resmi

Computer Vision and Deep Learning with Applications to Object Detection, Segmentation, and Document Analysis

70.

Computer Vision and Deep Learning with Applications to Object Detection, Segmentation, and Document Analysis

by

Du, Xianzhi, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10688744

Format:

Alıntı:

Computer Vision and Deep Learning with Applications to Object Detection, Segmentation, and Document

Health Care Evaluation Using Computer Simulation Concepts, Methods, and Applications için kapak resmi

Health Care Evaluation Using Computer Simulation Concepts, Methods, and Applications

71.

Health Care Evaluation Using Computer Simulation Concepts, Methods, and Applications

by

Sobolev, Boris.

http://dx.doi.org/10.1007/978-1-4614-2233-4

Format:

Alıntı:

Health Care Evaluation Using Computer Simulation Concepts, Methods, and Applications / Sobolev

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey için kapak resmi

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

72.

Industrial applications of formal methods to model, design, and analyze computer systems : an international survey

by

Craigen, Dan, 1953-

ScienceDirect https://www.sciencedirect.com/science/book/9780815513629

Format:

Alıntı:

Industrial applications of formal methods to model, design, and analyze computer systems : an

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 4 5 6 7 8 .. 54

Search Results Elektronik Kaynaklar

Search Results Elektronik Kaynaklar

Eposta Adresleri:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

Elektronik Kaynaklar

Sonuçlar alınıyor Elektronik Kaynaklar...

Copyright 2011 SirsiDynix - Enterprise Version 4.3 (32169)