Search Results for Software

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Subject: Algorithms.

Yazar

SpringerLink (Online service)

(530)

Apduhan, Bernady O. editor.

(14)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(14)

Gervasi, Osvaldo. editor.

(8)

Misra, Sanjay. editor.

(8)

Stankova, Elena. editor.

(8)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(8)

Torre, Carmelo M. editor.

(8)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(7)

Trawiński, Bogdan. editor.

(7)

Falcão, Maria Irene. editor.

(6)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(6)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Taniar, David. editor.

(6)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(6)

Vorozhtsov, Evgenii V. editor.

(6)

Wang, Shangguang. editor.

(6)

Ali, Moonis. editor.

(5)

Du, Ding-Zhu. editor.

(5)

Erlebach, Thomas. editor.

(5)

Hameurlain, Abdelkader. editor.

(5)

Jansen, Klaus. editor.

(5)

Küng, Josef. editor.

(5)

Löwe, Benedikt. editor.

(5)

Nguyen, Ngoc Thanh. editor.

(5)

Wagner, Roland. editor.

(5)

Carretero, Jesus. editor.

(4)

Chao, Han-Chieh. editor.

(4)

Corchado, Emilio. editor.

(4)

Cuzzocrea, Alfredo. editor.

(4)

Huang, De-Shuang. editor.

(4)

Li, Xiaodong. editor.

(4)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(4)

Mayr, Ernst W. editor.

(4)

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776

(4)

Quintián, Héctor. editor.

(4)

Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162

(4)

Ricci, Laura. editor.

(4)

Scarano, Vittorio. editor.

(4)

Shi, Yuhui. editor.

(4)

Squillero, Giovanni. editor.

(4)

Sun, Xingming. editor.

(4)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(4)

Acosta, Maribel. editor. (orcid)0000-0002-1209-2868

(3)

Alexander, Michael. editor.

(3)

Astorino, Annabella. editor. (orcid)0000-0002-3439-180X

(3)

Bampis, Evripidis. editor.

(3)

Bonato, Anthony. editor.

(3)

Borruso, Giuseppe. editor.

(3)

Cannataro, Mario. editor.

(3)

Costan, Alexandru. editor.

(3)

Didyk, Piotr. editor. (orcid)0000-0003-0768-8939

(3)

Dongarra, Jack. editor.

(3)

Esparza, Javier. editor.

(3)

Fomin, Fedor V. editor.

(3)

Fujita, Hamido. editor. (orcid)0000-0001-5256-210X

(3)

Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047

(3)

Ganzha, Victor G. editor.

(3)

Gracia, José. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Han, Kyungsook. editor.

(3)

Hou, Junhui. editor. (orcid)0000-0003-3431-2021

(3)

Hua, Gang. editor.

(3)

Hunold, Sascha. editor.

(3)

Jégou, Hervé. editor.

(3)

Kaklamanis, Christos. editor.

(3)

Karczewski, Konrad. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733

(3)

Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383

(3)

Lankes, Stefan. editor.

(3)

Legay, Axel. editor.

(3)

Lisena, Pasquale. editor. (orcid)0000-0003-3094-5585

(3)

Nguyen, Ngoc-Thanh. editor.

(3)

Pan, Jeng-Shyang. editor.

(3)

Pardalos, Panos M. editor.

(3)

Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930

(3)

Persiano, Giuseppe. editor.

(3)

Prałat, Paweł. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Rutkowski, Leszek. editor.

(3)

Salomaa, Arto. editor.

(3)

Scherer, Rafał. editor. (orcid)0000-0001-9592-262X

(3)

Scott, Stephen L. editor.

(3)

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X

(3)

Sim, Kevin. editor.

(3)

Solis-Oba, Roberto. editor.

(3)

Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819

(3)

Vega-Rodríguez, Miguel A. editor.

(3)

Voß, Stefan. editor. (orcid)0000-0003-1296-4221

(3)

Weidendorfer, Josef. editor.

(3)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(3)

Zurada, Jacek M. editor. (orcid)0000-0001-6622-534X

(3)

Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453

(2)

Altmann, Jörn. editor.

(2)

Aniorté, Philippe. editor. (orcid)0000-0003-2499-7549

(2)

Apostolou, Dimitris. editor.

(2)

Bandini, Stefania. editor.

(2)

Beckmann, Arnold. editor.

(2)

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637

(2)

Benkner, Siegfried. editor.

(2)

Bertino, Elisa. editor.

(2)

Bertino, Elisa. editor. (orcid)0000-0002-4029-7051

(2)

Bonakdarpour, Borzoo. editor.

(2)

Brandes, Ulrik. editor.

(2)

Brandstädt, Andreas. editor.

(2)

Breitbart, Jens. editor.

(2)

Brucker, Peter. author.

(2)

Burelli, Paolo. editor.

(2)

Cascella, Roberto G. editor.

(2)

Castelli, Mauro. editor.

(2)

Chang, Hsuan-Ting. editor.

(2)

Chang, Lijun. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Chen, Jianer. editor.

(2)

Chen, Shyi-Ming. editor.

(2)

Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336

(2)

Chu, Wei-Ta. editor. (orcid)0000-0001-5722-7239

(2)

Cooper, S. Barry. editor.

(2)

Curry, Edward. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Demetrescu, Camil. editor.

(2)

Deng, Xiaotie. editor.

(2)

Di Fatta, Giuseppe. editor.

(2)

Douligeris, Christos. editor. (orcid)0000-0002-6849-6693

(2)

Du, Hongwei. editor.

(2)

Engels, Gregor. editor.

(2)

Escolano, Francisco. editor.

(2)

Exposito, Ernesto. editor. (orcid)0000-0002-3543-2909

(2)

Felber, Pascal. editor.

(2)

Feng, Jianjiang. editor. (orcid)0000-0002-5940-0063

(2)

Ferragina, Paolo. author.

(2)

Ferrández Vicente, José Manuel. editor.

(2)

Fortino, Giancarlo. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Gao, Hong. editor.

(2)

Gao, Xiaofeng. editor.

(2)

Garcia-Alfaro, Joaquin. editor.

(2)

Garcia-Blas, Javier. editor.

(2)

Gerdt, Vladimir P. editor.

(2)

Gheorghe, Marian. editor.

(2)

Giese, Holger. editor.

(2)

Graham, Fan Chung. editor.

(2)

Guo, Hua. editor.

(2)

Gupta, Prosenjit. editor.

(2)

Hallam, John. editor.

(2)

Han, Meng. editor.

(2)

He, Kun. editor.

(2)

Hodicky, Jan. editor.

(2)

Homenda, Władysław. editor.

(2)

Hong, Tzung-Pei. editor.

(2)

Horng, Mong-Fong. editor.

(2)

Hose, Katja. editor. (orcid)0000-0001-7025-8099

(2)

Hromkovič, Juraj. editor.

(2)

Hsu, Ching-Hsien. editor.

(2)

Hu, Bo. editor.

(2)

Hu, Xiaodong. editor.

(2)

Huang, Fay. editor.

(2)

Husfeldt, Thore. editor.

(2)

Hussain, Abir. editor.

(2)

Ikonomou, Demosthenes. editor.

(2)

Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528

(2)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(2)

Jeannot, Emmanuel. editor.

(2)

Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740

(2)

Kitowski, Jacek. editor.

(2)

Klasing, Ralf. editor.

(2)

Kneusel, Ronald T. author.

(2)

Knust, Sigrid. author.

(2)

Koepf, Wolfram. editor.

(2)

Kofroň, Jan. editor.

(2)

Kordy, Barbara. editor.

(2)

Koutsoupias, Elias. editor.

(2)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(2)

Kratsch, Dieter. editor.

(2)

Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551

(2)

Lengauer, Christian. editor.

(2)

Li, Minming. editor. (orcid)0000-0002-7370-6237

(2)

Li, Wenfeng. editor.

(2)

Li, Zhiyang. editor.

(2)

Lin, Chun-Li. editor.

(2)

Lin, Guohui. editor.

(2)

Liu, Alex. editor.

(2)

Liu, Lei. editor.

(2)

Loog, Marco. editor.

(2)

Lopes, Luís. editor.

(2)

Lu, Pinyan. editor. (orcid)0009-0005-0569-4122

(2)

Luccio, Fabrizio. author.

(2)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(2)

Martín-Vide, Carlos. editor.

(2)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(2)

Masulli, Paolo. editor.

(2)

McDermott, James. editor.

(2)

Min, Geyong. editor.

(2)

Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010

(2)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(2)

Nicosia, Giuseppe. editor.

(2)

Niu, Ben. editor.

(2)

Tümünü genişlet

Dil

(533)

(2)

(2)

Yayın Yılı

-

(134)

(97)

(66)

(39)

(31)

(27)

(20)

(18)

(17)

(16)

(16)

(16)

(13)

(11)

(9)

(5)

(1)

(1)

Tümünü genişlet

Konu

Application software.

(247)

Computer science.

(217)

Artificial intelligence.

(194)

Computer and Information Systems Applications.

(188)

Software engineering.

(179)

Computer software.

(143)

Computer Communication Networks.

(135)

Computer networks .

(114)

Computational complexity.

(103)

Data structures (Computer science).

(70)

(63)

Computer graphics.

(58)

Information Storage and Retrieval.

(53)

Information storage and retrieval systems.

(53)

Electronic data processing.

(52)

Computer science -- Mathematics.

(49)

Data Mining and Knowledge Discovery.

(48)

Database management.

(45)

Theory of Computation.

(44)

Computer vision.

(43)

Computer Science Logic and Foundations of Programming.

(39)

Automated Pattern Recognition.

(38)

Pattern recognition systems.

(38)

Computer communication systems.

(35)

Design and Analysis of Algorithms.

(35)

Computer simulation.

(33)

Data encryption (Computer science).

(33)

Discrete Mathematics in Computer Science.

(33)

Formal Languages and Automata Theory.

(32)

Machine theory.

(32)

Information theory.

(30)

Algebra -- Data processing.

(29)

Data and Information Security.

(28)

Data protection.

(28)

Compilers (Computer programs).

(27)

Compilers and Interpreters.

(27)

Computer Modelling.

(27)

Discrete mathematics.

(26)

(25)

Electronic data processing -- Management.

(24)

(24)

Computer programming.

(23)

(22)

(22)

(22)

Programming Techniques.

(21)

Computer Engineering and Networks.

(19)

Computer engineering.

(19)

Bioinformatics.

(17)

Programming languages (Electronic computers).

(17)

Computer logic.

(15)

Computers and civilization.

(15)

Mathematics of Computing.

(15)

Computers and Society.

(14)

(14)

Mathematical logic.

(13)

Optical data processing.

(13)

Electronic digital computers -- Evaluation.

(12)

System Performance and Evaluation.

(12)

(11)

Data Structures and Information Theory.

(11)

Pattern recognition.

(11)

Computer science—Mathematics.

(10)

Computers, Special purpose.

(10)

Information storage and retrieval.

(10)

Machine learning.

(10)

Mathematical optimization.

(10)

Special Purpose and Application-Based Systems.

(10)

Numerical analysis.

(9)

Operating systems (Computers).

(9)

Algorithm Analysis and Problem Complexity.

(8)

Artificial intelligence -- Data processing.

(8)

Computer Application in Administrative Data Processing.

(8)

Computer system failures.

(8)

(8)

Information technology -- Management.

(8)

(7)

Operating Systems.

(7)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computers and Education.

(6)

Education -- Data processing.

(6)

Electronic commerce.

(6)

(6)

Image processing -- Digital techniques.

(6)

Management information systems.

(6)

e-Commerce and e-Business.

(6)

(5)

(5)

Microprocessors.

(5)

(5)

Biometric identification.

(4)

(4)

(4)

Computational and Systems Biology.

(4)

Computer Application in Social and Behavioral Sciences.

(4)

Computer System Implementation.

(4)

Computer architecture.

(4)

Computer systems.

(4)

Data Structures.

(4)

Numeric Computing.

(4)

Processor Architectures.

(4)

(4)

Social sciences -- Data processing.

(4)

Telecommunication.

(4)

Apprentissage automatique.

(3)

Computer Hardware.

(3)

Computer organization.

(3)

Computer security.

(3)

Distribution (Probability theory).

(3)

Expert systems (Computer science).

(3)

Knowledge Based Systems.

(3)

Logic, Symbolic and mathematical.

(3)

Mathematical statistics.

(3)

Natural language processing (Computer science).

(3)

Operations research.

(3)

Python (Computer program language).

(3)

User interfaces (Computer systems).

(3)

Coding and Information Theory.

(2)

Computer network architectures.

(2)

(2)

Electronic books.

(2)

Engineering mathematics.

(2)

(2)

Geographic information systems.

(2)

Geographical Information System.

(2)

Human-computer interaction.

(2)

Information systems.

(2)

Machine learning

(2)

Math Applications in Computer Science.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematics -- Data processing.

(2)

Natural Language Processing (NLP).

(2)

Probability and Statistics in Computer Science.

(2)

Special purpose computers.

(2)

Theory and Algorithms for Application Domains.

(2)

User Interfaces and Human Computer Interaction.

(2)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

Artificial Intelligence

(1)

Artificial Intelligence (incl. Robotics).

(1)

Artificial intelligence -- Medical applications.

(1)

Automatic control

(1)

Automatic control.

(1)

BUSINESS & ECONOMICS.

(1)

(1)

Biomathematics.

(1)

COMPUTERS -- General.

(1)

COMPUTERS -- Programming Languages -- Python.

(1)

Categories (Mathematics)

(1)

Cheminformatics -- Handbooks, manuals, etc.

(1)

Commande automatique.

(1)

Communications Engineering, Networks.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computer Vision & Pattern Recognition.

(1)

Computer arithmetic and logic units.

(1)

Computer hardware.

(1)

Computing Milieux.

(1)

(1)

Data protection -- Law and legislation.

(1)

Data structures (Computer scienc.

(1)

Digital and Analog Signal Processing.

(1)

Discrete Optimization.

(1)

Discrete groups.

(1)

Economic theory.

(1)

Education—Data processing.

(1)

(1)

(1)

Feedback control systems

(1)

Feedback control systems.

(1)

File organization (Computer science)

(1)

(1)

Finances -- Gestion du risque.

(1)

Financial Engineering.

(1)

Financial risk management

(1)

Financial risk management.

(1)

Fourier analysis.

(1)

Geometry, algebraic.

(1)

(1)

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Information Systems Applications (incl. Internet).

(1)

Intelligence (AI) & Semantics.

(1)

Intelligence artificielle.

(1)

Llibres electrònics.

(1)

(1)

Logic programming.

(1)

Machine Learning

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical and Computational Biology.

(1)

Medical informatics.

(1)

Models of Computation.

(1)

Multimedia systems.

(1)

(1)

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming Languages.

(1)

Python (Computer program language)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

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

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

537 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 45

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

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

One or more items could not be added because you are not logged in.

1.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54577-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63501-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54580-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings için kapak resmi

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Yazar

Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42432-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings için kapak resmi

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Yazar

Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30806-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Piessens, Frank. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49635-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54792-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54862-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

The Cinderella.2 Manual Working with The Interactive Geometry Software için kapak resmi

The Cinderella.2 Manual Working with The Interactive Geometry Software

The Cinderella.2 Manual Working with The Interactive Geometry Software

Yazar

Richter-Gebert, Jürgen. author. Kortenkamp, Ulrich H. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-34926-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday için kapak resmi

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Yazar

Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11447-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings için kapak resmi

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Yazar

Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11832225

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings için kapak resmi

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30942-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 45

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11