Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
8
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Konu: Software engineering.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(193)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(10)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Legay, Axel. editor.
(6)
Schmidt, Renate A. editor.
(4)
Liu, Shaoying. editor.
(3)
Albert, Elvira. editor.
(2)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(2)
Bernardo, Marco. editor.
(2)
Blazy, Sandrine. editor.
(2)
Bouajjani, Ahmed. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
De Nicola, Rocco. editor.
(2)
Debruyne, Christophe. editor.
(2)
Farzan, Azadeh. editor.
(2)
Fränzle, Martin. editor.
(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)
Hähnle, Reiner. editor.
(2)
Johnsen, Einar Broch. editor.
(2)
Kapur, Deepak. editor.
(2)
Lecomte, Thierry. editor.
(2)
Lämmel, Ralf. editor.
(2)
Mayr, Heinrich C. editor.
(2)
Nikitchenko, Mykola. editor.
(2)
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259
(2)
Ong, Luke. editor.
(2)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(2)
Potapov, Igor. editor.
(2)
Proença, José. editor.
(2)
Roman, Dumitru. editor.
(2)
Romanovsky, Alexander. editor.
(2)
Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X
(2)
Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340
(2)
Saraiva, João. editor.
(2)
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X
(2)
Son, Tran Cao. editor.
(2)
Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126
(2)
Voronkov, Andrei. editor.
(2)
Zholtkevych, Grygoriy. 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)
Abdulla, Parosh Aziz. editor.
(1)
Abelló, Alberto. editor.
(1)
Aceto, Luca. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Aiswarya, C. editor. (orcid)0000-0002-4878-7581
(1)
Aldini, Alessandro. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Alkhalaf, Muath. author.
(1)
Antonucci, Alessandro. editor.
(1)
Arbel, Eli. editor.
(1)
Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795
(1)
Artho, Cyrille. editor.
(1)
Ayala-Rincón, Mauricio. editor.
(1)
Aydin, Abdulbaki. author.
(1)
Bacci, Giorgio. editor.
(1)
Bacci, Giovanni. editor.
(1)
Baier, Christel. editor.
(1)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(1)
Balduccini, Marcello. editor.
(1)
Barbosa, Haniel. editor.
(1)
Barrett, Clark. editor.
(1)
Batsakis, Sotiris. editor.
(1)
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
(1)
Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066
(1)
Bensalem, Saddek. editor.
(1)
Berdine, Josh. editor.
(1)
Bertacco, Valeria. editor.
(1)
Bertogna, Marko. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Best, Eike. editor.
(1)
Beyer, Dirk. editor.
(1)
Biere, Armin. editor.
(1)
Binder, Walter. editor.
(1)
Biro, Miklos. editor.
(1)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(1)
Blanchette, Jasmin Christian. editor.
(1)
Bloem, Roderick. editor.
(1)
Blömer, Johannes. editor.
(1)
Bodden, Eric. editor.
(1)
Boer, Frank S. editor.
(1)
Bogomolov, Sergiy. editor.
(1)
Boldo, Sylvie. editor.
(1)
Bollen, Peter. editor.
(1)
Bollig, Benedikt. author.
(1)
Bonacina, Maria Paola. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618
(1)
Boreale, Michele. editor.
(1)
Bouraoui, Zied. 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)
Bravetti, Mario. editor.
(1)
Broering, Arne. editor.
(1)
Bubel, Richard. editor.
(1)
Bultan, Tevfik. author.
(1)
Butler, Michael. editor.
(1)
Cabalar, Pedro. editor.
(1)
Carayol, Arnaud. editor.
(1)
Carmona, Josep. editor.
(1)
Carrascosa, Carlos. editor.
(1)
Castagna, Giuseppe. editor.
(1)
Castor, Fernando. editor.
(1)
Cavalcanti, Ana. editor.
(1)
Cellier, Peggy. editor.
(1)
Chechik, Marsha. editor.
(1)
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517
(1)
Cholvy, Laurence. editor.
(1)
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X
(1)
Ciuciu, Ioana. editor.
(1)
Coecke, Bob. editor.
(1)
Cornélio, Márcio. editor.
(1)
Costantini, Stefania. editor.
(1)
Criado Pacheco, Natalia. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Cunha, Jácome. editor.
(1)
Czarnecki, Krzysztof. editor.
(1)
Cámara, Javier. editor.
(1)
Câmpeanu, Cezar. editor.
(1)
Davies, Misty. editor.
(1)
Dierkes, Michael. editor.
(1)
Distel, Felix. editor.
(1)
Dix, Alan. editor.
(1)
Dixon, Clare. editor.
(1)
Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571
(1)
Duan, Zhenhua. editor.
(1)
Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433
(1)
Duchier, Denys. editor.
(1)
Echahed, Rachid. editor.
(1)
Eder, Johann. editor.
(1)
Engels, Gregor. editor.
(1)
England, Matthew. editor.
(1)
Ermolayev, Vadim. editor.
(1)
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764
(1)
Erwig, Martin. editor.
(1)
Esparza, Javier. editor. (orcid)0000-0001-9862-4919
(1)
Feliachi, Abderrahmane. editor.
(1)
Fensel, Anna. editor.
(1)
Fernandes, João P. editor.
(1)
Finger, Marcelo. editor.
(1)
Fitzgerald, John. editor.
(1)
Fleuriot, Jacques. editor.
(1)
Fodor, Paul. editor.
(1)
Fontaine, Pascal. 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)
Furia, Carlo A. editor.
(1)
Fähndrich, Manuel. editor.
(1)
Gaaloul, Walid. editor.
(1)
Galmiche, Didier. editor.
(1)
Ganter, Bernhard. editor.
(1)
Gaudel, Marie-Claude. editor.
(1)
Geeraerts, Gilles. editor.
(1)
Geuvers, Herman. editor.
(1)
Ghosh, Sujata. editor.
(1)
Giachino, Elena. editor.
(1)
Giacobazzi, Roberto. editor.
(1)
Gibson-Robinson, Thomas. editor.
(1)
Gorrieri, Roberto. author.
(1)
Governatori, Guido. editor.
(1)
Graf, Susanne. editor. (orcid)0000-0003-4354-6807
(1)
Groves, Lindsay. editor.
(1)
Guiochet, Jérémie. editor.
(1)
Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X
(1)
Gurfinkel, Arie. editor.
(1)
Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023
(1)
Hage, Jurriaan. editor.
(1)
Hague, Matthew. editor.
(1)
Hankin, Chris. editor.
(1)
Hansen, René Rydhof. editor.
(1)
Hasan, Osman. editor.
(1)
Hedin, Görel. editor.
(1)
Heitmeyer, Constance. editor.
(1)
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
(1)
Hierons, Robert M. editor.
(1)
Hillston, Jane. editor. (orcid)0000-0003-4914-9255
(1)
Hinze, Ralf. editor.
(1)
Hopcroft, Philippa. editor.
(1)
Hung, Dang Van. editor.
(1)
Höfner, Peter. editor.
(1)
Ida, Tetsuo. editor.
(1)
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764
(1)
Ingólfsdóttir, Anna. editor.
(1)
Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384
(1)
Jacobs, Bart. editor.
(1)
James, Phillip. editor.
(1)
Janhunen, Tomi. editor.
(1)
Jimenez-Ruiz, Ernesto. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(193)
Yayın Yılı
Dahil
Hariç
-
2016
(60)
2017
(60)
2013
(43)
2025
(15)
2024
(13)
2006
(1)
2010
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Computer science.
(164)
Formal Languages and Automata Theory.
(135)
Machine theory.
(135)
Computer Science Logic and Foundations of Programming.
(110)
Artificial intelligence.
(73)
Compilers (Computer programs).
(72)
Compilers and Interpreters.
(72)
Programming Techniques.
(46)
Mathematical Logic and Formal Languages.
(43)
Logic design.
(34)
Logics and Meanings of Programs.
(34)
Computer Communication Networks.
(30)
Computer networks .
(29)
Computer programming.
(29)
Algorithms.
(28)
Theory of Computation.
(27)
Programming Languages, Compilers, Interpreters.
(25)
Application software.
(23)
Computer and Information Systems Applications.
(23)
Computer simulation.
(22)
Computer science -- Mathematics.
(20)
Artificial Intelligence (incl. Robotics).
(19)
Computer Modelling.
(18)
Special Purpose and Application-Based Systems.
(15)
Computers, Special purpose.
(14)
Discrete Mathematics in Computer Science.
(13)
Computer software.
(11)
Algorithm Analysis and Problem Complexity.
(10)
Computation by Abstract Devices.
(8)
Computer System Implementation.
(8)
Computer systems.
(8)
Discrete mathematics.
(8)
Mathematics of Computing.
(8)
Information Storage and Retrieval.
(7)
Information storage and retrieval systems.
(7)
Computer Engineering and Networks.
(6)
Computer engineering.
(6)
Control Structures and Microprogramming.
(6)
Logic in AI.
(6)
Logic programming.
(6)
Microprogramming .
(6)
Computational complexity.
(5)
Data Mining and Knowledge Discovery.
(5)
Data mining.
(5)
Data protection.
(5)
Electronic data processing -- Management.
(5)
IT Operations.
(5)
Natural Language Processing (NLP).
(5)
Natural language processing (Computer science).
(5)
Data and Information Security.
(4)
Database management.
(4)
Information theory.
(4)
Mathematical Logic and Foundations.
(4)
Mathematical logic.
(4)
Simulation and Modeling.
(4)
Symbolic and Algebraic Manipulation.
(4)
Computers.
(3)
Electronic digital computers -- Evaluation.
(3)
Information Systems Applications (incl. Internet).
(3)
Information Systems.
(3)
Management of Computing and Information Systems.
(3)
Mathematical statistics.
(3)
Models of Computation.
(3)
Probability and Statistics in Computer Science.
(3)
Programming Language.
(3)
Programming languages (Electronic computers).
(3)
System Performance and Evaluation.
(3)
Algebra -- Data processing.
(2)
Artificial intelligence -- Data processing.
(2)
Computer Application in Administrative Data Processing.
(2)
Data Science.
(2)
Data Structures and Information Theory.
(2)
Data structures (Computer science).
(2)
Information systems.
(2)
Information technology -- Management.
(2)
Software Engineering/Programming and Operating Systems.
(2)
Algebra.
(1)
Automated Pattern Recognition.
(1)
Business information services.
(1)
Computer Science, general.
(1)
Computer graphics.
(1)
Computer programs -- Testing.
(1)
Computers and Education.
(1)
Computers and Society.
(1)
Computers and civilization.
(1)
Computing Milieux.
(1)
Control and Systems Theory.
(1)
Control engineering.
(1)
Design and Analysis of Algorithms.
(1)
Education -- Data processing.
(1)
Hardware Performance and Reliability.
(1)
Health Informatics.
(1)
Human-computer interaction.
(1)
IT in Business.
(1)
Industrial and Production Engineering.
(1)
Industrial engineering.
(1)
Languages.
(1)
Mathematical Applications in Computer Science.
(1)
Medical records -- Data processing.
(1)
Monoclonal antibodies.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(1)
Optical pattern recognition.
(1)
Order, Lattices, Ordered Algebraic Structures.
(1)
Pattern Recognition.
(1)
Pattern recognition systems.
(1)
Philology.
(1)
Professions.
(1)
Robotic Engineering.
(1)
Robotics.
(1)
Software Testing.
(1)
Systems and Data Security.
(1)
The Computing Profession.
(1)
User Interfaces and Human Computer Interaction.
(1)
User interfaces (Computer systems).
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Shelf Location
Dahil
Hariç
1:SPRINGER
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
193 sonuç bulundu
1
..
13
14
15
16
17
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT_TR
Liste seç
Geçici Liste
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.
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Yazar
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası
ONLINE(334634.1)
Elektronik Erişim
http://dx.doi.org/10.1007/978-3-642-38613-8
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
13
14
15
16
17