Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
Not
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Lokasyon: Springer E-Book Collection
Included
Konu: Computer science.
Included
Konu: Logics and Meanings of Programs.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(271)
Ölveczky, Peter Csaba. editor.
(5)
Kroening, Daniel. editor.
(4)
Lanese, Ivan. editor.
(4)
Ábrahám, Erika. editor.
(4)
Artho, Cyrille. editor.
(3)
Bernardo, Marco. editor.
(3)
Duan, Zhenhua. editor.
(3)
Johnsen, Einar Broch. editor.
(3)
Koutny, Maciej. editor.
(3)
Liu, Shaoying. editor.
(3)
Liu, Zhiming. editor.
(3)
Potapov, Igor. editor.
(3)
Roman, Dumitru. editor.
(3)
Rozenberg, Grzegorz. editor.
(3)
Salomaa, Arto. editor.
(3)
Schaefer, Ina. editor.
(3)
Schewe, Klaus-Dieter. editor.
(3)
Steffen, Bernhard. editor.
(3)
Voronkov, Andrei. editor.
(3)
Ait Ameur, Yamine. editor.
(2)
Albert, Elvira. editor.
(2)
Bitsch, Friedemann. editor.
(2)
Blanchette, Jasmin Christian. editor.
(2)
Bondavalli, Andrea. editor.
(2)
Braga, Christiano. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
Dal Lago, Ugo. editor.
(2)
De Nicola, Rocco. editor.
(2)
Desel, Jörg. editor.
(2)
Farzan, Azadeh. editor.
(2)
Fodor, Paul. editor.
(2)
Gheorghe, Marian. editor.
(2)
Giannakopoulou, Dimitra. editor.
(2)
Gnesi, Stefania. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Haddad, Serge. editor.
(2)
Hage, Jurriaan. editor.
(2)
Havelund, Klaus. editor.
(2)
Kahl, Wolfram. editor.
(2)
Koornneef, Floor. editor.
(2)
Kühn, Eva. editor.
(2)
Larsen, Kim Guldstrand. editor.
(2)
Legay, Axel. editor.
(2)
Margaria, Tiziana. editor.
(2)
Martí-Oliet, Narciso. editor.
(2)
Mayr, Heinrich C. editor.
(2)
McCarthy, Jay. editor.
(2)
Nikitchenko, Mykola. editor.
(2)
Núñez, Manuel. editor.
(2)
Okhotin, Alexander. editor.
(2)
Ortmeier, Frank. editor.
(2)
Palamidessi, Catuscia. editor.
(2)
Peña, Ricardo. editor.
(2)
Piazza, Carla. editor.
(2)
Păsăreanu, Corina S. editor.
(2)
Raskin, Jean-François. editor.
(2)
Rival, Xavier. editor.
(2)
Rumpe, Bernhard. editor.
(2)
Shallit, Jeffrey. editor.
(2)
Skavhaug, Amund. editor.
(2)
Son, Tran Cao. editor.
(2)
Spivakovsky, Aleksander. editor.
(2)
Vardanega, Tullio. editor.
(2)
Wąsowski, Andrzej. editor.
(2)
Zandron, Claudio. editor.
(2)
Zholtkevych, Grygoriy. editor.
(2)
van Gulijk, Coen. editor.
(2)
Abate, Alessandro. editor.
(1)
Abdulla, Parosh Aziz. editor.
(1)
Abrahão, Silvia. editor.
(1)
Agha, Gul. editor.
(1)
Agrawal, Manindra. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Alhazov, Artiom. editor.
(1)
Amos, Martyn. editor.
(1)
Amyot, Daniel. editor.
(1)
Asher, Nicholas. editor.
(1)
Avgeriou, Paris. editor.
(1)
Badger, Julia M. editor.
(1)
Baier, Christel. editor.
(1)
Baldan, Paolo. editor.
(1)
Baldoni, Matteo. editor.
(1)
Banerjee, Mohua. editor.
(1)
Bansal, Nikhil. editor.
(1)
Barbosa, Simone D.J. editor.
(1)
Barkatou, Moulay. editor.
(1)
Barlas, Gerassimos. editor.
(1)
Bartocci, Ezio. editor.
(1)
Bassiliades, Nick. editor.
(1)
Batsakis, Sotiris. editor.
(1)
Beierle, Christoph. editor.
(1)
Beklemishev, Lev D. editor.
(1)
Bensalem, Saddek. editor.
(1)
Berger, Christian. editor.
(1)
Berstel-Da Silva, Bruno. author.
(1)
Bertogna, Marko. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Biere, Armin. editor.
(1)
Bikakis, Antonis. editor.
(1)
Biro, Miklos. editor.
(1)
Bjørner, Nikolaj. editor.
(1)
Blazy, Sandrine. editor.
(1)
Bloem, Roderick. editor.
(1)
Bodei, Chiara. editor.
(1)
Bojańczyk, Mikołaj. editor.
(1)
Bonakdarpour, Borzoo. editor.
(1)
Boniol, Frédéric. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Bonsangue, Marcello. editor.
(1)
Bordeleau, Francis. editor.
(1)
Bourgeois, Anu. editor.
(1)
Bozga, Marius. editor.
(1)
Bošnački, Dragan. editor.
(1)
Breugel, Franck van. editor.
(1)
Brlek, Srečko. editor.
(1)
Bulling, Nils. editor.
(1)
Butler, Michael. editor.
(1)
CONDON, ANNE. editor.
(1)
Cabot, Jordi. editor.
(1)
Cai, Zhipeng. editor.
(1)
Calimeri, Francesco. editor.
(1)
Calinescu, Radu. editor.
(1)
Campos, Javier. editor.
(1)
Canal, Carlos. editor.
(1)
Cariani, Fabrizio. editor.
(1)
Casadio, Claudia. editor.
(1)
Cassez, Franck. editor.
(1)
Castor, Fernando. editor.
(1)
Ceccarelli, Andrea. editor.
(1)
Chechik, Marsha. editor.
(1)
Cheng, Betty H.C. editor.
(1)
Chockler, Hana. editor.
(1)
Chopra, Amit K. editor.
(1)
Ciardo, Gianfranco. editor.
(1)
Cinquemani, Eugenio. editor.
(1)
Ciobanu, Gabriel. editor.
(1)
Cluzeau, Thomas. editor.
(1)
Codescu, Mihai. editor.
(1)
Codish, Michael. editor.
(1)
Coecke, Bob. editor.
(1)
Cohen, Ernie. editor.
(1)
Cojocaru, Svetlana. editor.
(1)
Colinet, Margot. editor.
(1)
Combemale, Benoit. editor.
(1)
Cooper, S. Barry. editor.
(1)
Cornélio, Márcio. editor.
(1)
Counsell, Steve. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Csató, Lehel. editor.
(1)
Câmpeanu, Cezar. editor.
(1)
Damiani, Ferruccio. editor.
(1)
Daneva, Maya. editor.
(1)
Dang, Thao. editor.
(1)
Dastani, Mehdi. editor.
(1)
Davis, Jesse. editor.
(1)
Davis, Martin. editor.
(1)
De Nivelle, Hans. editor.
(1)
Delporte-Gallet, Carole. editor.
(1)
Demri, Stéphane. editor.
(1)
Deng, Yuxin. author.
(1)
Denoeux, Thierry. editor.
(1)
Desmedt, Yvo. editor.
(1)
Destercke, Sébastien. editor.
(1)
Devillers, Raymond. editor.
(1)
Devitt, Simon. editor.
(1)
Dhaenens, Clarisse. editor.
(1)
Di Giandomenico, Felicita. editor.
(1)
Diaconescu, Răzvan. editor.
(1)
Diaz, Josep. editor.
(1)
Dignum, Virginia. editor.
(1)
Dingel, Juergen. editor.
(1)
Donzé, Alexandre. editor.
(1)
Dowek, Gilles. editor.
(1)
Du, Dingzhu. editor.
(1)
Du, Donglei. editor.
(1)
Durand-Lose, Jerome. editor.
(1)
D’Souza, Deepak. editor.
(1)
Ebert, Achim. editor.
(1)
Echahed, Rachid. editor.
(1)
Egyed, Alexander. editor.
(1)
Eiter, Thomas. editor.
(1)
El-Fakih, Khaled. editor.
(1)
Ermolayev, Vadim. editor.
(1)
Escobar, Santiago. editor.
(1)
Fages, François. editor.
(1)
Falaschi, Moreno. editor.
(1)
Falcone, Yliès. editor.
(1)
Fantechi, Alessandro. editor.
(1)
Fehnker, Ansgar. editor.
(1)
Felber, Pascal. editor.
(1)
Feng, Xinyu. editor.
(1)
Fermé, Eduardo. editor.
(1)
Fernández, Maribel. author.
(1)
Ferrari, Gian-Luigi. editor.
(1)
Fiadeiro, José Luiz. editor.
(1)
Fiems, Dieter. editor.
(1)
Finkbeiner, Bernd. editor.
(1)
Finocchi, Irene. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(271)
Dil
Dahil
Hariç
English
(271)
Basım Yılı
Dahil
Hariç
2014
(99)
2015
(93)
2016
(79)
Konu
Dahil
Hariç
Computer logic.
(271)
Software engineering.
(207)
Mathematical Logic and Formal Languages.
(167)
Mathematical logic.
(167)
Programming Languages, Compilers, Interpreters.
(139)
Programming languages (Electronic computers).
(139)
Computers.
(76)
Artificial Intelligence (incl. Robotics).
(72)
Artificial intelligence.
(72)
Computation by Abstract Devices.
(69)
Computer programming.
(67)
Programming Techniques.
(67)
Algorithm Analysis and Problem Complexity.
(58)
Algorithms.
(58)
Computer science -- Mathematics.
(47)
Computer Communication Networks.
(41)
Computer communication systems.
(41)
Discrete Mathematics in Computer Science.
(39)
Information Systems Applications (incl. Internet).
(32)
Management information systems.
(32)
Management of Computing and Information Systems.
(32)
Computer simulation.
(23)
Simulation and Modeling.
(23)
Mathematical statistics.
(13)
Probability and Statistics in Computer Science.
(13)
Application software.
(12)
Computer Systems Organization and Communication Networks.
(12)
Computer organization.
(12)
Computer security.
(12)
Systems and Data Security.
(12)
Computer system failures.
(11)
Software Engineering/Programming and Operating Systems.
(11)
Special Purpose and Application-Based Systems.
(11)
Special purpose computers.
(11)
System Performance and Evaluation.
(11)
Computer Applications.
(9)
Information storage and retrieval.
(9)
Mathematics of Computing.
(7)
Symbolic and Algebraic Manipulation.
(7)
Data structures (Computer science).
(6)
Numeric Computing.
(6)
Numerical analysis.
(6)
Mathematical Logic and Foundations.
(5)
Bioinformatics.
(4)
Computational Biology/Bioinformatics.
(4)
Data Mining and Knowledge Discovery.
(4)
Data Structures.
(4)
Data mining.
(4)
Pattern recognition.
(4)
Computational linguistics.
(3)
Computer Appl. in Administrative Data Processing.
(3)
Database management.
(3)
Language Translation and Linguistics.
(3)
Operating Systems.
(3)
Operating systems (Computers).
(3)
Theory of Computation.
(3)
User Interfaces and Human Computer Interaction.
(3)
User interfaces (Computer systems).
(3)
Computer Science, general.
(2)
Computers and Education.
(2)
Data Encryption.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Data encryption (Computer science).
(2)
Education -- Data processing.
(2)
History of Computing.
(2)
Logic design.
(2)
Math Applications in Computer Science.
(2)
Models and Principles.
(2)
Quantum Computing.
(2)
Quantum computers.
(2)
Arithmetic and Logic Structures.
(1)
Arithmetic and logic units, Computer.
(1)
Business -- Data processing.
(1)
Circuits and Systems.
(1)
Coding and Information Theory.
(1)
Coding theory.
(1)
Computer engineering.
(1)
Computer mathematics.
(1)
Computing Methodologies.
(1)
Electronic circuits.
(1)
Health informatics.
(1)
IT in Business.
(1)
Information technology.
(1)
Mathematical Applications in Computer Science.
(1)
Partial differential equations.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(271)
Kütüphane
Dahil
Hariç
TEDU library
(271)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
No results found