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: Machine theory.

Yazar

SpringerLink (Online service)

(180)

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

(9)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(9)

Legay, Axel. editor.

(3)

Schmidt, Renate A. editor.

(3)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(2)

Baxter, James. editor. (orcid)0000-0001-6083-9607

(2)

Bekki, Daisuke. editor.

(2)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Bouajjani, Ahmed. editor.

(2)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(2)

Chaudhuri, Swarat. editor.

(2)

De Nicola, Rocco. editor.

(2)

Debruyne, Christophe. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

Hinchey, Mike. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Kapur, Deepak. editor.

(2)

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

(2)

Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X

(2)

Lecomte, Thierry. editor.

(2)

Liu, Shaoying. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Ortiz, Magdalena. editor.

(2)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(2)

Roman, Dumitru. editor.

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Satoh, Ken. editor.

(2)

Wang, Zhe. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Adami, André. editor.

(1)

Aggarwal, Charu C., editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aickelin, Uwe. editor.

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

An, Bo. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Arai, Sachiyo. editor.

(1)

Arbel, Eli. editor.

(1)

Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795

(1)

Artemov, Sergei. editor.

(1)

Artho, Cyrille. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Balduccini, Marcello. editor.

(1)

Barrett, Clark. editor.

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Beck, J. Christopher. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Best, Eike. editor.

(1)

Biro, Miklos. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Blömer, Johannes. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bollen, Peter. editor.

(1)

Bond, Francis. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bouraoui, Zied. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bowen, Judy. editor.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Branco, António. editor.

(1)

Broering, Arne. editor.

(1)

Bubel, Richard. editor.

(1)

Buitelaar, Paul. editor.

(1)

Bultan, Tevfik. author.

(1)

Bursa, Miroslav. editor.

(1)

Butler, Michael. editor.

(1)

Camelin, Nathalie. editor.

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chiarcos, Christian. editor.

(1)

Choemprayong, Songphan. editor.

(1)

Cholvy, Laurence. editor.

(1)

Chopra, Amit K. editor.

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

Ciuciu, Ioana. editor.

(1)

Cornélio, Márcio. editor.

(1)

Costantini, Stefania. editor.

(1)

Crestani, Fabio. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cunha, Jácome. editor.

(1)

Cunningham, Sally Jo. editor.

(1)

Cámara, Javier. editor.

(1)

Câmpeanu, Cezar. editor.

(1)

Damigos, Matthew. editor. (orcid)0000-0003-0431-1482

(1)

Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589

(1)

Darmont, Jérôme. editor.

(1)

Davies, Misty. editor.

(1)

Dix, Alan. editor.

(1)

Dixon, Clare. editor.

(1)

Dong, Jin Song. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

Du, Dingzhu. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Echahed, Rachid. editor.

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Esposito, Floriana. editor.

(1)

Estève, Yannick. editor.

(1)

Fensel, Anna. editor.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Finger, Marcelo. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franconi, Enrico. editor.

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Frank, Ulrich. editor.

(1)

Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X

(1)

Friedrich, Gerhard. editor.

(1)

Furia, Carlo A. editor.

(1)

Gaaloul, Walid. editor.

(1)

Gamper, Johann. editor. (orcid)0000-0002-2162-4918

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Geeraerts, Gilles. editor.

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Governatori, Guido. editor.

(1)

Gracia, Jorge. editor.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Guiochet, Jérémie. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gurfinkel, Arie. editor.

(1)

Gyssens, Marc. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hage, Jurriaan. editor.

(1)

Hague, Matthew. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

He, Kun. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Hellmann, Sebastian. editor.

(1)

Helmert, Malte. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hirayama, Katsutoshi. editor.

(1)

Hnoohom, Narit. editor.

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Holzinger, Andreas. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hu, Wei. editor.

(1)

Huang, Zhisheng. editor.

(1)

Hudec, Miroslav. author.

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

Höfner, Peter. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Ittoo, Ashwin. editor.

(1)

Jacobs, Bart. editor.

(1)

James, Phillip. editor.

(1)

Janhunen, Tomi. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Tümünü genişlet

Dil

(182)

Yayın Yılı

-

(76)

(72)

(17)

(15)

(1)

(1)

(1)

Tümünü genişlet

Konu

Formal Languages and Automata Theory.

(180)

Software engineering.

(135)

Computer science.

(121)

Computer Science Logic and Foundations of Programming.

(115)

Artificial intelligence.

(84)

Compilers (Computer programs).

(75)

Compilers and Interpreters.

(75)

Application software.

(53)

Computer and Information Systems Applications.

(53)

(32)

Computer programming.

(30)

Programming Techniques.

(30)

Computer networks .

(27)

Computer science -- Mathematics.

(24)

Theory of Computation.

(24)

(21)

Data Mining and Knowledge Discovery.

(20)

Computer Communication Networks.

(19)

Computer Modelling.

(18)

Computer simulation.

(18)

Information Storage and Retrieval.

(17)

Information storage and retrieval systems.

(17)

Database management.

(15)

Computers, Special purpose.

(12)

Special Purpose and Application-Based Systems.

(12)

Discrete Mathematics in Computer Science.

(10)

Discrete mathematics.

(10)

Natural Language Processing (NLP).

(9)

Natural language processing (Computer science).

(9)

Computer Engineering and Networks.

(8)

Computer System Implementation.

(8)

Computer engineering.

(8)

Computer systems.

(8)

Computer Application in Administrative Data Processing.

(7)

Information technology -- Management.

(7)

Mathematics of Computing.

(7)

Data and Information Security.

(6)

Data protection.

(6)

Control Structures and Microprogramming.

(5)

Electronic data processing -- Management.

(5)

(5)

(5)

Logic programming.

(5)

Microprogramming .

(5)

Programming Language.

(5)

Programming languages (Electronic computers).

(5)

Automated Pattern Recognition.

(4)

Mathematical statistics.

(4)

Pattern recognition systems.

(4)

Probability and Statistics in Computer Science.

(4)

Artificial intelligence -- Data processing.

(3)

(3)

(3)

Electronic digital computers -- Evaluation.

(3)

Mathematical Applications in Computer Science.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Models of Computation.

(3)

System Performance and Evaluation.

(3)

Bioinformatics.

(2)

Computational and Systems Biology.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer programs -- Testing.

(2)

Computer vision.

(2)

Computers and Education.

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

Design and Analysis of Algorithms.

(2)

Education -- Data processing.

(2)

Health Informatics.

(2)

Human-computer interaction.

(2)

Information theory.

(2)

Medical informatics.

(2)

Social sciences -- Data processing.

(2)

Software Testing.

(2)

Symbolic and Algebraic Manipulation.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

COMPUTERS / Database Management / Data Mining.

(1)

COMPUTERS / Machine Theory.

(1)

Cluster analysis.

(1)

Computational intelligence.

(1)

Computer software -- Development.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Milieux.

(1)

Document clustering.

(1)

Electronic books.

(1)

Expert systems (Computer science).

(1)

File organization (Computer science)

(1)

Hardware Performance and Reliability.

(1)

Knowledge Based Systems.

(1)

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

(1)

Robotic Engineering.

(1)

(1)

The Computing Profession.

(1)

characteristics of clustering problems.

(1)

grid-based clustering.

(1)

high-dimensional clustering.

(1)

methods for data clustering.

(1)

spectral clustering.

(1)

variations of the clustering process.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

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

182 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 16

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.

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54494-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.

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54458-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings için kapak resmi

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Yazar

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41591-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings için kapak resmi

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Yazar

Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-32582-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 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

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49674-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Fundamental Approaches to Software Engineering 19th International Conference, FASE 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

Fundamental Approaches to Software Engineering 19th International Conference, FASE 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

Fundamental Approaches to Software Engineering 19th International Conference, FASE 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

Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49665-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 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

Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Modeling software with finite state machines : a practical approach için kapak resmi

Modeling software with finite state machines : a practical approach

Modeling software with finite state machines : a practical approach

Yazar

Wagner, Ferdinand.

Yer Numarası

QA76.76 .D47 M625 2006

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi

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

Yazar

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57288-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Yazar

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings için kapak resmi

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Yazar

Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-33693-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 16

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11