Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Books

73 works - Books.

Home
Books

"73" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Ber…

by Brünnler, Kai, Metcalfe, George, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX, Bern, Switzerland)

fromLecture Notes in Computer Science

0 Type: Book

Applications and theory of Petri nets

Applications and theory of Petri nets: 32nd international conference, PETRI NETS 2011, N…

by Petrucci, Laure, Kristensen, Lars M., International Conference on Applications and Theory of Petri Nets, PETRI NETS, Newcastle, UK)

fromLecture Notes in Computer Science

0 Type: Book

Mathematical morphology and its application to signal and image processing

Mathematical morphology and its application to signal and image processing: 10th international symposium, ISMM 2011, Verbania…

by Soille, Pierre, Pesaresi, Martino, Ouzounis, Georgios K., International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing, ISMM, Verbania-Intra, Italy)

fromLecture Notes in Computer Science

0 Type: Book

Generative and transformational techniques in software engineering III

Generative and transformational techniques in software engineering III: International Summer School, GTTSE 2009, Braga, P…

by Saraiva, João, Visser, Joost, Lämmel, Ralf, International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE, Braga, Portugal)

fromLecture Notes in Computer Science

0 Type: Book

Cryptography and coding

Cryptography and coding: 12th IMA international conference, Cirencester, U…

by IMA International Conference on Cryptography and Coding, Cirencester, UK), Parker, Matthew G.

fromLecture Notes in Computer Science

0 Type: Book

Foundations and applications of security analysis

Foundations and applications of security analysis: Joint Workshop on Automated Reasoning for Securit…

by Degano, Pierpaolo, Viganò, Luca, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS, York, UK)

fromLecture Notes in Computer Science

0 Type: Book

History of Computing

History of Computing: Learning from the Past : IFIP WG 9.7 Internationa…

by Tatnall, Arthur, IFIP WG 9.7 International Conference on History of Computing, HC, IFIP World Computer Congress, WCC, Brisbane, Australia)

fromIFIP advances in information and communication technology

0 Type: Book

Neural information processing

Neural information processing: 18th international conference, ICONIP 2011, Shang…

by Kwok, James, Zhang, Liqing, Lu, Bao-Liang, International Conference on Neural Information Processing, ICONIP, Shanghai, China)

fromLecture Notes in Computer Science

0 Type: Book

Software composition

Software composition: 8th international conference, SC 2009, Zurich, Sw…

by Bergel, Alexandre, Fabry, Johan, International Conference on Software Composition, SC, Zurich, Switzerland)

fromLecture Notes in Computer Science

0 Type: Book

Transactions on aspect-oriented software development VI

Transactions on aspect-oriented software development VI: special issue on aspects and model-driven enginee…

by Katz, Shmuel

fromLecture Notes in Computer Science

0 Type: Book

Algebraic methodology and software technology

Algebraic methodology and software technology: 13th international conference, AMAST 2010, Lac-Be…

by Johnson, Michael, Pavlovic, Dusko, International Conference on Algebraic Methodology and Software Technology, AMAST, Lac-Beauport, QC, Canada)

fromLecture Notes in Computer Science

0 Type: Book

Security protocols

Security protocols: 14th international workshop, Cambridge, UK, March…

by Christianson, Bruce, International Workshop on Security Protocols, Cambridge, UK)

fromLecture Notes in Computer Science

0 Type: Book

Neural information processing

Neural information processing: 18th international conference, ICONIP 2011, Shang…

by Kwok, James, Zhang, Liqing, Lu, Bao-Liang, International Conference on Neural Information Processing, ICONIP, Shanghai, China)

fromLecture Notes in Computer Science

0 Type: Book

Logic, rationality, and interaction

Logic, rationality, and interaction: third international workshop, LORI 2011, Guangzho…

by Lang, Jérôme, Ju, Shier, Ditmarsch, Hans van, (Hans Pieter), International Workshop on Logic, Rationality, and Interaction, LORI, Guangzhou, China)

fromLecture Notes in Computer Science

0 Type: Book

Information systems security

Information systems security: 7th international conference, ICISS 2011, Kolkata…

by Jajodia, Sushil, Mazumdar, Chandan, International Conference on Information Systems Security, ICISS, Kolkata, India)

fromLecture Notes in Computer Science

0 Type: Book

Formal methods: foundations and applications

Formal methods: foundations and applications: 14th Brazilian symposium, SBMF 2011, São Paulo, B…

by Morgan, Carroll, Simão, Adenilso, Brazilian Symposium on Formal Methods, SBMF; 14, São Paulo, Brazil)

fromLecture Notes in Computer Science

0 Type: Book

Models in software engineering

Models in software engineering: workshops and symposia at MODELS 2010, Oslo, Norw…

by Dingel, Juergen, Solberg, Arnor, International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, Oslo, Norway)

fromLecture Notes in Computer Science

0 Type: Book

Principles and practice of constraint programming - CP 2011

Principles and practice of constraint programming - CP 2011: 17th international conference, CP 2011, Perugia, …

by Lee, Jimmy, International Conference on Principles and Practice of Constraint Programming, CP, Perugia, Italy)

fromLecture Notes in Computer Science

0 Type: Book

Autonomic and trusted computing

Autonomic and trusted computing: 8th international conference, ATC 2011, Banff, Ca…

by Alcaraz Calero, Jose M., International Conference on Autonomic and Trusted Computing, ATC, Banff, Canada)

fromLecture Notes in Computer Science

0 Type: Book

Search Based software engineering

Search Based software engineering: third international symposium, SSBSE 2011, Szeged…

by Cohen, Myra B., Cinnéide, Mel Ó., International Symposium on Search Based Software Engineering, SSBSE, Szeged, Hungary)

fromLecture Notes in Computer Science

0 Type: Book

1
2
3
4

Subjects

Computer Science (73) Computer. Automation (50) informatica (50) Computer architecture. Operat… (34) Artificial intelligence. Robo… (33) wiskunde (33) Information systems (32) programmeren (informatica) (31) Programming (30) robots (29) Computernetwerken (28) Logic (28) Mathematical logic (28) Complex analysis (27) complexe analyse (wiskunde) (27) ontwerpen (27) Software Engineering (26) Informatie- en communicatiete… (25) Information and Communication… (25) computer sciences (25) computerwetenschappen (25) Discrete mathematics (22) discrete wiskunde (22) Informatiesystemen (19) programmeertalen (17) DES (data encryption standard) (16) Database management (16) informatica management (16) mathematics (13) patroonherkenning (13) ICT (informatie- en communica… (12) Mathematical statistics (12) artificial intelligence (12) computational science (12) factoranalyse (12) ALGORITHMS (10) Computer networks (10) algoritmen (10) computer analysis (10) computeranalyse (10) programmatielogica (10) computerbeveiliging (9) kunstmatige intelligentie (9) logica (9) Biomathematics. Biometry. Bio… (7) Data Management (7) Internet (7) bio-informatica (7) gegevensbeheer (7) Maatschappij (6) Moleculaire biologie (6) Molecular biology (6) Vormgeving (6) beeldverwerking (6) simulaties (6) Algebra (5) Computers (5) Pattern Recognition (5) programmeren (5) programming languages (5) Ergodic theory. Information t… (4) IR (information retrieval) (4) coderen (4) informatietheorie (4) machine vision (4) Artificial intelligence -- Co… (3) Data Mining (3) Image processing (3) Intelligence artificielle -- … (3) OS (operating system) (3) Simulation models (3) Society (3) computer techniques (3) computerbesturingssystemen (3) computertechnieken (3) cryptologie (3) data structures (3) datamining (3) gegevensstructuren (3) grafische vormgeving (3) numerieke analyse (3) samenleving (3) simulatiemodellen (3) toegepaste informatica (3) Chiffrement (Informatique) --… (2) Computer graphics (2) Computer security (2) Computer security -- Congress… (2) Cryptographie -- Congrès (2) Cryptography (2) Cryptography -- Congresses (2) Data encryption (Computer sci… (2) Data encryption (Computer sci… (2) Models (2) Social Sciences (General) (2) Sociale wetenschappen (2) Sécurité informatique -- Cong… (2) computergrafie (2) databasebeheer (2) modellen (2) numerical methods (2) numerieke methoden (2) operating systems (2) Analyse de systèmes -- Congrès (1) Bioinformatics (1) CAD (computer aided design) (1) Computer networks -- Congress… (1) Computer networks -- Congress… (1) Computer science -- Congresse… (1) Computer science -- Congresse… (1) Computer software (1) Computer software -- Congress… (1) Computercriminaliteit (1) Computers -- Congresses -- Hi… (1) Computers -- Congresses. -- A… (1) Data protection (1) Electronic Data Processing (1) Electronic data processing --… (1) Electronic digital computers (1) Electronic digital computers … (1) Ensembles approximatifs -- Co… (1) Game theory (1) Game theory -- Congresses (1) General embryology. Developme… (1) Incertitude (Théorie de l'inf… (1) Informatique -- Congrès -- Hi… (1) Informatique -- Congrès. -- M… (1) Law (1) Logic -- Congresses (1) Neurologie (1) Neuropathology (1) Office management (1) Ordinateurs -- Congrès -- His… (1) Ordinateurs -- Congrès. -- Ac… (1) Ordinateurs -- Congrès. -- Év… (1) PC (personal computer) (1) Protection de l'information (… (1) Păun, Gheorghe (1) Reasoning (1) Reasoning -- Congresses (1) Recht (1) Rough Sets (1) Rough sets -- Congresses -- D… (1) Réseaux d'ordinateurs -- Cong… (1) Réseaux d'ordinateurs -- Cong… (1) Spectrometric and optical che… (1) System analysis (1) System analysis -- Congresses (1) Systems (1) Telecommunication -- Congress… (1) Telecommunication -- Data pro… (1) Théorie des jeux -- Congrès (1) Télématique -- Congrès (1) Uncertainty (Information theo… (1) Uncertainty (Information theo… (1) architectuur (informatica) (1) bedrijfsadministratie (1) electron spin resonance spect… (1) embryologie (geneeskunde) (1) informatieontsluiting (1) informatieopslag (1) informatietechnologie (1) information retrieval (1) information storage (1) systemen (1)

Contributor

International Symposium on Ne… (3) Liu, Derong (3) Cabestany, Joan (2) Christianson, Bruce (2) Dingel, Juergen (2) Domingo-Pascual, Jordi (2) Honkela, Timo (2) International Conference on N… (2) International Conference on S… (2) International IFIP-TC6 Networ… (2) International Work-Conference… (2) Joya, Gonzalo (2) Kwok, James (2) Lambrinoudakis, Costas (2) Lu, Bao-Liang (2) Rojas, Ignacio (2) Zhang, Liqing (2) Alcaraz Calero, Jose M. (1) Aldini, Alessandro (1) Annual Cryptology Conference,… (1) Annual European Symposium on … (1) Annual Symposium on Combinato… (1) Apel, Sven (1) Ardagna, Claudio A. (1) Atallah, Mikhail (1) Bergel, Alexandre (1) Bishop, Judith (1) Brazilian Symposium on Formal… (1) Bruni, Roberto (1) Brünnler, Kai (1) Butler, Michael (1) Cabot, Jordi (1) Calude, Cristian S. (1) Camenisch, Jan (1) Chapman, Barbara M. (1) Chaudhury, Santanu (1) Chee, Yeow Meng (1) Cinnéide, Mel Ó. (1) Cohen, Myra B. (1) Corradini, Andrea (1) Cîrstea, Corina (1) Dam, Wim van (1) Dastani, Mohammad Mehdi (1) Dediu, Adrian-Horia (1) Degano, Pierpaolo (1) Delcambre, Lois (1) Delgrande, James P. (1) Demetrescu, Camil (1) Ditmarsch, Hans van, (Hans Pi… (1) Dorigo, Marco (1) Du, Ding-Zhu (1) European Conference on Advanc… (1) European Conference on Symbol… (1) European Workshop on Public K… (1) Evolutionary Computation, Mac… (1) FMICS 2011 (1) Faber, Wolfgang (1) Fabry, Johan (1) Furnell, Steven (1) Giacobini, Mario (1) Giancarlo, Raffaele (1) Gopalakrishnan, Ganesh (1) Gorrieri, Roberto (1) Halldórsson, Magnús M. (1) Herrmann, Peter (1) IFIP WG 11.2 International Wo… (1) IFIP WG 6.1 International Con… (1) IFIP WG 6.1 International Con… (1) IFIP WG 9.7 International Con… (1) IFIP World Computer Congress,… (1) IMA International Conference … (1) Inenaga, Shunsuke (1) International Conference on A… (1) International Conference on A… (1) International Conference on A… (1) International Conference on A… (1) International Conference on A… (1) International Conference on A… (1) International Conference on A… (1) International Conference on C… (1) International Conference on C… (1) International Conference on C… (1) International Conference on D… (1) International Conference on I… (1) International Conference on L… (1) International Conference on L… (1) International Conference on M… (1) International Conference on P… (1) International Conference on P… (1) International Conference on R… (1) International Conference on R… (1) International Conference on S… (1) International Conference on T… (1) International Conference on T… (1) International Conference on T… (1) International Conference on U… (1) International School on Found… (1) International Summer School o… (1) International Symposium of Fo… (1) International Symposium on Fo… (1) International Symposium on Ma… (1) International Symposium on Se… (1) International Workshop on Adv… (1) International Workshop on Alg… (1) International Workshop on Cod… (1) International Workshop on Fas… (1) International Workshop on For… (1) International Workshop on Lan… (1) International Workshop on Log… (1) International Workshop on Ope… (1) International Workshop on Sec… (1) International Workshop on Sec… (1) International Workshop on Sys… (1) Jackson, Ethan (1) Jajodia, Sushil (1) Johnson, Michael (1) Joint International Conferenc… (1) Joint Workshop on Automated R… (1) Joux, Antoine (1) Ju, Shier (1) Kampis, George (1) Karsai, István (1) Kaschek, Roland (1) Katz, Shmuel (1) Kelemen, Jozef (1) Kelemenová, Alica (1) Kendon, Vivien M. (1) Klin, Bartek (1) Kraemer, Frank Alexander (1) Kristensen, Lars M. (1) Kryszkiewicz, Marzena (1) Kuznetsov, Sergei O. (1) Laaksonen, Jorma (1) Lang, Jérôme (1) Lee, Jimmy (1) Leporati, Alberto (1) Li, Xiang-Yang (1) Liu, Weiru (1) Lämmel, Ralf (1) Manzini, Giovanni (1) Martín Vide, Carlos (1) Mauri, Giancarlo (1) Mazumdar, Chandan (1) McCune, Jonathan M. (1) Metcalfe, George (1) Meyden, Ron van der (1) Morgan, Carroll (1) Murlak, Filip (1) Ouzounis, Georgios K. (1) Parker, Matthew G. (1) Pavlovic, Dusko (1) Pernul, Günther (1) Pesaresi, Martino (1) Peters, James F. (1) Petrucci, Laure (1) Pizzuti, Clara (1) Przytycka, Teresa M. (1) Păun, Gheorghe (1) Qadeer, Shaz (1) Ritchie, Marylyn D. (1) Rogaway, Phillip (1) Rough Sets and Current Trends… (1) Sagot, Marie-France (1) Salaün, Gwen (1) Sankowski, Piotr (1) Saraiva, João (1) Schulte, Wolfram (1) Schätz, Bernhard (1) Severini, Simone (1) Simão, Adenilso (1) Smaus, Jan-Georg (1) Soille, Pierre (1) Solberg, Arnor (1) Swart, Harrie de (1) Symposium on Mathematical Fou… (1) Szathmáry, Eörs (1) Tatnall, Arthur (1) Vallecillo, Antonio (1) Viganò, Luca (1) Visser, Eelco (1) Visser, Joost (1) Wang, Weifan (1) Winkler, Franz (1) Workshop on Model Checking an… (1) Workshop on Theory of Quantum… (1) Zhou, Jianying (1) Zhu, Binhai (1) Zhu, Xuding (1)

Publisher

SpringerLink (73)

Year

2012 (1) 2011 (66) 2010 (1) 2009 (5)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type